Extended Ambient Calculus BasedVirtual Organization Modeling and Analyzing
CAI Guo-Yong 1,2, GAO Ji1, HUANG Yong1, ZHAO Ling-Zhong2
1.School of Computer and Software, Zhejiang University, Hangzhou 3100272. School of Computer and Control, Guilin University of Electronic Science and Technology, Guilin 541004
Abstract:A method of ambient calculus design and analysis is proposed based on the organizational management theory, and its syntax and semantics are presented. An electronic institutional model is mapped to construct the extended ambient calculus and a concrete case is presented to show the feasibility of the proposed method. The characteristic of the method is incorporating organizational concepts to the ambient calculus such as role, policy, actor and unit. Thus, the high level domain concept model can evolve into the design model smoothly in system development.
[1] Wagner T. The Agent-Object-Relationship Metamodel: Towards a Unified View of State and Behavior. Information Systems, 2003, 28(5): 475-504 [2] Zambonelli F, Jennings N R, Wooldridge M. Organizational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems. International Journal of Software Engineering and Knowledge Engineering, 2001, 11(3): 303-328 [3] Arcosa J L, Esteva M, Noriega P, et al. Engineering Open Environments with Electronic Institutions. Engineering Applications of Artificial Intelligence, 2005, 18(1): 191-204 [4] Esteva M. Electronic Institutions: From Specification to Development. Ph.D Dissertation. Bellaterra, Spain: University Politechica de Catalunya. Artificial Intelligence Research Institute, 2003 [5] Garralda P, Compagnoni A. Splitting Mobility and Communication in Boxed Ambients // Proc of the 1st International Workshop on Developments in Computational Models. Lisbon, Portugal, 2006: 61-71 [6] Bugliesi M, Crafa S, Merro M, et al. Communication and Mobility Control in Boxed Ambients. Information and Computation, 2005, 202(1): 39-86 [7] de Boer F S, de Vries W, Meyer J J C, et al. Process Algebra and Constraint Programming for Modeling Interactions in MAS. Applicable Algebra in Engineering, Communication and Computing, 2005, 16(2/3): 113-150 [8] Dumas M, Fjellheim T, Milliner S, et al. Event-Based Coordination of Process-Oriented Composite Applications // Proc of the 3rd International Conference on Business Process Management. Nancy, France, 2005: 236-251 [9] Dragoni N, Gaspari M. An Object Based Algebra for Specifying a Fault Tolerant Software Architecture. Journal of Logic and Algebraic Programming, 2005, 63(2): 271-297 [10] Milner R, Parrow J, Walker D. A Calculus of Mobile Processes. Information and Computation, 1992, 100(1): 1-40 [11] Busi N, Gorrieri R, Zavattaro G. Process Calculi for Coordination: From Linda to JavaSapces // Proc of the 8th International Conference on Algebraic Methodology and Software Technology. Iowa City, USA, 2000: 198-212 [12] Amtoft T, Makholm H, Wells J B. PolyA: True Type Polymorphism for Mobile Ambients // Proc of the 3rd IFIP International Conference on Theoretical Computer Science. Toulouse, France, 2004: 591-604 [13] Lu Jian, Tao Xianping, Mao Xiaoxing, et al. Study on Model of Agent Based Net Component. Science in China Series E: Information Science, 2005, 35(12): 1233-1253 (in Chinese) (吕 建,陶先平,马晓星,等.基于Agent 的网构软件模型研究.中国科学E辑, 2005, 35(12): 1233-1253) [14] Liu Wei, Liu Zongtian. A Formal Framework for Agent-Oriented Analysis and Design Based on Grid. Journal of Computer Research and Development, 2005, 42(8): 1376-1383 (in Chinese) (刘 炜,刘宗田.基于网格的面向Agent形式化建模框架.计算机研究与发展, 2005, 42(8): 1376-1383) [15] Jiao Wenpin, Shi Zhongzhi. Modeling Dynamic Architectures for Multi-Agent Systems. Journal of Computers, 2000, 23(7): 732-737 (in Chinese) (焦文品,史忠植.构造MAS的动态体系结构的模型.计算机学报, 2000, 23(7): 732-737) [16] Huang Qian, Yu Zhenhua. Formal Modeling and Analyzing Multi-Agent Systems in Electronic Commerce.Journal of Information, 2006, 25(9): 25-27 (in Chinese) (黄 谦,于振华.电子商务中多Agent 系统形式化建模与分析.情报杂志, 2006, 25(9): 25-27) [17] Li Changyun, Li Gansheng, He Pinjie. A formal Dynamic Architecture Description Language. Journal of Software, 2006,17(6):1349-1359 (in Chinese) (李长云,李赣生,何频捷.一种形式化的动态体系结构描述语言.软件学报, 2006, 17(6): 1349-1359)