Abstract
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.
Work partially supported by MIUR PRIN 2009 DISCO project. The funding bodies are not responsible for any use that might be made of the results presented here.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Agha, G.: Actors: a model of concurrent computation in distributed systems. MIT Press, Cambridge (1986)
Agha, G., Wegner, P., Yonezawa, A. (eds.): Research rections in concurrent object-oriented programming. MIT Press, Cambridge (1993)
Benton, N., Cardelli, L., Fournet, C.: Modern concurrency abstractions for C#. ACM Trans. Program. Lang. Syst. 26(5), 769–804 (2004)
Briot, J.-P., Guerraoui, R., Lohr, K.-P.: Concurrency and distribution in object-oriented programming. ACM Comput. Surv. 30(3), 291–329 (1998)
Damiani, F., Giachino, E., Giannini, P., Drossopoulou, S.: A type safe state abstraction for coordination in java-like languages. Acta Inf. 45(7-8), 479–536 (2008)
Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the join calculus. In: POPL 1996, pp. 372–385. ACM, New York (1996)
Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. ACM TOPLAS 23(3), 396–450 (2001)
Itzstein, G.S., Kearney, D.: Join Java: an alternative concurrency semantics for Java. Technical Report ACRC-01-001, Univ. of South Australia (2001)
Greg Lavender, R., Schmidt, D.C.: Active object: an object behavioral pattern for concurrent programming. In: Pattern languages of program design, vol. 2, pp. 483–499. Addison-Wesley Longman Publishing Co., Inc., Boston (1996)
Omicini, A., Ricci, A., Viroli, M.: Artifacts in the A&A meta-model for multi-agent systems. Autonomous Agents and Multi-Agent Systems, 19 (2009); Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-Agent Systems
Philippsen, M.: A Survey of Concurrent Object-Oriented Languages. Concurrency Computat.: Pract. Exper. 12(10), 917–980 (2000)
Ricci, A., Viroli, M.: SIMPA: An agent-oriented approach for prototyping concurrent applications on top of java. In: PPPJ 2007, pp. 185–194. ACM, New York (2007)
Ricci, A., Viroli, M., Cimadamore, M.: Prototyping concurrent systems with agents and artifacts: Framework and core calculus. Electron. Notes Theor. Comput. Sci. 194(4), 111–132 (2008)
Ricci, A., Viroli, M., Piancastelli, G.: SIMPA: An agent-oriented approach for programming concurrent applications on top of java. Science of Computer Programming (2010), doi:10.1016/j.scico.2010.06.012
Sutter, H., Larus, J.: Software and the concurrency revolution. ACM Queue: Tomorrow’s Computing Today 3(7), 54–62 (2005)
Yonezawa, A., Tokoro, M. (eds.): Object-oriented concurrent programming. MIT Press, Cambridge (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Damiani, F., Giannini, P., Ricci, A., Viroli, M. (2011). A Calculus of Agents and Artifacts. In: Cordeiro, J., Ranchordas, A., Shishkov, B. (eds) Software and Data Technologies. ICSOFT 2009. Communications in Computer and Information Science, vol 50. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20116-5_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-20116-5_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20115-8
Online ISBN: 978-3-642-20116-5
eBook Packages: Computer ScienceComputer Science (R0)