Browse by author
Lookup NU author(s): Dr Alexei Iliasov, Dr Elena Troubitsyna, Professor Alexander RomanovskyORCiD
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.
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
