International Journal of Agent-Oriented Software Engineering (IJAOSE)

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

Editorial

Pages Title and author(s)
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