Please wait a minute...
浙江大学学报(工学版)
J4  2010, Vol. 44 Issue (5): 923-929    DOI: 10.3785/j.issn.1008-973X.2010.05.015
自动化技术、计算机技术     
网构软件模型中的抽象状态机设计
张引, 何浩, 赵丽娜, 张三元
浙江大学 计算机科学与技术学院,浙江 杭州 310027
Abstract state machine design of Internetware model
ZHANG Yin, HE Hao, ZHAO Li-na, ZHANG San-yuan
College of Computer Science and Technology, Zhejiang University, Hangzhou 310027, China
 全文: PDF  HTML
摘要：

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

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.
出版日期: 2012-03-19
:  TP 311  
基金资助:

国家“973”重点基础研究发展规划资助项目（2009CB320804）；浙江省自然科学基金资助项目（Y1090597）
作者简介: 张引（1970—），女，甘肃兰州人，副教授，从事软件工程、图形图像的研究.
服务　　
把本文推荐给朋友
加入引用管理器
E-mail Alert
RSS
作者相关文章　　

引用本文:

张引, 何浩, 赵丽娜, 张三元. 网构软件模型中的抽象状态机设计[J]. J4, 2010, 44(5): 923-929.

ZHANG Yin, HE Gao, DIAO Li-Na, ZHANG San-Yuan. Abstract state machine design of Internetware model. J4, 2010, 44(5): 923-929.

链接本文:

http://www.zjujournals.com/eng/CN/10.3785/j.issn.1008-973X.2010.05.015    或    http://www.zjujournals.com/eng/CN/Y2010/V44/I5/923

［1］ 吕建,马晓星,陶先平,等.网构软件的研究与进展［J］.中国科学：E辑,信息科学,2006, 36(10): 10371080.
LU Jian, MA Xiaoxing, TAO Xianping, et al. Research and progress on Internetware［J］. Science in China: Series E, 2006, 36(10): 10371080.
［2］ 杨芙清.软件工程技术发展思索［J］.软件学报,2005,16(1): 17.
YANG Fuqing. Thinking on the development of software engineering technology［J］. Journal of Software, 2005, 16(1): 17.
［3］ BRGER E. Ten years of Gurevich’s abstract state machines［J］. The Journal of Universal Computer Science, 1997, 3(4): 230232.
［4］ BRGER E. High level system design and analysis using abstract state machines［C］∥Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods. London, UK: SpringerVerlag, 1998, 1641: 143.
［5］ 薛云皎.基于智能主体的分布式构件库相关技术研究［D］.上海： 复旦大学,2006.
XUE Yunjiao. Research on intelligent agentbased distributed component repository ［D］.Shanghai: Fudan University, 2006.
［6］ GUREVICH Y. Current trends in theoretical computer science［M］. Singapore: World Scientific, 1993: 266292.
［7］ 李海波,战德臣,徐晓飞.基于工作流引擎的构件组装体系结构［J］.软件学报,2006, 17(6):14011410.
LI Haibo, ZHAN Dechen, XU Xiaofei. Architecture of component composition based on workflow engine［J］. Journal of Software, 2006, 17(6):14011410.
［8］ 赵丽娜,张引,叶修梓,等.基于P2P网络的网构软件自适应性的研究［J］.浙江大学学报：工学版, 2008,42(8): 13161322.
ZHAO Lina, ZHANG Yin, YE Xiuzi, et al. Research on selfadaptability of internetware based on P2P network ［J］. Journal of Zhejiang University: Engineering Science, 2008, 42(8):13161322.
[1] 柯海丰,应晶. 基于R-ELM的实时车牌字符识别技术[J]. J4, 2014, 48(2): 0-0.
[2] 金苍宏,吴明晖,应晶. 一种基于上下文索引的文本匹配框架[J]. J4, 2013, 47(9): 1537-1546.
[3] 朱凡微, 吴明晖, 应晶. 面向大规模无结构数据的Web方面搜索方法[J]. J4, 2013, 47(6): 990-999.
[4] 冯培恩, 刘屿, 邱清盈, 李立新. 提高Eclat算法效率的策略[J]. J4, 2013, 47(2): 223-230.
[5] 刘颖, 陈岭, 陈根才, 赵江奇, 王敬昌. 基于历史点击数据的集合选择方法[J]. J4, 2013, 47(1): 23-28.
[6] 殷婷,肖敏,陈岭,赵江奇,王敬昌. 基于CQPM的OLAP查询日志挖掘及推荐[J]. J4, 2012, 46(11): 2052-2060.
[7] 肖敏, 陈岭, 夏海元, 陈根才. 基于数据仓库内在特征的OLAP关键词查询[J]. J4, 2012, 46(6): 974-979.
[8] 张丽平,李松,郝晓红,郝忠孝. Jrv粗糙Vague区域关系[J]. J4, 2012, 46(1): 105-111.
[9] 陈岭,许晓龙,杨清,陈根才. 基于三次样条插值的无线信号强度衰减模型[J]. J4, 2011, 45(9): 1521-1527.
[10] 吴明晖, 应晶. 业务过程建模及其形式化验证[J]. J4, 2011, 45(2): 280-287.
[11] 傅朝阳, 高济, 周尤明. 词法多重散列与包容语义相结合的服务查找[J]. J4, 2010, 44(12): 2274-2283.
[12] 杨清, 陈岭, 陈根才. 基于单加速度传感器的行走距离估计[J]. J4, 2010, 44(9): 1681-1686.
[13] 熊伟, 王晓暾. 基于质量功能展开的可信软件需求映射方法[J]. J4, 2010, 44(5): 881-886.
[14] 蒋涛, 应晶, 吴明晖, 等. 一种面向特征增量的软件产品线分析方法[J]. J4, 2009, 43(12): 2142-2148.
[15] 沈斌, 姚敏. 关联且项项正相关频繁模式挖掘[J]. J4, 2009, 43(12): 2171-2177.