A Predicative Semantic Model for Integrating UML Models

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.

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

[2]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[3]  Gianna Reggio,et al.  Towards a Rigorous Semantics of UML Supporting Its Multiview Approach , 2001, FASE.

[4]  Shengchao Qin,et al.  A Relational Model for Object-Oriented Designs , 2004, APLAS.

[5]  P. Krutchen,et al.  The Rational Unified Process: An Introduction , 2000 .

[6]  Donald Bell.  UML’s Sequence Diagram , 2006 .

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

[8]  Jing Liu,et al.  Linking UML models of design and requirement , 2004, 2004 Australian Software Engineering Conference. Proceedings..

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

[10]  Gianna Reggio,et al.  Consistency Problems in UML-Based Software Development , 2004, UML Satellite Activities.

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

[12]  Miroslaw Staron,et al.  Workshop on "Consistency Problems in UML-based Software Development II" , 2003 .

[13]  Martin Fowler.  What Is the Point of the UML? , 2003, UML.

[14]  Luigia Petre,et al.  Formalising UML Use Cases in the Refinement Calculus , 1999 .

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

[16]  Ralph-Johan Back,et al.  Analysing UML Use Cases as Contracts , 1999, UML.

[17]  Stephen J. Mellor,et al.  Executable UML - A Foundation for Model-Driven Architecture , 2002, Addison Wesley object technology series.

[18]  Ralph-Johan Back,et al.  Class Refinement as Semantics of Correct Object Substitutability , 2000, Formal Aspects of Computing.

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

[20]  Bernhard Rumpe,et al.  Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff , 2000 .

[21]  Quan Long,et al.  Generating a Prototype from a UML Model of System Requirements , 2004, ICDCIT.

[22]  Rob Pooley,et al.  The unified modelling language , 1999, IEE Proc. Softw..

[23]  Reiko Heckel,et al.  A methodology for specifying and analyzing consistency of object-oriented behavioral models , 2001, ESEC/FSE-9.

[24]  He Jifeng,et al.  Towards a refinement calculus for object systems , 2002 .

[25]  Alexander Egyed,et al.  Scalable consistency checking between diagrams - the VIEWINTEGRA approach , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[26]  Philippe Kruchten,et al.  The Rational Unified Process: An Introduction, Second Edition , 2000 .

[27]  Gregor Engels,et al.  Consistent Interaction of Software Components , 2002, Trans. SDPS.

[28]  Perdita Stevens,et al.  «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications , 2003, Lecture Notes in Computer Science.