The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Formal Approach to Ensuring Interoperability of Mobile Agents
|
|
Author(s): Linas Laibinis (Åbo Akademi University, Finland), Elena Troubitsyna (Åbo Akademi University, Finland), Alexei Iliasov (Newcastle University, United Kingdom)and Alexander Romanovsky (Newcastle University, United Kingdom)
Copyright: 2012
Pages: 21
Source title:
Handbook of Research on Mobile Software Engineering: Design, Implementation, and Emergent Applications
Source Author(s)/Editor(s): Paulo Alencar (University of Waterloo, Canada)and Donald Cowan (University of Waterloo, Canada)
DOI: 10.4018/978-1-61520-655-1.ch026
Purchase
|
Abstract
Mobile agent systems are complex distributed systems that are dynamically composed of autonomous agents. Since agents are often developed independently, they may lack interoperability, i.e., do not communicate in a correct way. In this chapter, the authors propose a formal approach to ensuring interoperability of agents implemented by independent developers. The essence of the approach is the decomposition of a specification of a multi-agent application into a set of specifications of agent roles. While decomposing the specification, they explicitly define the communication mechanisms between the agents. To ensure interoperability, the implementation of each agent should adhere to its formal specification. However, each agent can be implemented completely independently, i.e., without knowing the specifications of other agents. The authors use refinement in the Event-B framework to define formally the process of decomposing a multi-agent application into a set of interacting roles. The approach is illustrated by a case study involving the development of an electronic auction.
Related Content
|
Subrata Tikadar, Kaushik Paul, Abhishek Mukhopadhyay.
© 2026.
26 pages.
|
|
Devanshi Shrivastava, Debanshi Chakraborty, Manjusha Pandey, Siddharth Swarup Rautray.
© 2026.
32 pages.
|
|
Harshita Gupta, Suman Suman Majumder.
© 2026.
12 pages.
|
|
Subhajit Ghosh.
© 2026.
38 pages.
|
|
Sanjib Kundu, Sourav Kayal.
© 2026.
40 pages.
|
|
Sudip Chatterjee, Pronaya Bhattacharya, Subrata Tikadar.
© 2026.
14 pages.
|
|
Chandan Kumar Singh.
© 2026.
40 pages.
|
|
|