微体系结构的三层规范
Three-Tiered Specification of Micro-Architectures
摘要：
一个三层的规范方法开发正式指定的合作对象的集合，说微架构。(i)协作中要维护的结构属性在最低层中指定。(ii)类中对象方法的行为在中间层中指定。(iii)微体系结构中对象的交互在第三层中指定。规格说明方法基于落叶松和附带的符号和工具。该方法使明确和完整的规范可重用的合作对象的集合。分层的，正式的方法相比，其他方法，包括主流的UML方法。
英文摘要：
A three-tiered specification approach is developed to formally specify collections of collaborating objects, say micro-architectures. (i) The structural properties to be maintained in the collaboration are specified in the lowest tier. (ii) The behaviour of the object methods in the classes is specified in the middle tier. (iii) The interaction of the objects in the micro-architecture is specified in the third tier. The specification approach is based on Larch and accompanying notations and tools. The approach enables the unambiguous and complete specification of reusable collections of collaborating objects. The layered, formal approach is compared to other approaches including the mainstream UML approach.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
