Please wait a minute...
浙江大学学报(工学版)
J4  2010, Vol. 44 Issue (5): 923-929    DOI: 10.3785/j.issn.1008-973X.2010.05.015
    
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
Download:   PDF(0KB) HTML
Export: BibTeX | EndNote (RIS)      

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.

Published: 19 March 2012
CLC:  TP 311  
Service
E-mail this article
Add to my bookshelf
Add to citation manager
E-mail Alert
RSS
Articles by authors
Cite this article:

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

URL:

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


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

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

［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] KE Hai-feng, YING Jing. Real-time license character recognition technology based on R-ELM[J]. J4, 2014, 48(2): 0-0.
[2] JIN Cang-hong, WU Ming-hui, YING Jing. A context-aware index based text extraction framework[J]. J4, 2013, 47(9): 1537-1546.
[3] ZHU Fan-wei, WU Ming-hui, YING Jing. Faceted Web search approach for large scale unstructured data[J]. J4, 2013, 47(6): 990-999.
[4] FENG Pei-en, LIU Yu, QIU Qing-ying, LI Li-xin. Strategies of efficiency improvement for Eclat algorithm[J]. J4, 2013, 47(2): 223-230.
[5] LIU Ying, CHEN Ling, CHEN Gen-cai, ZHAO Jiang-qi, WANG Jing-chang. Approach for collection selection based on click-through data[J]. J4, 2013, 47(1): 23-28.
[6] YIN Ting, XIAO Min, CHEN Ling, ZHAO Jiang-qi, WANG Jing-chang. CQPM based OLAP query log mining and recommendation[J]. J4, 2012, 46(11): 2052-2060.
[7] XIAO Min, CHEN Iing, XIA Hai-yuan, CHEN Gen-cai. Data warehouse native feature based OLAP querying with keywords[J]. J4, 2012, 46(6): 974-979.
[8] ZHANG Li-ping, LI Song, HAO Xiao-hong, HAO Zhong-xiao. Jrv  rough Vague region relation[J]. J4, 2012, 46(1): 105-111.
[9] CHEN Ling, XU Xiao-long, YANG Qing, CHEN Gen-cai. Wireless signal strength propagation model
 base on cubic spline interpolation[J]. J4, 2011, 45(9): 1521-1527.
[10] WU Ming-hui, YING Jing. Business process modeling and formal verification[J]. J4, 2011, 45(2): 280-287.
[11] FU Chao-yang, GAO Ji, ZHOU You-ming. Service discovery based on integrating lexical multi-level hashing
with subsumption semantics[J]. J4, 2010, 44(12): 2274-2283.
[12] YANG Qing, CHEN Ling, CHEN Gen-Cai. Estimating walking distance based on single accelerometer[J]. J4, 2010, 44(9): 1681-1686.
[13] XIONG Wei, WANG Xiao-Tun. Method for mapping software dependability requirements
based on quality function deployment[J]. J4, 2010, 44(5): 881-886.
[14] JIANG Chao, YING Jing, TUN Meng-Hui, et al. Feature increment oriented  approach for software product line analysis[J]. J4, 2009, 43(12): 2142-2148.
[15] CHEN Bin, TAO Min. Mining associated and item-item correlated frequent patterns[J]. J4, 2009, 43(12): 2171-2177.