Chapter 9. Interactions

  1. Kevin Lano
  1. María Victoria Cengarle1,
  2. Alexander Knapp2 and
  3. Heribert Mühlberger2

Published Online: 19 OCT 2009

DOI: 10.1002/9780470522622.ch9

UML 2 Semantics and Applications

UML 2 Semantics and Applications

How to Cite

Cengarle, M. V., Knapp, A. and Mühlberger, H. (2009) Interactions, in UML 2 Semantics and Applications (ed K. Lano), John Wiley & Sons, Inc., Hoboken, NJ, USA. doi: 10.1002/9780470522622.ch9

Editor Information

  1. Department of Computer Science, King's College London, London, UK

Author Information

  1. 1

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

  2. 2

    Institut für Informatik, Universität Augsburg, Augsburg, Germany

Publication History

  1. Published Online: 19 OCT 2009
  2. Published Print: 19 OCT 2009

ISBN Information

Print ISBN: 9780470409084

Online ISBN: 9780470522622

SEARCH

Keywords:

  • UML interactions - message exchanges between system instances;
  • trace-based semantics;
  • intermediate semantics of high-level interactions

Summary

This chapter contains sections titled:

  • Introduction

  • Trace-Based Semantics

  • Alternative Semantics

  • Implementation and Refinement

  • Verification and Validation

  • References