Towards Functional Model Transformations with OCL

  • Frédéric Jouault
  • Olivier Beaudoux
  • Matthias Brun
  • Mickael Clavreul
  • Guillaume Savaton
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9152)

Abstract

Several model transformation approaches such as QVT and ATL use OCL as expression language for its model-querying capabilities. However, they need to add specific and incompatible syntactic constructs for pattern matching as well as model element creation and mutation.

In this paper, we present an exploratory approach to enable the expression of whole model transformations in OCL. This approach leverages some OCL extensions proposed for inclusion in the upcoming OCL 2.5: pattern matching and shadow objects. It also relies on a specific execution layer to enable traceability and side effects on models.

With model transformations as OCL functions, it becomes possible to use a single, standard, well-known, functional, and formalized model querying language to perform tasks traditionally assigned to model transformation languages. Thus, functional techniques such as function composition and higher-order become directly applicable to model transformations.

Keywords

Model transformation OCL Functional transformation 

References

  1. 1.
    Beaudoux, O., Blouin, A., Barais, O., Jézéquel, J.-M.: Active operations on collections. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 91–105. Springer, Heidelberg (2010) CrossRefGoogle Scholar
  2. 2.
    Bergmann, G.: Translating OCL to graph patterns. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 670–686. Springer, Heidelberg (2014) Google Scholar
  3. 3.
    Brucker, A.D., Clark, T., Dania, C., Georg, G., Gogolla, M., Jouault, F., Teniente, E., Wolff, B.: Panel Discussion: proposals for Improving OCL. In: Proceedings of the 14th International Workshop on OCL and Textual Modelling, pp. 83–99 (2014)Google Scholar
  4. 4.
    Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the specification of model transformation contracts. In: OCL and Model Driven Engineering on UML 2004 Conference Workshop, vol.12, pp.69–83 (2004)Google Scholar
  5. 5.
    Clark, T.: OCL pattern matching. In: Proceedings of the MODELS 2013 OCL Workshop, pp. 33–42 (2013)Google Scholar
  6. 6.
    Object Management Group (OMG). Object Constraint Language (OCL), Version 2.4. February 2014. http://www.omg.org/spec/OCL/2.4/
  7. 7.
    Pollet, D., Vojtisek, D., Jézéquel, J.-M.: OCL as a core uml transformation language. In: Workshop on Integration and Transformation of UML models WITUML (held at ECOOP 2002), Malaga(2002)Google Scholar
  8. 8.
    Tisi, M., Jouault, F., Fraternali, P., Ceri, S., Bézivin, J.: On the use of higher-order model transformations. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 18–33. Springer, Heidelberg (2009) CrossRefGoogle Scholar
  9. 9.
    Tisi, M., Jouault, F., Delatour, J., Saidi, Z., Choura, H.: FUML as an assembly language for model transformation. In: Combemale, B., Pearce, D.J., Barais, O., Vinju, J.J. (eds.) SLE 2014. LNCS, vol. 8706, pp. 171–190. Springer, Heidelberg (2014) Google Scholar
  10. 10.
    Vignaga, A., Jouault, F., Bastarrica, M.C., Brunelière, H.: Typing artifacts in megamodeling. Softw. Sys. Model. 12(1), 105–119 (2013)CrossRefGoogle Scholar
  11. 11.
    Wagelaar, D.: Composition techniques for rule-based model transformation languages. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 152–167. Springer, Heidelberg (2008) CrossRefGoogle Scholar
  12. 12.
    Willink, E.: OCL 2.5 Plans. Presentation given at the 14th International Workshop on OCL and Textual Modelling, September 2014. http://www.software.imdea.org/OCL2014/slides/OCL25Plans
  13. 13.
    Winkelmann, J., Taentzer, G., Ehrig, K., Küster, J.M.: Translation of restricted ocl constraints into graph constraints for generating meta model instances by graph grammars. Electron. Notes Theor. Comput. Sci. 211, 159–170 (2008)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Frédéric Jouault
    • 1
  • Olivier Beaudoux
    • 1
  • Matthias Brun
    • 1
  • Mickael Clavreul
    • 1
  • Guillaume Savaton
    • 1
  1. 1.ESEOAngersFrance

Personalised recommendations