Linking UML Models of Design and Requirement

Authors:
Jing Liu;Zhiming Liu;Jifeng He;Xiaoshan Li
Affiliations:
-;-;-;-
Venue:
ASWEC '04 Proceedings of the 2004 Australian Software Engineering Conference
Year:
2004

Citing 0
Cited 5

Unifying Views of UML

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Rigorous Approach to UML-Based Development

Electronic Notes in Theoretical Computer Science (ENTCS)
A predicative semantic model for integrating UML models

ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
rCOS: refinement of component and object systems

FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
rCOS: a formal model-driven engineering method for component-based software

Frontiers of Computer Science in China

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, both a UML model of requirement and aUML model of a design are defined as a pair of class diagramand a family of sequence diagrams. We then give anunified semantics for models of requirements and designs.We define the consistency between a design class diagramand the interaction diagrams and show how the removalof inconsistency can be treated as a model refinement. Wethen formally define the correctness of UML model of designwith respect to the model of requirement.