合金术语:签名“声明”和签字“介绍”原子

Question

考虑到这一点：

sig A{}

那是什么？

答:这是一份签名声明。

是干什么的呢？

答:它引入了一组原子。(见软件摘要第93页)

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

为什么术语不是这样的：

那是什么？答:这是一个签名定义。

是干什么的呢？答:它创造了一组原子。

或者其他术语。

Answer 1

“声明”是编程或规范语言中的一个标准术语，用于引入(-;)一个变量而不给它一个值。我使用了“引入”一词，而不是“创建”，以避免有直接的操作效果的含义(因为原子集合是由约束求解决定的)。