Communicating X-Machines: From Theory to Practice
Communicating X-Machines: From Theory to Practice
复制标题
通信 X 机器：从理论到实践
DOI：
--
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
E. Kehris
中科院分区：
文献类型：
--
作者：
P. Kefalas;G. Eleftherakis;E. Kehris
复杂系统的形式化建模是一项非平凡的任务，特别是当形式化方法不利于系统组件的单独开发时。本文描述了一种从现有的独立X-Machine模型构建通信X-Machine的方法，并给出了驱动该方法的理论。X-Machine是一种形式化的方法，它类似于有限状态机，但可以对非平凡的数据结构进行建模。它是通过将类型化的内存元组以及标记为对输入和内存值进行操作的函数的转换合并到模型中来实现的。一组X机器可以相互交换消息，从而构建一个通信系统模型。无论如何，现有的通信X机器理论表明，通信系统的组件应该从头开始构建。我们认为，复杂系统的建模可以分为两个独立的不同的活动：(A)独立的X-MACHINE组件的建模和(B)这些组件之间的通信的描述。这是一种基于通信X-MACHINE理论的不同观点的方法，它导致了有纪律的、实用的和模块化的发展。该方法伴随着一个例子，它展示了使用通信X-MACHINE来对大规模系统进行建模。
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system.Th is paper describes a methodology of building communicating X-machines from existing stand-alone X-machine models and presents the theory that drives this methodology. An X-machine is a formal method that resembles a finite state machine but can model non-trivial data structures.T his is accomplished by incorporating a typed memory tuple into the model as well as transitions labeled with functions that operate on inputs and memory values. A set of X-machines can exchange messages with each other, thus building a communicating system model. Ho wever, existing communicating X-machines theories imply that the components of a communicating system should be built from scratch. We suggest that modeling of complex systems can be split into two separate and distinct activities: (a) the modeling of standalone X-machine components and (b) the description of the communication between these components.Th is approach is based on a different view of the theory of communicating X-machines and it leads towards disciplined, practical, and modular development.T he proposed methodology is accompanied by an example, which demonstrates the use of communicating X-machines towards the modeling of large-scale systems.