OCL as Expression Language in an Action Semantics Surface Language
Stefan Haustein, Jörg Pleumann · 2004
With the specifiaction of Action Semantics in UML 1.5, the OMG has layed ground to manipulating object diagrams in a formal way, which is a necessary prerequisite for QVT. In QVT, of course the manipulations take place at M1 level instead of M0, but due to the architecture of UML, the same mechanisms can simply be reused. Unfortunately, the Action Semantics specification does not mandate a surface language, limiting its practical application. Due to the high overlap with the Object Constraint Language, in this article we propose a surface language that is based on and aligned with OCL.