TY - GEN
T1 - A calculus of agents and artifacts
AU - Damiani, Ferruccio
AU - Giannini, Paola
AU - Ricci, Alessandro
AU - Viroli, Mirko
PY - 2011
Y1 - 2011
N2 - A library-based extension of JAVA, the SIMPA framework, introduced a new abstraction based on agent-oriented concepts. Agents are autonomous entities that cooperate by exploiting artifacts, representing resources that are dynamically created and shared by agents. In this paper we present a core calculus integrating techniques coming from the area of concurrency and from OO programming. The syntax of the calculus with its static and dynamic semantics are introduced through an example. The calculus aims to foster the formalization (and proof) of type soundness of SIMPA programs and the development of techniques for analyzing the computational behaviour of agents and artifacts.
AB - A library-based extension of JAVA, the SIMPA framework, introduced a new abstraction based on agent-oriented concepts. Agents are autonomous entities that cooperate by exploiting artifacts, representing resources that are dynamically created and shared by agents. In this paper we present a core calculus integrating techniques coming from the area of concurrency and from OO programming. The syntax of the calculus with its static and dynamic semantics are introduced through an example. The calculus aims to foster the formalization (and proof) of type soundness of SIMPA programs and the development of techniques for analyzing the computational behaviour of agents and artifacts.
UR - http://www.scopus.com/inward/record.url?scp=84870347748&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-20116-5
DO - 10.1007/978-3-642-20116-5
M3 - Conference contribution
SN - 9783642201158
T3 - Communications in Computer and Information Science
SP - 124
EP - 136
BT - Software and Data Technologies - 4th International Conference, ICSOFT 2009, Revised Selected Paper
A2 - Cordeiro, Jose
A2 - Ranchordas, AlpeshKumar
A2 - Shishkov, Boris
T2 - 4th International Conference on Software and Data Technologies, ICSOFT 2009
Y2 - 26 July 2009 through 29 July 2009
ER -