Enabling OCL and fUML Integration by Transformation

Massimo Tisi 1 Frédéric Jouault 2 Saidi Zied 1 Jérôme Delatour 2
1 AtlanModels - Modeling Technologies for Software Production, Operation, and Evolution
Inria Rennes – Bretagne Atlantique , Département informatique - EMN, LINA - Laboratoire d'Informatique de Nantes Atlantique
Abstract : Until the recent adoption of fUML, UML has lacked standard execution semantics. However, parts of UML models have always been executable: OCL expressions. They may notably be used to express contracts (i.e., invariants, pre- and post-conditions), to define side-effect free operations, and to specify how to compute derived features. Nonetheless, although fUML is partly inspired by OCL (notably for primitive behaviors), its specification does not consider interoperability with OCL expressions. Moreover, the semantics of OCL is specified independently of (f)UML, and their implementations are separate execution engines, hampering all global activities (e.g., analysis, optimization, debugging). This paper explores a possible integration approach of OCL and fUML: by transforming (i.e., compiling) OCL expressions into fUML activities we obtain a unified executable model. With this approach, operations specified in OCL can be called, and getters can be generated for derived features. Preconditions (resp. postconditions) can be automatically executed before (resp. after) the execution of their contextual operations. A precise semantics for invariant evaluation can be specified in fUML. Thanks to this work, OCL may also be seen as a functional counterpart to Alf.
Document type :
Conference papers
Complete list of metadatas

Contributor : Nathalie Renois <>
Submitted on : Thursday, June 30, 2016 - 12:26:41 PM
Last modification on : Thursday, December 20, 2018 - 1:28:45 AM



Massimo Tisi, Frédéric Jouault, Saidi Zied, Jérôme Delatour. Enabling OCL and fUML Integration by Transformation. 12th European Conference, ECMFA 2016, Jul 2016, Vienna, Austria. pp.156-172, ⟨10.1007/978-3-319-42061-5_10⟩. ⟨hal-01340073⟩



Record views