论文信息 - Linking UML models of design and requirement

Linking UML models of design and requirement

Both a UML model of requirement and a UML model of a design are defined as a pair of class diagram and a family of sequence diagrams. We then give an unified semantics for models of requirements and designs. We define the consistency between a design class diagram and the interaction diagrams and show how the removal of inconsistency can be treated as a model refinement. We then formally define the correctness of UML model of design with respect to the model of requirement.

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

[2] He Jifeng,et al. A Formal Semantics of UML Sequence Diagrams , 2004 .

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

[4] S. J. Goldsack,et al. Design Structures for Object-Based Systems , 1996 .

[5] Paul Strooper. Proceedings of the 2005 Australian Software Engineering Conference , 2004 .

[6] Jim Arlow,et al. UML and the unified process , 2001 .

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

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

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

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

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

[12] Jing Liu,et al. Unifying Views of UML , 2004, CVUML.

[13] EngelsGregor,et al. A methodology for specifying and analyzing consistency of object-oriented behavioral models , 2001 .