UM  > 科技學院  > 電腦及資訊科學系
Consistency checking of UML requirements
Li X.2; Liu Z.1; He J.1
2005-10-31
Source PublicationProceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Pages411-420
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
Language英語
Fulltext Access
Document TypeConference paper
CollectionDEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
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
Bookmark
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.