Linking UML models of design and requirement

Jing Liu; Zhiming Liu; Jifeng He; Xiaoshan Li

doi:10.1017/S0263574703005654

Linking UML models of design and requirement

Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li

Research output: Contribution to conference › Paper › peer-review

17 Scopus citations

Abstract

In this paper, both a UML model of requirement and a U ML 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.

Original language	English
Pages	329-338
Number of pages	10
DOIs	https://doi.org/10.1017/S0263574703005654
State	Published - 2004
Externally published	Yes
Event	Proceedings - 2004 Australian Software Engineering Conference ASWEC 2004 - Melbourne, Vic., Australia Duration: 13 Apr 2004 → 16 Apr 2004

Conference

Conference	Proceedings - 2004 Australian Software Engineering Conference ASWEC 2004
Country/Territory	Australia
City	Melbourne, Vic.
Period	13/04/04 → 16/04/04

Keywords

Consistency
Semantics
UML

Access to Document

10.1017/S0263574703005654

Cite this

@conference{b8a1a95262ac4512a2432564647d0c89,

title = "Linking UML models of design and requirement",

abstract = "In this paper, both a UML model of requirement and a U ML 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.",

keywords = "Consistency, Semantics, UML",

author = "Jing Liu and Zhiming Liu and Jifeng He and Xiaoshan Li",

year = "2004",

doi = "10.1017/S0263574703005654",

language = "英语",

pages = "329--338",

note = "Proceedings - 2004 Australian Software Engineering Conference ASWEC 2004 ; Conference date: 13-04-2004 Through 16-04-2004",

}

TY - CONF

T1 - Linking UML models of design and requirement

AU - Liu, Jing

AU - Liu, Zhiming

AU - He, Jifeng

AU - Li, Xiaoshan

PY - 2004

Y1 - 2004

N2 - In this paper, both a UML model of requirement and a U ML 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.

AB - In this paper, both a UML model of requirement and a U ML 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.

KW - Consistency

KW - Semantics

KW - UML

UR - https://www.scopus.com/pages/publications/2942590369

U2 - 10.1017/S0263574703005654

DO - 10.1017/S0263574703005654

M3 - 论文

AN - SCOPUS:2942590369

SP - 329

EP - 338

T2 - Proceedings - 2004 Australian Software Engineering Conference ASWEC 2004

Y2 - 13 April 2004 through 16 April 2004

ER -

Linking UML models of design and requirement

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this