Journal article
A formal model-based approach for developing an interoperable mobile agent system
Multiagent and grid systems, v 2(4), pp 401-412
01 Jan 2006
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.
Metrics
2 Record Views
1 citations in Scopus
Details
- Title
- A formal model-based approach for developing an interoperable mobile agent system
- Creators
- Junhua Ding - Florida International UniversityPeter J. Clarke - Florida International UniversityDianxiang Xu - North Dakota State UniversityXudong He - Florida International UniversityYi Deng - Florida International University
- Publication Details
- Multiagent and grid systems, v 2(4), pp 401-412
- Publisher
- Ios Press
- Number of pages
- 12
- Grant note
- NAG2-1440 / National Aeronautics and Space Administration of the USA HRD0317692 / National Science Foundation of the USA; National Science Foundation (NSF)
- Resource Type
- Journal article
- Language
- English
- Academic Unit
- College of Computing and Informatics
- Web of Science ID
- WOS:000212571500007
- Scopus ID
- 2-s2.0-85006299275
- Other Identifier
- 991021868005904721
InCites Highlights
Data related to this publication, from InCites Benchmarking & Analytics tool:
- Collaboration types
- Domestic collaboration
- Web of Science research areas
- Computer Science, Theory & Methods