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

• 作者: 何浩 张三元 张引 赵丽娜
• 来源期刊: 浙江大学学报（工学版）
• 学科: 工学
• 关键词: 网构软件 抽象状态机(ASM) peer-to-peer(P2P) Agent
• 年，卷（期）: 2010,（5）
• 页码范围: 923-929
• 页数: 7页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2010.05.015

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张三元		95	1145	20.0	30.0
2	张引		44	1518	17.0	38.0
3	赵丽娜		14	82	7.0	9.0
4	何浩		2	0	0.0	0.0