International Journal of Agent-Oriented Software Engineering (IJAOSE) Inderscience Publishers - linking academia, business and industry through research

International Journal of Agent-Oriented Software Engineering

Special Issue on Modelling Languages for Agent Systems

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

Pages	Title and author(s)
382-421	MAS-ML: a multiagent system modelling language Viviane Torres Da Silva, Ricardo Choren, Carlos J.P. De Lucena DOI: 10.1504/IJAOSE.2008.020138
422-448	Automated 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-474	Formally specifying and verifying mobile agents – model checking mobility: the MobiOZ approach Kenji Taguchi, Jin Song Dong DOI: 10.1504/IJAOSE.2008.020140