A formal specification language for agent-oriented software engineering
Hong Mei Zhu · 2003
One of the most appealing features of agent technology is its natural way to modularise complex systems in terms of multiple interacting autonomous components. This feature is supported by the language facility castes in the formal specification language SLABS, which is designed for modular and composable specification of multi-agent systems. The paper reports the syntax and semantics of the language, and illustrates its style of formal specification by a distributed synchronisation algorithm.