A formal model-based approach for developing an interoperable mobile agent system

Issue title: Special Issue on Agent-oriented Software Development Methodologies

Guest editors: Hong Zhu

Article type: Research Article

Authors: Ding, Junhua^{a; *} | Clarke, Peter J.^a | Xu, Dianxiang^b | He, Xudong^a | Deng, Yi^a

Affiliations: [a] School of Computer Science, Florida International University, Miami, FL 33199, USA. E-mail: [email protected], [email protected], [email protected], [email protected] | [b] Computer Science Department, North Dakota State University, Fargo, ND 58015, USA. E-mail: [email protected] | Department of Computing, Oxford Brookes University, Oxford OX33 1HX, UK

Correspondence: [*] Corresponding author. Tel.: +1 305 348 1831; Fax: +1 305 348 3549; E-mail: [email protected]

Abstract: Mobile agents provide an effective and flexible approach to developing complex distributed systems. Formalizing the software architecture of mobile agent systems supports the development of high quality agent systems. In this paper, the software architecture of an interoperable mobile agent system is defined using two-layer predicate transition (PrT) nets. Based on the two-layer PrT net models, a formal model-based approach to develop mobile agents systems is proposed. The approach presented in this paper naturally integrates formal methods and practical approaches in each phase of the development life-cycle of the agent system. The proposed approach for agent systems can also be used to develop other complex software systems.

Keywords: Mobile agents, model-based development, software process

DOI: 10.3233/MGS-2006-2407

Journal: Multiagent and Grid Systems, vol. 2, no. 4, pp. 401-412, 2006