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

United Nations University Institute in Macau
Shanghai University
University of Leicester
University of Macau

科研成果: 会议稿件 › 论文 › 同行评审

17 引用（Scopus）

摘要

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.

源语言	英语
页	329-338
页数	10
DOI	https://doi.org/10.1017/S0263574703005654
出版状态	已出版 - 2004
已对外发布	是
活动	Proceedings - 2004 Australian Software Engineering Conference ASWEC 2004 - Melbourne, Vic., 澳大利亚期限: 13 4月 2004 → 16 4月 2004

会议

会议	Proceedings - 2004 Australian Software Engineering Conference ASWEC 2004
国家/地区	澳大利亚
市	Melbourne, Vic.
时期	13/04/04 → 16/04/04

访问文件

10.1017/S0263574703005654

其它文件与链接

链接到 Scopus 的出版物

引用此

@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

摘要

会议

访问文件

其它文件与链接

指纹

引用此