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.
| Original language | English |
|---|---|
| Pages (from-to) | 411-420 |
| Number of pages | 10 |
| Journal | Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS |
| DOIs | |
| State | Published - 2005 |
| Externally published | Yes |
| Event | 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005 - Shanghai, China Duration: 16 Jun 2005 → 20 Jun 2005 |
Keywords
- Consistency Checking
- Formal requirement Specification
- Requirement Analysis
- UML