ABSTRACT
The paper presents an agent-oriented programming language SLABSp. It provides caste and scenario mechanisms in a coherent way to support the caste-centric methodology of agent-oriented software development. It uses caste as a modular facility to organize agents into castes and to represent their structure and behavior characteristics. SLABSp also uses scenarios to define agents' behaviors in the context of environment situations. In the paper, the implementation of the language is briefly described. An example of the program is given to illustrate its programming style.
- B. Moulin and M. Brassard. A scenario-based design method and environment for developing multi-agent systems. In Proceedings of First Australian Workshop on DAI, volume 1087 of LNAI, pages 216--232, 1996. Google ScholarDigital Library
- R. Shen, J. Wang, and H. Zhu. Scenario mechanism in agent-oriented programming. In Proceedings of APSEC'04, pages 464--471, Busan, Korea, 2004. Google ScholarDigital Library
- H. Zhu. Scenario analysis in an automated requirements analysis tool. Journal of Requirements Engineering, 5(1):2--22, 2000.Google ScholarCross Ref
- H. Zhu. The role of caste in formal specification of MAS. In Proceedings of PRIMA'2001, volume 2132 of LNCS, pages 1--15, 2001. Google ScholarDigital Library
- H. Zhu. SLABS: A formal specification language for agent-based systems. International Journal of SEKE, 11(5):529--558, 2001.Google Scholar
- H. Zhu and D. Lightfoot. Caste: A step beyond object orientation, in modular programming languages. In Proceedings of JMLC'2003, volume 2789 of LNCS, pages 59--62, 2003.Google Scholar
Index Terms
- Towards an agent oriented programming language with caste and scenario mechanisms
Recommendations
A formal specification language for agent-oriented software engineering
AAMAS '03: Proceedings of the second international joint conference on Autonomous agents and multiagent systemsThis 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. ...
Proving BDI Properties of Agent-Oriented Programming Languages
In this paper, we consider each of the nine BDI principles defined by Rao and Georgeff based on Bratman's asymmetry thesis, and we verify which ones are satisfied by Rao's AgentSpeak(L), a logic programming language inspired by the BDI architecture for ...
Comments