Skip to main content
SpringerLink
Log in

A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems

  • Conference paper
  • First Online:
Agent-Oriented Software Engineering II (AOSE 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2222))

Included in the following conference series:

Abstract

In agent-mediated applications, the configuration of the multi-agent system often changes due to the creation and the deletion of agents. The behaviour of such systems on the one hand depends on the structural dynamics of the system configuration, but on the other hand consists of the informational dynamics of the configuration. To specify and verify the properties of the system, including its configuration dynamics, a requirement language is needed that is capable to express those properties. In this paper, we discuss configuration dynamics properties of multi-agent systems and define a language by means of which those properties can be specified. A prototypical scenario for an agentmediated system is discussed and some important requirements for this system are specified.

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. Brazier, F.M.T., Jonker, C.M., and Treur, J., Principles of Compositional Multi-agent System Development. In: J. Cuena (ed.), Proc. of the 15th IFIP World Computer Congress, WCC’98, Conference on Information Technology and Knowledge Systems, IT&KNOWS’98, 1998, pp. 347–360. To be published by IOS Press.

    Google Scholar 

  2. Davis, A. M. (1993). Software requirements: Objects, Functions, and States, Prentice Hall, New Jersey.

    MATH  Google Scholar 

  3. Dardenne, A., Lamsweerde, A. van, and Fickas, S. (1993). Goal-directed Requirements Acquisition. Science in Computer Programming, vol. 20, pp. 3–50.

    Article  MATH  Google Scholar 

  4. 4._Darimont, R., and Lamsweerde, A. van (1996). Formal Refinement Patterns for Goal-Driven Requirements Elaboration. Proc. of the Fourth ACM Symposium on the Foundation of Software Engineering (FSE4), pp. 179–190.

    Google Scholar 

  5. Dubois, E., Du Bois, P., and Zeippen, J.M. (1995). A Formal Requirements Engineering Method for Real-Time, Concurrent, and Distributed Systems. In: Proceedings of the Real-Time Systems Conference, RTS’95.

    Google Scholar 

  6. Engelfriet, J., Jonker, C.M. and Treur, J., (1999). Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. In: J.P. Mueller, M.P. Singh, A.S. Rao (eds.), Intelligent Agents V, Proc. of the Fifth International Workshop on Agent Theories, Architectures and Languages, ATAL’98. Lecture Notes in AI, vol. 1555, Springer Verlag, 1999, pp. 177–194. Extended version in: Journal of Logic, Language and Information, in press.

    Google Scholar 

  7. Fisher, M., Wooldridge, M. (1997) On the Formal Specification and Verification of Multi-Agent Systems. International Journal of Cooperative Information Systems, M. Huhns, M. Singh, (eds.), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, pp. 67–94.

    Google Scholar 

  8. Herlea, D.E., Jonker, C.M., Treur, J., and Wijngaards, N.J.E., (1999). Specification of Behavioural Requirements within Compositional Multi-Agent System Design. In: F.J. Garijo, M. Boman (eds.), Multi-Agent System Engineering, Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW’99. Lecture Notes in AI, vol.1647, Springer Verlag, Berlin, 1999, pp. 8–27.

    Google Scholar 

  9. Catholijn Jonker, Ioan Alfred Letia, and Jan Treur (2001). Diagnosis of the Dynamics Within an Organization By Trace Checking of Behavioral Requirements. In: Wooldridge, M., Ciancarini, P., and Weiss, G. (eds.), Proc. of the 2nd International-Workshop on Agent-Oriented Software Engineering, AOSE’01. Lecture Notes in Computer Science, Springer Verlag, This Volume.

    Google Scholar 

  10. Jonker, C.M. and Treur, J. (1998). Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. In: W.P. de Roever, H. Langmaack, A. Pnueli (eds.), Proceedings of the International Workshop on Compositionality, COMPOS’97. Lecture Notes in Computer Science, 1536, Springer Verlag, 1998, pp. 350–380. Extended version in:International Journal of Cooperative Information Systems, in press.

    Google Scholar 

  11. Kontonya, G., and Sommerville, I. (1998). Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York.

    Google Scholar 

  12. Manna, Z., and Pnueli, A.. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, 1995.

    Google Scholar 

  13. Sommerville, I., and Sawyer P. (1997). Requirements Engineering: a good practice guide. John Wiley & Sons, Chicester, England.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Artificial Intelligence, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081, HV Amsterdam, The Netherlands

    Mehdi Dastani, Catholijn Jonker & Jan Treur

Authors
  1. Mehdi Dastani
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Catholijn Jonker
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jan Treur
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, The University of Liverpool, Chadwick Building, Peach Street, L69 7ZF, Liverpool, UK

    Michael J. Wooldridge

  2. Technische Universität München, Institut für Informatik, 80290, München, Germany

    Gerhard Weiß

  3. Dipartimento di Scienze dell’Informazione, University of Bologna, Mura Anteo Zamboni 7, 40127, Bologna, Italy

    Paolo Ciancarini

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dastani, M., Jonker, C., Treur, J. (2002). A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds) Agent-Oriented Software Engineering II. AOSE 2001. Lecture Notes in Computer Science, vol 2222. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-70657-7_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-70657-7_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43282-1

  • Online ISBN: 978-3-540-70657-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation