A Distributed Specification Model and Its Prototyping
A Distributed Specification Model and Its Prototyping
复制标题
分布式规范模型及其原型
DOI：
10.1109/32.7619
复制
发表时间：
1988
期刊：
影响因子：
--
通讯作者：
Yu Wang
中科院分区：
文献类型：
--
作者：
Yu Wang
描述了一个基于有限状态机但分布的规范模型。该模型允许用户将大型系统分解为单独的视图。每个视图本身都是一个完整的系统，并从某个角度揭示了整个系统的行为。把它们放在一起，这些组合的视图呈现了整个系统的完整画面。因此，一个大型集中式系统的复杂性是分散的，并受到抑制的。作者为该模型提供了一个简单的执行方案。使用称为SXL的高级状态转换语言，模型中的构造被表示为转换的前提条件和后置条件。执行方案允许模型中的所有视图以并行但和谐的方式进行，为建模系统生成工作原型。>
A specification model is described that is based on the finite-state machine but is distributed. The model allows the user to decompose a large system into separate views. Each view is a complete system in itself, and reveals how the whole system would behave as seen from a certain angle. Put together, the combined views present a complete picture of the whole system. The complexity of a large centralized system is thus distributed and subdued. The author offers a simple execution scheme for the model. Using a high-level state-transition language called SXL, constructs in the model are expressed as preconditions and postconditions of transitions. The execution scheme allows all the views in the model to proceed in a parallel but harmonious way, producing a working prototype for the modeled system. >