Enabling OCL and fUML Integration by Transformation - ESEO-ERIS Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Enabling OCL and fUML Integration by Transformation

Frédéric Jouault
Jérôme Delatour

Résumé

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.
Fichier non déposé

Dates et versions

hal-01340073 , version 1 (30-06-2016)

Identifiants

Citer

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⟩
212 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More