Consistency checking of UML requirements

UM > Faculty of Science and Technology > DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE

Status	已發表Published
	Consistency checking of UML requirements
	Li X.2 ; Liu Z.1; He J.1
	2005-10-31
Source Publication	Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Pages	411-420
Abstract	This 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.
Keyword	Consistency Checking Formal requirement Specification Requirement Analysis UML
URL	View the original
Language	英語English
Fulltext Access	View Full-Text via Scopus
Document Type	Conference paper
Collection	DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
Affiliation	1.United Nations University 2.Universidade de Macau
First Author Affilication	University of Macau
Recommended Citation GB/T 7714	Li X.,Liu Z.,He J.. Consistency checking of UML requirements[C], 2005, 411-420.
APA	Li X.., Liu Z.., & He J. (2005). Consistency checking of UML requirements. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 411-420.

Files in This Item:
There are no files associated with this item.

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Affiliation No.
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh