From the earliest days of multiagent system development, the need has existed for both a methodology and a modeling notation that assist in design. The Agent UML community has responded by developing the AUML notation-a UML profile dedicated to agents that tries to simplify the transition from software engineering to multiagent system engineering.
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. Claims about the behaviour of a MABLE system can be expressed in a linear-time BDI-like logic, and the truth, or otherwise, of these claims can be automatically determined. Following a description of the MABLE language and the language of MABLE claims, we present two case studies to illustrate the language and its use in the verification of multiagent systems. We then describe the key ideas underpinning the current implementation of MABLE. Finally, we survey related work, and discuss some avenues for future research.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.