Thumbnail
Access Restriction
Subscribed

Author Xiaoshan Li ♦ Zhiming Liu ♦ Jifeng He
Sponsorship IEEE Comput. Soc. Tech. Comm. on Complexity in Comput. (TCCX)
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2005
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science ♦ Technology ♦ Engineering & allied operations
Subject Keyword Unified modeling language ♦ Costs ♦ Software systems ♦ Helium ♦ Electronic mail ♦ Libraries ♦ Software prototyping ♦ Prototypes ♦ Computer industry ♦ Programming ♦ UML ♦ Consistency Checking ♦ Formal Requirement Specification ♦ Requirement Analysis
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 defined and checked formally. The consistency among use cases and constraints are classified into five types. A system operation of interaction between actor and system is formally defined 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 defined 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.
Description Author affiliation: Fac. of Sci. & Technol., Macau Univ., Macau (Xiaoshan Li)
ISBN 076952284X
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-06-16
Publisher Place China
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 215.46 kB
Page Count 10
Starting Page 411
Ending Page 420


Source: IEEE Xplore Digital Library