Semantics of OCL Operation Specifications | Zendy

Rolf Hennicker | Zendy; Alexander Knapp | Zendy; Hubert Baumeister | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Semantics of OCL Operation Specifications

Author(s) -

Rolf Hennicker,

Alexander Knapp,

Hubert Baumeister

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2003.09.006

Subject(s) - programming language , computer science , semantics (computer science) , unified modeling language , satisfiability , signature (topology) , class (philosophy) , object constraint language , theoretical computer science , applications of uml , mathematics , artificial intelligence , software , geometry

The semantics of OCL operation specifications is discussed from a model theoretic perspec- tive. It is argued that the semantics of operation specifications as defined in the OCL 2.0 proposal is not compatible with the view of operation specifications as contracts between a client and a supplier. As a solution, a semantics of OCL operation specifications based on standard model theory is presented. This semantics introduces the concept of a model over a UML class signature — which is a labelled transition system with output — together with a notion of the satisfiability of an OCL operation specification w.r.t. a model. The models respect the OCL features for methods with and without results, constructors, and queries. Regarding inheritance, the combination of several OCL operation specifications is introduced based on a lattice structure on models with respect to generalisation and refine- ment. Satisfiability is parametric in the underlying signature, and thus the notion can be transferred from UML class signatures to signatures including invariants.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research