Language support for the specification and development of composite systems
Language support for the specification and development of composite systems
复制标题
对复合系统的规范和开发的语言支持
DOI：
--
复制
发表时间：
1987
期刊：
影响因子：
--
通讯作者：
M. Feather
中科院分区：
文献类型：
--
作者：
M. Feather
当一个复杂的系统被实现为交互组件的组合时，这些组件的开发应该从组合系统所需的行为规范开始。应该使用单独的规范来描述将系统分解为组件的过程。从这种风格的规范实现的第一个阶段是派生这些规范所隐含的各个组件行为。
阐述了这种规格说明方法的优点，并给出了支持这种方法的规格说明语言特性。它示出了如何将这些纳入规范语言Gist，我们的小组已经开发。这些问题都说明了在一个多层建筑中的乘客服务电梯的控制器的发展。
When a complex system is to be realized as a combination of interacting components, development of those components should commence from a specification of the behavior required of the composite system. A separate specification should be used to describe the decomposition of that system into components. The first phase of implementation from a specification in this style is the derivation of the individual component behaviors implied by these specifications.
The virtues of this approach to specification are expounded, and specification language features that are supportive of it are presented. It is shown how these are incorporated in the specification language Gist, which our group has developed. These issues are illustrated in a development of a controller for elevators serving passengers in a multistory building.