UM  > 科技學院  > 電腦及資訊科學系
Consistency checking of UML requirements
Li X.2; Liu Z.1; He J.1
Source PublicationProceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
AbstractThis paper discusses how to check consistency of UML requirements model which consists of a use case model and a conceptual class model with system constraints. Based on a given semantics, the requirements consistency can be de ned and checked formally. The consistency among use cases and constraints are classi ed into ve types. A system operation of interaction between actor and system is formally de ned as a pair of pre and post conditions. An atomic use case is described as one system operation, and a composed use case may be de ned as several system operations described by an activity diagram. Thus, each use case can also be modelled as a pair of pre and post conditions by composing the pre and post conditions of system operations by introducing a sequence composition operation. Requirement consistency can be logically checked based on the semantics. A simple library system is used as a case study to illustrate the feasibility of the method. © 2005 IEEE.
KeywordConsistency Checking Formal requirement Specification Requirement Analysis UML
URLView the original
Fulltext Access
Document TypeConference paper
Affiliation1.United Nations University
2.Universidade de Macau
Recommended Citation
GB/T 7714
Li X.,Liu Z.,He J.. Consistency checking of UML requirements[C],2005:411-420.
Related Services
Recommend this item
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Li X.]'s Articles
[Liu Z.]'s Articles
[He J.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Li X.]'s Articles
[Liu Z.]'s Articles
[He J.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Li X.]'s Articles
[Liu Z.]'s Articles
[He J.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.