A characterization of UML diagrams and their consistency

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

[1]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[2]  Craig Larman,et al.  Applying UML and patterns , 1997 .

[3]  강문설.  [서평]「The Unified Modeling Language User Guide」 , 1999 .

[4]  C. A. R. Hoare,et al.  Unifying theories of programming , 1998, RelMiCS.

[5]  Mrv Michel Chaudron,et al.  An empirical investigation in quantifying inconsistency and incompleteness of UML designs , 2003 .

[6]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[7]  Richard F. Paige,et al.  Checking the Consistency of Collaboration and Class Diagrams using PVS , 2002 .

[8]  Jifeng He,et al.  A Relational Model for Formal Object-Oriented Requirement Analysis in UML , 2003, ICFEM.

[9]  Ivar Jacobson,et al.  Unified Modeling Language Reference Manual, The (2nd Edition) , 2004 .

[10]  Reiko Heckel,et al.  The Consistency Workbench: A Tool for Consistency Management in UML-Based Development , 2003, UML.

[11]  Ray Farmer,et al.  Object-Oriented Systems Analysis and Design Using UML , 2001 .

[12]  Amiram Yehudai,et al.  Behavioral consistency validation of UML diagrams , 2003, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..

[13]  Aliki Tsiolakis.  Integrating Model Information in UML Sequence Diagrams , 2001, Electron. Notes Theor. Comput. Sci..

[14]  Quan Long,et al.  Consistent code generation from UML models , 2005, 2005 Australian Software Engineering Conference.

[15]  Jifeng He,et al.  A formal semantics of UML sequence diagram , 2004, 2004 Australian Software Engineering Conference. Proceedings..

[16]  D. Aredo.  Sematics of UML Sequence Diagrams in PVS , 2000 .

[17]  Jifeng He,et al.  Using Transition Systems to Unify UML Models , 2002, ICFEM.