Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Engineering Societies in the Agents World

ESAW 2004: Engineering Societies in the Agents World V pp 292–304Cite as

Controlled Experimentation with Agents — Models and Implementations

  • Conference paper

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

Abstract

The deployment of multi-agent systems demands for justified confidence into their functioning, both with respect to correctness of behaviour and with respect to timeliness thereof. Depending on the stage of the development process different mechanisms and abstractions are needed to facilitate the evaluation of interacting agents. We propose a modelling and simulation framework based on a discrete-event formalism for supporting the development process of multi-agent systems; from specification to implementation. The framework allows for the incremental refinement of agents and experimental set-ups while providing rigorous observation facilities. The benefit of using discrete-event modelling and simulation techniques for evaluating agents is illustrated using a simple example based on the Contract Net Protocol.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Castro, J., Kolp, M., Mylopoulos, J.: Towards requirements-driven information systems engineering: the Tropos project. Information Systems 27, 365–389 (2002)

    Article  MATH  Google Scholar 

  2. Odell, J., Parunak, H.V.D., Fleischer, M., Breuckner, S.: Agent UML: A formalism for specifying multiagent software systems. In: Giunchiglia, F., Odell, J., Weiss, G. (eds.) Agent-Oriented Software Engineering III. LNCS, vol. 2585, pp. 16–31. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  3. van der Hoek, W., Wooldrige, M.: Towards a logic of rational agency. Journal of Autonomous Agents and Multi-Agent Systems 11, 133–157 (2003)

    Google Scholar 

  4. Ryan, M., Schobbens, P.Y.: Agents and roles: Refinement in alternating-time temporal logic. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 100–114. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  5. Wooldridge, M., Jennings, N.R.: Pitfalls of agent-oriented development. In: Proceedings of the 2nd International Conference on Autonomous Agents, pp. 385–391 (1998)

    Google Scholar 

  6. Dam, K.H., Winikoff, M.: Comparing agent-oriented methodologies. In: Proceedings of the Fifth International Bi-Conference Workshop on Agent-Oriented Information Systems, Melbourne (2003)

    Google Scholar 

  7. Hilaire, V., Koukam, A., Gruer, P., Müller, J.P.: Formal specification and prototyping of multi-agent systems. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2000. LNCS (LNAI), vol. 1972, pp. 114–127. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  8. Moro, G., Viroli, M.: On observing and constraining active systems. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2000. LNCS (LNAI), vol. 1972, pp. 34–51. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  9. Wooldridge, M.: The computational complexity of agent design problems. In: Proceedings of the Fourth International Conference of Multi-Agent Systems (ICMAS 2000), Boston, pp. 341–348 (2000)

    Google Scholar 

  10. Lutz, R.: Software engineering for safety: A roadmap. In: Finkelstein, A. (ed.) ICSE - Future of SE Track, pp. 213–224. ACM Press, New York (2000)

    Google Scholar 

  11. Schütz, W.: The testability of distributed real-time systems. Kluwer Academic Publishers, Boston (1993)

    MATH  Google Scholar 

  12. Myers, G.J.: The Art of Software Testing. John Wiley & Sons, Inc., Chichester (1979)

    Google Scholar 

  13. Wolpert, D.H., Lawson, J.W.: Designing agent collectives for systems with markovian dynamics. In: AAMAS 2002: Autonomous Agents and Multi-Agent Systems (2002)

    Google Scholar 

  14. Montgomery, T.A., Durfee, E.H.: Using MICE to Study Intelligent Dynamic Coordination. In: Second International Conference on Tools for Artificial Intelligence. Institute of Electrical and Electronics Engineers, Washington, DC, pp. 438–444 (1990)

    Google Scholar 

  15. Pollack, M.E.: Planning in Dynamic Environments: The DIPART System. In: Tate, A. (ed.) Advanced Planning Technology. AAAI, Menlo Park (1996)

    Google Scholar 

  16. Minsky, M.: Models, minds, machines. In: Proc. IFIP Congress, pp. 45–49 (1965)

    Google Scholar 

  17. Zeigler, B.P.: Multifacetted Modelling and Discrete Event Simulation. Academic Press, London (1984)

    MATH  Google Scholar 

  18. Zeigler, B.P.: Theory of Modelling and Simulation. John Wiley, New York (1976)

    MATH  Google Scholar 

  19. Vangheluwe, H.: DEVS as a common denominator for multi-formalism hybrid system modeling. In: Proceedings of the IEEE International Symposium on Computer Aided Control System Design, Anchorage, Alaska, pp. 129–134 (2000)

    Google Scholar 

  20. Giambiasi, N., Paillet, J.L., Châne, F.: From timed automata to DEVS models. In: Chick, S., Sánchez, P., Ferrin, D., Morrice, D. (eds.) Proceedings of the 2003 Winter Simulation Conference, New Orleans, USA, pp. 923–931 (2003)

    Google Scholar 

  21. Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation, 2nd edn. Academic Press, London (2000)

    Google Scholar 

  22. Fujimoto, R.M.: Parallel and Distributed Simulation Systems. John Wiley and Sons, Chichester (2000)

    Google Scholar 

  23. Uhrmacher, A.M.: Dynamic Structures in Modeling and Simulation - a Reflective Approach. ACM Transactions on Modeling and Simulation 11, 206–232 (2001)

    Article  Google Scholar 

  24. Schattenberg, B., Uhrmacher, A.M.: Planning agents in James. Proceedings of the IEEE 89, 158–173 (2001)

    Article  Google Scholar 

  25. FIPA: FIPA Contract Net Interaction Protocol Specification (2002), http://www.fipa.org/specs/fipa00029

  26. Anderson, S.D.: Simulation of multiple time-pressured agents. In: Proc. of the Wintersimulation Conference, WSC 1997, Atlanta (1997)

    Google Scholar 

  27. Browne, S., Dongarra, J., Garner, N., Ho, G.S., Mucci, P.: A portable programming interface for performance evaluation on modern processors. The International Journal of High Performance Computing Applications 14, 189–204 (2000)

    Article  Google Scholar 

  28. Dagenring, D., Röhl, M., Uhrmacher, A.M.: Discrete event, multi-level simulation of metabolite channeling. BioSystems 75, 29–41 (2004)

    Article  Google Scholar 

  29. Uhrmacher, A.M., Röhl, M., Kullick, B.: The role of reflection in simulating and testing agents: An exploration based on the simulation system james. Applied Artificial Intelligence 16, 795–811 (2002)

    Article  Google Scholar 

  30. Himmelspach, J., Röhl, M., Uhrmacher, A.: Simulation for Testing Software Agents – An Exploration Based on James. In: Chick, S., Sánchez, P., Ferrin, D., Morrice, D. (eds.) Proceedings of the 2003 Winter Simulation Conference, New Orleans, USA, pp. 799–807 (2003)

    Google Scholar 

  31. Ewert, U.C., Röhl, M., Uhrmacher, A.M.: What good are deliberative interventions in large scale disasters? Exploring the consequences of crisis managment in pre-modern towns with agent-oriented simulation. In: Agent Based Computational Demography. Springer, Heidelberg (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Electrical Engineering, University of Rostock, Albert-Einstein-Str. 21, 18059, Rostock, Germany

    Mathias Röhl & Adelinde M. Uhrmacher

Authors
  1. Mathias Röhl
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Adelinde M. Uhrmacher
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. IRIT – Paul Sabatier University, 118, Route de Narbonne, 31062, Toulouse Cedex 9, France

    Marie-Pierre Gleizes

  2. Alma Mater Studiorum Università di Bologna a Cesena, via Venezia 52, 47023, Cesena, Italy

    Andrea Omicini

  3. Dipartimento di Scienze e Metodi dell’Ingegneria, Università di Modena e Reggio Emilia, Via Amendola 2, 42100, Reggio Emilia, ITALY

    Franco Zambonelli

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Röhl, M., Uhrmacher, A.M. (2005). Controlled Experimentation with Agents — Models and Implementations. In: Gleizes, MP., Omicini, A., Zambonelli, F. (eds) Engineering Societies in the Agents World V. ESAW 2004. Lecture Notes in Computer Science(), vol 3451. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11423355_21

Download citation

  • DOI: https://doi.org/10.1007/11423355_21

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-31887-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation