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

Abstract state machine design of Internetware model

作　　者：张引[1] 何浩[1] 赵丽娜[1] 张三元[1] 

机构地区：[1]浙江大学计算机科学与技术学院,浙江杭州310027

出　　处：《浙江大学学报（工学版）》2010年第5期923-929,共7页Journal of Zhejiang University：Engineering Science

基　　金：国家"973"重点基础研究发展规划资助项目(2009CB320804);浙江省自然科学基金资助项目(Y1090597)

摘　　要：为了更好地支持和实现网构软件的自动化,提出在网构软件模型中使用抽象状态机(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.

关 键 词：网构软件 抽象状态机(ASM) peer-to-peer(P2P) AGENT 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]