31 August 2008

Special issue: Modelling languages for agent systems

International Journal of Agent-Oriented Software Engineering 2(4) 2008
  • MAS-ML: a multiagent system modelling language
  • Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols
  • Formally specifying and verifying mobile agents – model checking mobility: the MobiOZ approach

No comments: