Question

考虑一下：

sig A{}

那是什么？

答案：这是一个签名声明。

它做了什么？

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

声明和在轻量级正式建模社区中引入标准术语？

为什么不是这个术语：

这是什么？答：它是签名定义。

它做什么？答：创建一组原子。

或其他一些术语。

Answer 1

“声明”是编程或规范语言中的标准术语，用于引入（ - ;）变量而不赋值。我使用术语“引入”而不是“创造”来避免暗示存在立即的操作效果（因为原子集是由约束求解决定的）。