# zbMATH — the first resource for mathematics

A predicative semantic model for integrating UML models. (English) Zbl 1108.68434
Liu, Zhiming (ed.) et al., Theoretical aspects of computing – ICTAC 2004. First international colloquium, Guiyang, China, September 20–24, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25304-1/pbk). Lecture Notes in Computer Science 3407, 170-186 (2005).
Summary: This paper presents a predicative semantic model for integrating models from UML class diagrams and sequence diagrams. The integrated model is used for dealing with consistency problems of UML class diagrams and sequence diagrams. We also define the notion of consistent refinement of these integrated models.
For the entire collection see [Zbl 1069.68010].

##### MSC:
 68N99 Theory of software
##### Keywords:
UML; Formal semantics; Refinement; Model integration
Full Text: