Maude Based Patterns for Mobile Agents Itineraries
Faiza Bouchoul, Mohammed Mostefai
Electronic Devices, Vol. 1, No. 1, 2012.
DOI: 
Link: http://www.dline.info/ed/fulltext/v1n1/4.pdf
Abstract:
Mobile agent based systems are so complex that the usage of formal tools for simulation and prototyping to facilitate the modelling of such systems is of great interest. Improved methods are needed to insure their correctness. In particular predefined patterns seems to give suitable solution to deal with complexity of formal methods and to enable reusability and consistency. In another hand executable specification are a powerful technique to prototype and analyse complex systems The aim of this paper is to propose a number of patterns sin MAUDE language to model mobile agents itineraries and to ease their analysis and/or their model checking through MAUDE based executable specification.