From use cases to system operation specifications (2000)
| Venue: | In UML 2.0 - The Future of the UML Object Constraint Language (OCL |
| Citations: | 19 - 2 self |
BibTeX
@INPROCEEDINGS{Sendall00fromuse,
author = {Shane Sendall and Alfred Strohmeier},
title = {From use cases to system operation specifications},
booktitle = {In UML 2.0 - The Future of the UML Object Constraint Language (OCL},
year = {2000},
pages = {1--15},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
ABSTRACT The purpose of this paper is to first showcase the concept of an operation schema---a precise form of system-level operation specification---and secondly show how operation schemas enhance development when they are used as a supplement to use case descriptions. An operation schema declaratively describes the effects of a system operation by pre- and post conditions using the Object Constraint Language (OCL), as defined by the Unified Modeling Language (UML). In particular, the paper highlights techniques to map use cases to operation schemas and discusses the advantages of doing so in terms of clarifying the granularity and purpose of use cases and providing a precise specification of system behavior.
