Sciweavers

Share
SEKE
2005
Springer

Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models

9 years 7 months ago
Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems, it is necessary to formalize software architecture of mobile agent systems. In this paper, we not only define the software architecture of interoperable mobile agent systems using predicate transition nets, but also analyze the interoperability between agents. In addition, a formal model-driven design method to develop mobile agent systems is described with examples. Our method naturally integrates formal methods and practical approaches in the agent system design phase. The method can be used to develop other complex software systems as well.
Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clark
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where SEKE
Authors Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He
Comments (0)
books