Chapter 5. Formal Descriptive Semantics of UML and Its Applications

  1. Kevin Lano
  1. Hong Zhu1,
  2. Lijun Shan2,
  3. Ian Bayley1 and
  4. Richard Amphlett1

Published Online: 19 OCT 2009

DOI: 10.1002/9780470522622.ch5

UML 2 Semantics and Applications

UML 2 Semantics and Applications

How to Cite

Zhu, H., Shan, L., Bayley, I. and Amphlett, R. (2009) Formal Descriptive Semantics of UML and Its Applications, in UML 2 Semantics and Applications (ed K. Lano), John Wiley & Sons, Inc., Hoboken, NJ, USA. doi: 10.1002/9780470522622.ch5

Editor Information

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

Author Information

  1. 1

    Department of Computing and Electronics, School of Technology, Oxford Brookes University, Oxford, UK

  2. 2

    Department of Computer Science, National University of Defense Technology, Changsha, China

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 and its applications and formal descriptive semantics;
  • interaction diagram simplified metamodel;
  • applications using model and metamodel analysis

Summary

This chapter contains sections titled:

  • Introduction

  • Definition of Descriptive Semantics in FOPL

  • The LAMBDES Tool

  • Applications Using Model and Metamodel Analysis

  • Conclusions

  • References