Systematic software development using VDM
Systematic software development using VDM
The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Software reuse: architecture, process and organization for business success
Software reuse: architecture, process and organization for business success
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Writing Effective Use Cases
Defining the context of OCL expressions
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Modular architecture for a toolset supporting OCL
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Estimating Software Development Effort Based on Use Cases-Experiences from Industry
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Using OCL and UML to Specify System Behavior
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Specification and checking of dependency relations between UML models
UML and the unified process
authUML: a three-phased framework to analyze access control specifications in use cases
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
Information and Software Technology
Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies
Applying Fondue to Specify a Drink Vending Machine
Electronic Notes in Theoretical Computer Science (ENTCS)
On translating UML models into graph transformation systems
Journal of Visual Languages and Computing
Towards a UML profile for software architecture descriptions
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Generating operation specifications from UML class diagrams: A model transformation approach
Data & Knowledge Engineering
Deriving operation contracts from UML class diagrams
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
The purpose of this paper is to first showcase the concept of an operation schemá 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.