A formal model-based approach for developing an interoperable mobile agent system
Junhua Ding, Peter Clarke, Dianxiang Xu, Xudong He, Yi Deng · Multiagent and Grid Systems · 2006
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 arch