2022 Vol.7 No.22019 Vol.7 No.12018 Vol.6 No.3/42018 Vol.6 No.22018 Vol.6 No.1 Free Access2017 Vol.5 No.42016 Vol.5 No.2/32015 Vol.5 No.12011 Vol.4 No.42010 Vol.4 No.32010 Vol.4 No.22010 Vol.4 No.12009 Vol.3 No.42009 Vol.3 No.2/32009 Vol.3 No.12008 Vol.2 No.42008 Vol.2 No.32008 Vol.2 No.22008 Vol.2 No.12007 Vol.1 No.3/42007 Vol.1 No.22007 Vol.1 No.1

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

 

Return to top