Semantics of Alan

Authors:
Francesco Pagliarecci
Affiliations:
Università Politecnica delle Marche, Dipartimento di Ingegneria Informatica, Gestionale e dell'Automazione, Via Brecce Bianche --60131 Ancona --ITALY, e-mail: pagliarecci@diiga.univpm.it
Venue:
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Year:
2006

Citing 5
Cited 1

Agent-oriented programming

Artificial Intelligence
A logical theory of concurrent objects and its realization in the Maude language

Research directions in concurrent object-oriented programming
The agent-object-relationship metamodel: towards a unified view of state and behavior

Information Systems
Formal Definition of an Agent-Object Programming Language

CTS '06 Proceedings of the International Symposium on Collaborative Technologies and Systems
The maude 2.0 system

RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications

From a goal-oriented methodology to a BDI agent language: the case of tropos and alan

OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 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.