Sciweavers

Share
IJAIT
2006

Model Checking for Multiagent Systems: the Mable Language and its Applications

8 years 4 months ago
Model Checking for Multiagent Systems: the Mable Language and its Applications
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In addition to the conventional constructs of imperative programming languages, MABLE provides a number of agent-oriented development features. First, agents in MABLE are endowed with a BDI-like mental state: they have data structures corresponding to beliefs, desires, and intentions, and these mental states may be arbitrarily nested. Second, agents in MABLE communicate via ACL-like performatives: however, neither the performatives nor their semantics are hardwired into the language. It is possible to define the performatives and the semantics of these performatives independently of the system in which they are used. Using this feature, a developer can explore the design space of ACL performatives and semantics without changing the target system. Finally, MABLE supports automatic verification via model checking. ...
Michael Wooldridge, Marc-Philippe Huget, Michael F
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where IJAIT
Authors Michael Wooldridge, Marc-Philippe Huget, Michael Fisher, Simon Parsons
Comments (0)
books