Collaborative Technologies and Systems, International Symposium on (2006)
Las Vegas, NV, USA
May 14, 2006 to May 17, 2006
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CTS.2006.44
Francesco Pagliarecci , Universitd Politecnica delle Marche, Italy
Luca Spalazzi , Universitd Politecnica delle Marche, Italy
Gianluca Capuzzi , Universitd Politecnica delle Marche, Italy
This paper presents a formal definition of Alan. Alan is a programming language that aims to integrate both the agent-oriented and the object-oriented programming. The end is to take advantages from both the paradigms. We want to explore how we can reason in terms of encapsulation, inheritance, polymorphism, and so on while we program in terms of the the beliefs, the desires, and the plans of an agent. We define the formal specification of Alan in the rewriting logic language Maude. In this respect, this paper represents the first step towards a complete formal definition of the operational semantics of Alan. This opens us the possibilty of using the wide-spectrum of formal modeling and reasoning supported by Maude: analyzing Alan programs by means of model checking, proving properties of particular Alan programs, and proving general properties of the Alan language.
Luca Spalazzi, G. Capuzzi and F. Pagliarecci, "Formal Definition of an Agent-Object Programming Language," Collaborative Technologies and Systems, International Symposium on(CTS), Las Vegas, NV, USA, 2006, pp. 298-305.