Chapter 10. Co-Algebraic Semantic Framework for Reasoning about Interaction Designs

  1. Kevin Lano
  1. Sun Meng1 and
  2. Luís S. Barbosa2

Published Online: 19 OCT 2009

DOI: 10.1002/9780470522622.ch10

UML 2 Semantics and Applications

UML 2 Semantics and Applications

How to Cite

Meng, S. and Barbosa, L. S. (2009) Co-Algebraic Semantic Framework for Reasoning about Interaction Designs, in UML 2 Semantics and Applications (ed K. Lano), John Wiley & Sons, Inc., Hoboken, NJ, USA. doi: 10.1002/9780470522622.ch10

Editor Information

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

Author Information

  1. 1

    CWI, Amsterdam, The Netherlands

  2. 2

    Department of Informatics, Minho University, Braga, Portugal

Publication History

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

ISBN Information

Print ISBN: 9780470409084

Online ISBN: 9780470522622

SEARCH

Keywords:

  • co-algebraic semantic framework for interaction design reasoning;
  • UML sequence diagram - horizontal and vertical dimensions;
  • new sequence diagrams from old

Summary

This chapter contains sections titled:

  • Introduction

  • Why Co-algebras?

  • A Semantics for UML Sequence Diagrams

  • New Sequence Diagrams from Old

  • Coercions and Designs

  • A Calculus for Interactions

  • Concluding Remarks

  • References