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

  • Mehdi Dastani
  • Catholijn Jonker
  • Jan Treur
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2222)


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.


System Configuration User Agent Requirement Engineer Design Language Personal Assistant 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 2.
    Davis, A. M. (1993). Software requirements: Objects, Functions, and States, Prentice Hall, New Jersey.zbMATHGoogle Scholar
  3. 3.
    Dardenne, A., Lamsweerde, A. van, and Fickas, S. (1993). Goal-directed Requirements Acquisition. Science in Computer Programming, vol. 20, pp. 3–50.zbMATHCrossRefGoogle 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. 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. 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. 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. 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. 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. 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. 11.
    Kontonya, G., and Sommerville, I. (1998). Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York.Google Scholar
  12. 12.
    Manna, Z., and Pnueli, A.. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, 1995.Google Scholar
  13. 13.
    Sommerville, I., and Sawyer P. (1997). Requirements Engineering: a good practice guide. John Wiley & Sons, Chicester, England.zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Mehdi Dastani
    • 1
  • Catholijn Jonker
    • 1
  • Jan Treur
    • 1
  1. 1.Department of Artificial IntelligenceVrije Universiteit AmsterdamHV AmsterdamThe Netherlands

Personalised recommendations