A Formal Specification Language for Agent-Oriented Software Engineering

Proceedings of the International Conference on Autonomous Agents

Volumn 2, Issue , 2003, Pages 1174-1175

  Zhu, Hong ^a  

^a OXFORD BROOKES UNIVERSITY   (United Kingdom)

Author keywords

Caste; Formal specification language; Multiagent Systems; Scenario; Software Agent

Indexed keywords

ARTIFICIAL INTELLIGENCE; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LANGUAGES; LARGE SCALE SYSTEMS; MULTI AGENT SYSTEMS; SET THEORY; SOFTWARE AGENTS; STATISTICAL METHODS;

CASTE; FORMAL SPECIFICATION LANGUAGES; SCENARIO;

SOFTWARE ENGINEERING;

EID: 1142304599     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/860575.860852     Document Type: Conference Paper

References (6)

1. Jennings, N. R., Wooldridge, M. J. (eds.). Agent Technology: Foundations, Applications, And Markets. Springer, 1998.
2. Brazier, F. M. T., Dunin-Keplicz, B. M., Jennings, N. R., Treur, J. DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework, in Int. J. of Cooperative Information Systems 1(6) (1997), 67-94.
3. Zhu, H. The role of caste in formal specification of MAS, in Proc. of PRIMA'2001, LNCS 2132, Springer, 1-15.
4. Spivey, J. M. The Z Notation: A Reference Manual (2nd edition), Prentice Hall, 1992.
5. Zhu, H. Formal Specification of Evolutionary Software Agents, Proc. of ICFEM'2002 (Shanghai, China, Oct. 2002), Springer LNCS 2495, pp249-261.
6. Zhu, H. SLABS: A Formal Specification Language for Agent-Based Systems, Int. J. of Software Engineering and Knowledge Engineering 11(5) (Nov. 2001), 529-558.