网构软件模型中的抽象状态机设计

Abstract state machine design of Internetware model

为了更好地支持和实现网构软件的自动化,提出在网构软件模型中使用抽象状态机(ASM).在Internet的计算环境下,采用peer-to-peer(P2P)拓扑结构作为网构软件模型的支撑网络环境,使用ASM的方法从较高的抽象层次(概念层)描述整个系统的行为与状态变迁,使系统特征易于把握.分析网构软件模型中ASM的架构,详细阐述ASM的运行规则,说明了系统状态特征的变迁情况.根据ASM方法所涉及到的各种状态、事件、方法、数据、规则等进行相应的设计和实现,已经初步形成一个网构软件设计和运行的支撑平台,证明了ASM在网构软件模型中的可行性以及ASM能够实现网构软件的自动化特性.

An approach of using abstract state machine （ASM） in Internetware was presented to effectively support and realize the automation of Internetware. The peer-to-peer （P2P） network was used to support the network environment of Internetware. The design model of ASM was proposed to describe the behaviors and the state changes of the whole system from a higher abstract concept level. Then the system characteristic was easy to control. The architecture of the ASM in Internetware was analyzed,the detailed operating rules on ASM were proposed,and the changes were introduced in system states. A supporting platform of Internetware design and operation began to take shape through the design and implementation according to the states,events,methods,data,and rules involved in ASM. ASM is feasible in Internetware and can realize the automation feature of Internetware.