A Formal Specification Language for MAS Engineering
Hong Zhu · 2001
One of the most appealing features of multi-agent technology is its natural way to modularise a complex system in terms of multiple, interacting, autonomous components that have particular objectives to achieve. This paper presents a formal specification language SLAB that supports modular specification of multi-agent systems. The syntax and semantics of the language are defined. The style of formal specification of multi-agent systems is illustrated by an example.