Paper Info
Title
Extending OCL Operation Contracts with Objective Functions
Abstract
We explore the potential of adding objective functions to OCL operation contracts. If an operation contract includes an objective function, the operation has the obligation to yield results that make the objective function assume an optimal value. Thus, an objective function expresses a preference among the possible opera- tion results that conform to the postconditions of the operation contract and any class invariants. Objective functions strictly increase the expressiveness of OCL opera- tion contracts. While objective functions arise naturally in application domains like operations research, we argue that objective functions are a useful general-purpose specification instrument and discuss several application examples. As tool support for operation contracts with objective functions, we present an animator for OCL operation contracts with optimization capabilities. We ensure tool interoperability by specifying objective functions in a UML profile.
Year
Venue
Keywords
2011
ECEASST
ocl,uml,operations research,animation,objective function
Field
DocType
Volume
Obligation,Software engineering,Unified Modeling Language,Computer science,Interoperability,Theoretical computer science,Invariant (mathematics),Uml profile,Expressivity
Journal
44
Citations 
PageRank 
References 
1
0.39
17
Authors
9
Name
Order
Citations
PageRank
Matthias P. Krieger1422.90
Achim D. Brucker255850.85
Jordi Cabot31677132.70
tony clark4635.83
Manuel Clavel5106166.26
Martin Gogolla62398578.76
Tiziana Margaria72098247.17
Julia Padberg842037.88
Gabriele Taentzer92667196.98