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 postconditions 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Cockburn. Writing Effective Use Cases. Addison-Wesley 2000.
D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes and P. Jeremaes. Object-Oriented Development: The Fusion Method. Prentice-Hall 1994.
D. Coleman. Fusion with Use Cases — Extending Fusion for Requirements Modelling. OOPSLA Conference Tutorial Slides 1995.
S. Cook, A. Kleppe, R. Mitchell, J. Warmer, A. Wills. Defining the Context of OCL Expressions. Second International Conference on the Unified Modeling Language: UML’99, Fort Collins, USA, 1999.
D. D’Souza and A. Wills. Objects, Components and Frameworks With UML: The Catalysis Approach. Addison-Wesley 1998.
I. Jacobson, M. Griss and P. Jonsson. Software Reuse: Architecture Process and Organization for Business Success. Addison-Wesley 1997.
C.B. Jones. Systematic Software Development Using VDM. Prentice Hall, 1986.
M. Kandé and A. Strohmeier. Towards a UML Profile for Software Architecture. Technical Report 2000, Swiss Federal Institute of Technology, Switzerland, 2000; submitted for publication.
Presidents Information Technology Advisory Committee. Report to the President “Information Technology Research: Investing in Our Future”.National Coordination Office for Computing, Information, and Communications, February 1999 (http://www.ccic.gov/ac/report/pitac_report.pdf).
J. Rumbaugh, I. Jacobson and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley 1999.
S. Sendall and A. Strohmeier. Descriptive Object-Oriented Operation Specification for UML. Technical Report 2000/326, Swiss Federal Institute of Technology, Switzerland, 2000.
S. Sendall. Specification Case Studies. Electronic Resource: http://lglwww.epfl.ch/~sendall/case-studies
J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 1989.
J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling With UML. Addison-Wesley 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sendall, S., Strohmeier, A. (2000). From Use Cases to System Operation Specifications. In: Evans, A., Kent, S., Selic, B. (eds) ≪UML≫ 2000 — The Unified Modeling Language. UML 2000. Lecture Notes in Computer Science, vol 1939. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40011-7_1
Download citation
DOI: https://doi.org/10.1007/3-540-40011-7_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41133-8
Online ISBN: 978-3-540-40011-0
eBook Packages: Springer Book Archive