A micromodularity mechanism
A micromodularity mechanism
复制标题
微模块化机制
DOI：
--
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
Manu Sridharan
中科院分区：
文献类型：
--
作者：
D. Jackson;I. Shlyakhter;Manu Sridharan
描述了一种构造规范的简单机制。通过将结构建模为原子，它完全保持一阶，因此可以进行自动分析。通过将结构的字段解释为关系，它允许将公式语言中使用的相同关系运算符用于解引用。扩展特性允许增量地开发结构，但不需要文本包含，也不需要任何子类型的概念。本文通过在各种常用习语中的应用，论证了该机制的灵活性。
A simple mechanism for structuring specifications is described. By modelling structures as atoms, it remains entirely first-order and thus amenable to automatic analysis. And by interpreting fields of structures as relations, it allows the same relational operators used in the formula language to be used for dereferencing. An extension feature allows structures to be developed incrementally, but requires no textual inclusion nor any notion of subtyping. The paper demonstrates the flexibility of the mechanism by application in a variety of common idioms.