Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal Approach to Ensuring Interoperability of Mobile Agents

Lookup NU author(s): Dr Alexei Iliasov, Dr Elena Troubitsyna, Emeritus Professor Alexander RomanovskyORCiD

Downloads


Abstract

Mobile agent systems are complex distributed systems that are dynamically composed from autonomous agents. It is difficult to guarantee agent interoperability since they are often developed independently. We propose a formal approach to ensuring agent interoperabiilty which relies on decomposition of a specification of the multiagent application into a set of specifications of the agent roles. We use refinement in the Event-B framework to formally define the process of decomposition.


Publication metadata

Author(s): Laibinis L, Iliasov A, Troubitsyna E, Romanovsky A

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2006

Pages: 21

Print publication date: 01/11/2006

Source Publication Date: November 2006

Report Number: 989

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/989.pdf


Share