Skip to main content
SpringerLink
Log in

Run-Time Semantics of a Language for Programming Social Processes

  • Conference paper
Book cover Computational Logic in Multi-Agent Systems (CLIMA 2008)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5405))

Included in the following conference series:

Abstract

There is a broad range of application domains which can be described under the heading of social process domains: business processes, social networks, game servers, etc. This paper puts forward a programming language approach to the formal specification of social processes, building upon the C+ action description language. Particularly, the paper focuses on the run-time semantics of the language, which is delivered as a core layer of application-independent sorts which make up the abstract machine of the language. The advantages of the presented approach with respect to other state-of-the-art proposals lie in its strong support for modularity and reusability, and hence for the development of large-scale, elaboration tolerant, specifications of social processes.

Research sponsored by the Spanish MICINN, project TIN2006-15455-C03-03.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Akman, V., Erdogan, S.T., Lee, J., Lifschitz, V., Turner, H.: Representing the zoo world and the traffic world in the language of the causal calculator. Artif. Intell 153(1-2), 105–140 (2004)

    Article  MATH  Google Scholar 

  2. Artikis, A., Sergot, M., Pitt, J.: Specifying norm-governed computational societies. ACM Transactions on Computational Logic 10(1) (2009)

    Google Scholar 

  3. Baral, C., Gelfond, M.: Logic programming and reasoning about actions. In: Handbook of Temporal Reasoning in Artificial Intelligence, ch. 13, pp. 389–496. Elsevier, Amsterdam (2005)

    Google Scholar 

  4. Boella, G., Damiano, R., Hulstijn, J., van der Torre, L.: A common ontology of agent communication languages: Modeling mental attitudes and social commitments using roles. Applied Ontology 2(3-4), 217–265 (2007)

    Google Scholar 

  5. Cliffe, O., De Vos, M., Padget, J.A.: Answer set programming for representing and reasoning about virtual institutions. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS, vol. 4371, pp. 60–79. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  6. Dastani, M., Tinnemeier, N., Meyer, J.-J.C.: A programming language for normative multi-agent systems. In: Dignum, V. (ed.): Multi-Agent Systems: Semantics and Dynamics of Organizational Models. IGI Global (in press)

    Google Scholar 

  7. Dennis, L.A., Fisher, M., Hepple, A.: Language constructs for multi-agent programming. In: Sadri, F., Satoh, K. (eds.) CLIMA VIII. LNCS, vol. 5056, pp. 137–156. Springer, Heidelberg (2008)

    Google Scholar 

  8. Desai, N., Chopra, A.K., Singh, M.P.: Representing and reasoning about commitments in business processes. In: AAAI XXII, pp. 1328–1333. AAAI Press, Menlo Park (2007)

    Google Scholar 

  9. Desai, N., Singh, M.P.: A modular action description language for protocol composition. In: AAAI XXII, pp. 962–967. AAAI Press, Menlo Park (2007)

    Google Scholar 

  10. Esteva, M., Rosell, B., Rodríguez-Aguilar, J.A., Arcos, J.L.: Ameli: An agent-based middleware for electronic institutions. In: AAMAS III, pp. 236–243. IEEE Computer Society Press, Los Alamitos (2004)

    Google Scholar 

  11. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artif. Intell. 153(1-2), 49–104 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  12. Hübner, J.F., Sichman, J.S., Boissier, O.: S-moise+: A middleware for developing organised multi-agent systems. In: Boissier, O., Dignum, V., Matson, E., Sichman, J.S. (eds.) COIN 2006. LNCS, vol. 3913, pp. 64–78. Springer, Heidelberg (2006)

    Google Scholar 

  13. Lifschitz, V., Ren, W.: A modular action description language. In: AAAI XXI. AAAI Press, Menlo Park (2006)

    Google Scholar 

  14. Mehta, N.R., Medvidovic, N., Phadke, S.: Towards a taxonomy of software connectors. In: ICSE XXII, pp. 178–187. ACM Press, New York (2000)

    Google Scholar 

  15. Reiter, R.: On closed world databases. In: Gallaire, Minker (eds.) Logic and Databases, pp. 55–76. Plenum Press, New York (1978)

    Google Scholar 

  16. Saugar, S., Serrano, J.M.: A web-based virtual machine for developing computational societies. In: Klusch, M., Pěchouček, M., Polleres, A. (eds.) CIA 2008. LNCS, vol. 5180, pp. 162–176. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  17. Serrano, J.M., Saugar, S.: Operational semantics of multiagent interactions. In: Durfee, E.H., Yokoo, M., Huhns, M.N., Shehory, O. (eds.) AAMAS VI, pp. 889–896. IFAAMAS (2007)

    Google Scholar 

  18. Viganó, F., Colombetti, M.: Specification and verification of institutions through status functions. In: Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS, vol. 4386, pp. 115–129. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University Rey Juan Carlos, C/Tulipan S/N, Madrid, Spain

    Juan M. Serrano & Sergio Saugar

Authors
  1. Juan M. Serrano
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sergio Saugar
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Imperial College London, Ashton Street, L69 3BX, Liverpool, UK

    Michael Fisher

  2. Department of Computing, Imperial College London, 180 Queen’s Gate, SW7 2AZ, London, UK

    Fariba Sadri

  3. Department of Computer Science, Artificial Intelligence Institute, Computational Logic Group, Dresden University of Technology, Nöthnitzer Str. 46, 01187, Dresden, Germany

    Michael Thielscher

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Serrano, J.M., Saugar, S. (2009). Run-Time Semantics of a Language for Programming Social Processes. In: Fisher, M., Sadri, F., Thielscher, M. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2008. Lecture Notes in Computer Science(), vol 5405. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02734-5_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02734-5_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02733-8

  • Online ISBN: 978-3-642-02734-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation