如何创建100%声明性模型?

sig Node {
    data: Data -> Time,                   
    send: Data -> Node -> Time   
}

在100%声明性和100%命令性之间的范围中,我不认为签名在100%声明性方面。在我的第一段中,我没有提到有数据存储的节点,也没有提到保存发送数据的记录。

我希望我的模型在这个范围的100%声明性的一端。为了实现这一点,我必须简单地说明“是什么”。我们开始吧!

sig Node {}

sig Node {
    data: Data -> Time
}

什么是网络在节点之间有电线。

sig Network {
    wire: Node -> Node
}

如何以100%声明性的方式建模网络?