Skip to main content

A Calculus of Agents and Artifacts

  • Conference paper

Part of the Communications in Computer and Information Science book series (CCIS,volume 50)

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.

Keywords

  • Operational Semantic
  • Reduction Rule
  • Concurrent Programming
  • Observable Property
  • Type Soundness

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-20116-5_10
  • Chapter length: 13 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   109.00
Price excludes VAT (USA)
  • ISBN: 978-3-642-20116-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Agha, G.: Actors: a model of concurrent computation in distributed systems. MIT Press, Cambridge (1986)

    Google Scholar 

  2. Agha, G., Wegner, P., Yonezawa, A. (eds.): Research rections in concurrent object-oriented programming. MIT Press, Cambridge (1993)

    Google Scholar 

  3. Benton, N., Cardelli, L., Fournet, C.: Modern concurrency abstractions for C#. ACM Trans. Program. Lang. Syst. 26(5), 769–804 (2004)

    CrossRef  MATH  Google Scholar 

  4. Briot, J.-P., Guerraoui, R., Lohr, K.-P.: Concurrency and distribution in object-oriented programming. ACM Comput. Surv. 30(3), 291–329 (1998)

    CrossRef  Google Scholar 

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

    MathSciNet  CrossRef  MATH  Google Scholar 

  6. Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the join calculus. In: POPL 1996, pp. 372–385. ACM, New York (1996)

    Google Scholar 

  7. Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. ACM TOPLAS 23(3), 396–450 (2001)

    CrossRef  Google Scholar 

  8. Itzstein, G.S., Kearney, D.: Join Java: an alternative concurrency semantics for Java. Technical Report ACRC-01-001, Univ. of South Australia (2001)

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  11. Philippsen, M.: A Survey of Concurrent Object-Oriented Languages. Concurrency Computat.: Pract. Exper. 12(10), 917–980 (2000)

    CrossRef  MATH  Google Scholar 

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

    Google Scholar 

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

    CrossRef  MATH  Google Scholar 

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

    Google Scholar 

  15. Sutter, H., Larus, J.: Software and the concurrency revolution. ACM Queue: Tomorrow’s Computing Today 3(7), 54–62 (2005)

    CrossRef  Google Scholar 

  16. Yonezawa, A., Tokoro, M. (eds.): Object-oriented concurrent programming. MIT Press, Cambridge (1986)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)