Open AccessA Characterization of UML Diagrams and their Consistency
Author(s) -
Xiaoshan Li
Publication year - 2006
Publication title -
11th ieee international conference on engineering of complex computer systems (iceccs'06)
Language(s) - English
Resource type - Book series
ISBN - 0-7695-2530-X
DOI - 10.1109/iceccs.2006.78
In this paper, we focus on giving a formal semantics of sequence diagram of UML2.0. A model of a system comprises a set of program variables, a class diagram, a family of normal sequence diagrams, a family of normal state diagrams, and a state constraint. We then define their static and dynamic consistency supported by the formal semantics.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom