A formal specification language for agent-oriented software engineering

@inproceedings{Zhu2003AFS,
  title={A formal specification language for agent-oriented software engineering},
  author={Hong Zhu},
  booktitle={AAMAS},
  year={2003}
}
This paper reports a formal specification language SLABS for developing multi-agent systems. 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 for modular and composable specification of multi-agent systems. 
Highly Cited
This paper has 31 citations. REVIEW CITATIONS