Skip to main content
SpringerLink
Log in

A Verification Framework for Normative Multi-Agent Systems

  • Conference paper
Intelligent Agents and Multi-Agent Systems (PRIMA 2008)

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

Included in the following conference series:

Abstract

This paper presents a programming language that facilitates the implementation of coordination artifacts which in turn can be used to regulate the behaviour of individual agents. The programming language provides constructs inspired by social and organisational concepts. The operational semantics of the language is prototyped in Maude, a rewrite logic software. Properties of the coordination artifacts are model-checked with the Maude LTL model-checker.

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. Arbab, F.: Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), 329–366 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  2. Ricci, A., Viroli, M., Omicini, A.: Give agents their artifacts: the a&a approach for engineering working environments in mas. In: Durfee, E.H., Yokoo, M., Huhns, M.N., Shehory, O. (eds.) AAMAS, IFAAMAS, p. 150 (2007)

    Google Scholar 

  3. Ferber, J., Gutknecht, O., Michel, F.: From agents to organizations: An organizational view of multi-agent systems. In: Giorgini, P., Müller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol. 2935, pp. 214–230. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

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

    Google Scholar 

  5. Hübner, J.F., Sichman, J.S., Boissier, O.: Moise+: towards a structural, functional, and deontic model for mas organization. In: AAMAS, pp. 501–502. ACM, New York (2002)

    Chapter  Google Scholar 

  6. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)

    MATH  Google Scholar 

  7. Serbanuta, T.F., Rosu, G., Meseguer, J.: A rewriting logic approach to operational semantics (extended abstract). Electr. Notes Theor. Comput. Sci. 192(1), 125–141 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  8. Searle, J.R.: The Construction of Social Reality. The Penguin Press, London (1995)

    Google Scholar 

  9. Astefanoaei, L., de Boer, F.S.: Model-checking agent refinement. In: Padgham, L., Parkes, D.C., Müller, J., Parsons, S. (eds.) AAMAS (2), IFAAMAS, pp. 705–712 (2008)

    Google Scholar 

  10. Dastani, M.: 2apl: a practical agent programming language. Autonomous Agents and Multi-Agent Systems 16(3), 214–248 (2008)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CWI, Amsterdam, The Netherlands

    Lăcrămioara Aştefănoaei & Frank S. de Boer

  2. Universiteit Utrecht, The Netherlands

    Mehdi Dastani & John-Jules Meyer

Authors
  1. Lăcrămioara Aştefănoaei
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mehdi Dastani
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. John-Jules Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Frank S. de Boer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. College of Technology, Vietnam National University, 144 Xuan Thuy, Cau Giay, Hanoi, Vietnam

    The Duy Bui  & Quang Thuy Ha  & 

  2. The Francophone Institute for Computer Science, 42 Ta Quang Buu, Hai Ba Trung, Hanoi, Vietnam

    Tuong Vinh Ho

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Aştefănoaei, L., Dastani, M., Meyer, JJ., de Boer, F.S. (2008). A Verification Framework for Normative Multi-Agent Systems. In: Bui, T.D., Ho, T.V., Ha, Q.T. (eds) Intelligent Agents and Multi-Agent Systems. PRIMA 2008. Lecture Notes in Computer Science(), vol 5357. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89674-6_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89674-6_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-89673-9

  • Online ISBN: 978-3-540-89674-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation