Skip to main content
SpringerLink
Log in
Book cover

Agent Technology from a Formal Perspective pp 159–189Cite as

Scenario-Based Engineering of Multi-Agent Systems

  • Chapter

Part of the book series: NASA Monographs in Systems and Software Engineering ((NASA))

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   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover 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. Aho, A., Sethi, R. and Ullman, J. Compilers: Principles, Techniques, and Tools. Addison-Wesley series in Computer Science, Addison-Wesley. 1986.

    Google Scholar 

  2. AUML Agent UML. 2001. http://www.auml.org.

    Google Scholar 

  3. Battista, G. D., Eades, P., Tamassia, R. and Tollis, I. Graph Drawing: Algorithms for the Visualization of Graphs. Prentice Hall. 1999.

    Google Scholar 

  4. Bhatt, S. N. and Leighton, F. T. A Framework for Solving VLSI Graph Layout Problems. J. Comp. Syst. Sci., 28:300–343, 1984.

    MathSciNet  Google Scholar 

  5. Biermann, A. and Krishnaswamy, R. Constructing Programs from Example Computations. IEEE Transactions on Software Engineering, SE-2(3):141–153, 1976.

    MathSciNet  Google Scholar 

  6. Bradshaw, J. Software Agents. American Association for Artificial Intelligence / MIT Press. 1997.

    Google Scholar 

  7. Breu, R., Grosu, R., Hofmann, C., Huber, F., Krüger, I., Rumpe, B., Schmidt, M. and Schwerin, W. Exemplary and Complete Object Interaction Descriptions. In Computer Standards and Interfaces, volume 19, 1998, pp 335–345.

    Google Scholar 

  8. Caire, G., Leal, F., Chainho, P., Evans, R., Garijo, F., Gomez, J., Pavon, J., Kearney, P., Stark, J. and Massonet, P. Agent oriented analysis using MESSAGE/ UML. In Agent Oriented Software Engineering, P. Ciancarini and M. Wooldridge, editors. Springer-Verlag, Berlin. 2001, pp 101–108.

    Google Scholar 

  9. Castellø, R., Mili, R. and Tollis, I. G. An algorithmic framework for visualizing statecharts. In Graph Drawing, (LNCS 1984), J. Marks, editor. Springer-Verlag. 2000a, pp 139–149.

    Google Scholar 

  10. Castellø, R., Mili, R., Tollis, I. G. and Benson, V. On the automatic visualization of statecharts: The vista tool. In Formal Methods Tools 2000. 2000b.

    Google Scholar 

  11. Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F. and Jeremaes, P. Object-Oriented Development: the FUSION Method. Prentice Hall International. 1994.

    Google Scholar 

  12. Compaq. Jtrek. 2001 http://www.compaq.com/java/download/jtrek.

    Google Scholar 

  13. Fröhlich, M. and Werner, M. (1994). Demonstration of the interactive graph-visualization system davinci. In Graph Drawing, (LNCS 894), R. Tamassia and I. G. Tollis, editors. DIMACS, Springer-Verlag. 1994, pp 266–269.

    Google Scholar 

  14. Gehrke, T. and Firley, T. Generative sequence diagrams with textual annotations. In Formale Beschreibungstechniken für verteilte Systeme (FBT99) (Formal Description Techniques for Distributed Systems), Spies and Schätz, editors. München. 1999, pp 65–72.

    Google Scholar 

  15. Glinz, M. An integrated formal model of scenarios based on statecharts. In 5th European Software Engineering Conference (ESEC), (LNCS 989), Springer-Verlag, 1995, pp 254–271.

    Google Scholar 

  16. Harel, D. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  17. Khriss, I., Elkoutbi, M. and Keller, R. Automating the synthesis of UML statechart diagrams from multiple collaboration diagrams. In UML98: Beyond the Notation, (LNCS 1618), J. Bezivin and P. Muller, editors. Springer-Verlag. 1999, pp 139–149.

    Google Scholar 

  18. Koutsofios, E. and North, S. Drawing graphs with dot. Technical report, AT&T Bell Laboratories, Murray Hill, NJ, USA, 1996.

    Google Scholar 

  19. Leue, S., Mehrmann, L. and Rezai, M. Synthesizing software architecture descriptions from Message Sequence Chart specifications. In Proc. Thirteenth International Conference on Automated Software Engineering, IEEE Press, 1998, pp 192–195.

    Google Scholar 

  20. Männistö, T., Systä, T. and Tuomi, J. SCED report and user manual. Report A-1994-5, Dept of Computer Science, University of Tampere, 1994. ATM example available with the SCED tool from http://www.cs.tut.fi/ ~tsysta/sced/.

    Google Scholar 

  21. Müller, J. The Design of Intelligent Agents, (LNAI 1177), Springer-Verlag. 1996.

    Google Scholar 

  22. Odell, J., Van Dyke Parunak, H. and Bauer, B. Representing Agent Interaction Protocols in UML. In Agent Oriented Software Engineering, (LNCS 1957), P. Ciancarini and M. Wooldridge, editors. Springer-Verlag. 2001, pp 121–140.

    Google Scholar 

  23. OMG Unified Modeling Language specification version 1.4, 2001. Available from The Object Management Group (http://www.omg.org).

    Google Scholar 

  24. Rao, A. S. and Georgeff, M. P. BDI Agents: From Theory to Practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS’ 95), V. Lesser, editor. The MIT Press, 1995, pp 312–319.

    Google Scholar 

  25. Rosenberg, D. and Scott, K. Use Case Driven Object Modeling with UML. Object Technology Series, Addison Wesley. 1999.

    Google Scholar 

  26. Schumann, J. Automatic debugging support for uml designs. In Proceedings of the Fourth International Workshop on Automated Debugging, M. Ducasse, editor. 2000. http://xxx.lanl.gov/abs/cs.SE/0011017

    Google Scholar 

  27. Singh, M. A customizable coordination service for autonomous agents. In Intelligent Agents IV: 4th International Workshop on Agent Theories, Architectures, and Languages, 1998a.

    Google Scholar 

  28. Singh, M. Developing formal specifications to coordinate heterogeneous autonomous agents. In International Conference onMulti Agent Systems, 1998b, pp 261–268.

    Google Scholar 

  29. Somé, S. and Dssouli, R. From scenarios to timed automata: building specifications from users requirements. In Asia Pacific Software Engineering Conference, 1995, pp 48–57.

    Google Scholar 

  30. Systä, T. Incremental construction of dynamic models for object oriented software systems. Journal of Object Oriented Programming, 13(5):18–27, 2000.

    Google Scholar 

  31. Systä, T., Keller, R. K. and Koskimies, K. Summary report of the OOPSLA 2000 workshop on scenario-based round-trip engineering. ACM SIGSOFT Software Engineering Notes, 26(2):24–28, 2001. http://doi.acm.org/10. 1145/505776.505782

    Article  Google Scholar 

  32. van Lamsweerde, A. Inferring declarative requirements specifications from operational scenarios. IEEE Transactions on Software Engineering, 24(12):1089–1114, 1998.

    Google Scholar 

  33. Warmer, J. and Kleppe, A. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley Object Technology Series, Addison-Wesley. 1999.

    Google Scholar 

  34. Whittle, J. and Schumann, J. Generating Statechart Designs from Scenarios. In Proceedings of International Conference on Software Engineeering (ICSE 2000), Limerick, Ireland, 2000, pp 314–323.

    Google Scholar 

  35. Wooldridge, M. and Ciancarini, P. Agent-oriented software engineering: The state of the art. In Handbook of Software Engineering and Knowledge Engineering. World Scientific Publishing Co. 2001.

    Google Scholar 

  36. Wooldridge, M. and Jennings, N. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2):115–152, 1995.

    Google Scholar 

  37. Wooldridge, M., Jennings, N. and Kinny, D. A methodology for agent-oriented analysis and design. In Third International Conference on Autonomous Agents (Agents 99), Seattle, WA, 1999, pp 69–76.

    Google Scholar 

Download references

Authors
  1. Jon Whittle
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Johann Schumann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Science Applications International Corporation, USA

    Christopher A. Rouff PhD, MS, BA

  2. NASA Goddard Space Flight Center, USA

    Michael Hinchey PhD, MSc, BSc, CMath, CEng, CPEng, CITP, FBCS, FIEE, FIMA, FIEAust, SMIEEE , James Rash MA, BA  & Walter Truszkowski MA, BA ,  & 

  3. Computer Science Department, University of Wyoming, USA

    Diana Gordon-Spears PhD

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag London Limited

About this chapter

Cite this chapter

Whittle, J., Schumann, J. (2006). Scenario-Based Engineering of Multi-Agent Systems. In: Rouff, C.A., Hinchey, M., Rash, J., Truszkowski, W., Gordon-Spears, D. (eds) Agent Technology from a Formal Perspective. NASA Monographs in Systems and Software Engineering. Springer, London. https://doi.org/10.1007/1-84628-271-3_6

Download citation

  • DOI: https://doi.org/10.1007/1-84628-271-3_6

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-85233-947-0

  • Online ISBN: 978-1-84628-271-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation