Journal cover image

Browse issues

Vol. 4
Vol. 3
Vol. 2
Vol. 1

International Journal of Agent-Oriented Software Engineering

2008 Vol. 2 No. 4

Special Issue on Modelling Languages for Agent Systems

Guest Editors: Dr. Haralambos (Haris) Mouratidis and Dr. Marc-Philippe Huget


PagesTitle and authors
382-421MAS-ML: a multiagent system modelling language
Viviane Torres Da Silva, Ricardo Choren, Carlos J.P. De Lucena
DOI: 10.1504/IJAOSE.2008.020138

422-448Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols
Farid Mokhati, Mourad Badri, Linda Badri, Fathi Hamidane, Sofiane Bouazdia
DOI: 10.1504/IJAOSE.2008.020139

449-474Formally specifying and verifying mobile agents – model checking mobility: the MobiOZ approach
Kenji Taguchi, Jin Song Dong
DOI: 10.1504/IJAOSE.2008.020140