Alloy 术语：签名 "declaration" 和签名 "introduces" 原子

Question

考虑一下：

sig A{}

那是什么？

回答：是签名声明。

它有什么作用？

答案：它引入一组原子。 （参见软件抽象的第 93 页）

声明和引入轻量级形式化建模社区中的标准术语吗？

为什么术语不是这样的：

这是什么？答：是签名definition.

它有什么作用？答案：它创建一组原子。

或其他一些术语。

Answer 1

"Declaration" 是编程语言或规范语言中的标准术语，用于引入 (-;) 变量而不给它赋值。我使用术语 "introduces" 而不是 "creates" 来避免暗示存在直接的操作效果（因为原子集是由约束求解确定的）。