Synthesis of OCL Pre-conditions for Graph Transformation Rules

  • Jordi Cabot
  • Robert Clarisó
  • Esther Guerra
  • Juan de Lara
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6142)


Graph transformation (GT) is being increasingly used in Model Driven Engineering (MDE) to describe in-place transformations like animations and refactorings. For its practical use, rules are often complemented with OCL application conditions. The advancement of rule post-conditions into pre-conditions is a well-known problem in GT, but current techniques do not consider OCL. In this paper we provide an approach to advance post-conditions with arbitrary OCL expressions into pre-conditions. This presents benefits for the practical use of GT in MDE, as it allows: (i) to automatically derive pre-conditions from the meta-model integrity constraints, ensuring rule correctness, (ii) to derive pre-conditions from graph constraints with OCL expressions and (iii) to check applicability of rule sequences with OCL conditions.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Cabot, J., Clarisó, R., Guerra, E., de Lara, J.: A UML/OCL framework for the analysis of graph transformation rules. Soft. and Syst. Mod. (2010) (to appear)Google Scholar
  2. 2.
    Cabot, J., Clarisó, R., Riera, D.: Verification of UML/OCL class diagrams using constraint programming. In: MoDeVVa 2008. ICST Workshop, pp. 73–80 (2008)Google Scholar
  3. 3.
    Cabot, J., Teniente, E.: Incremental integrity checking of UML/OCL conceptual schemas. Journal of Systems and Software 82(9), 1459–1478 (2009)CrossRefGoogle Scholar
  4. 4.
    Costal, D., Gómez, C., Queralt, A., Teniente, E.: Drawing preconditions of operation contracts from conceptual schemas. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 266–280. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  5. 5.
    Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM 18(8), 453–457 (1975)zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Ehrig, H., Ehrig, K., Habel, A., Pennemann, K.-H.: Theory of constraints and application conditions: From graphs to high-level structures. Fundamenta Informaticae 74(1), 135–166 (2006)zbMATHMathSciNetGoogle Scholar
  7. 7.
    Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)zbMATHGoogle Scholar
  8. 8.
    Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL models in USE by automatic snapshot generation. Soft. and Syst. Mod. 4(4), 386–398 (2005)CrossRefGoogle Scholar
  9. 9.
    Gogolla, M., Richters, M.: Expressing UML class diagrams properties with OCL. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol. 2263, pp. 85–114. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  10. 10.
    Habel, A., Pennemann, K.-H.: Nested constraints and application conditions for high-level structures. In: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling. LNCS, vol. 3393, pp. 293–308. Springer, Heidelberg (2005)Google Scholar
  11. 11.
    Habel, A., Pennemann, K.-H.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comp. Sci. 19(2), 245–296 (2009)zbMATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Heckel, R., Wagner, A.: Ensuring consistency of conditional graph rewriting - a constructive approach. In: ENTCS, vol. 2 (1995)Google Scholar
  13. 13.
    Kniesel, G., Koch, H.: Static composition of refactorings. Sci. Comput. Program. 52(1-3), 9–51 (2004)zbMATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Mammar, A., Gervais, F., Laleau, R.: Systematic identification of preconditions from set-based integrity constraints. In: INFORSID 2006, pp. 595–610 (2006)Google Scholar
  15. 15.
    Queralt, A., Teniente, E.: Reasoning on UML class diagrams with OCL constraints. In: Embley, D.W., Olivé, A., Ram, S. (eds.) ER 2006. LNCS, vol. 4215, pp. 497–512. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  16. 16.
    Winkelmann, J., Taentzer, G., Ehrig, K., Kuster, J.M.: Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars. In: ENTCS, vol. 211, pp. 159–170 (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Jordi Cabot
    • 1
  • Robert Clarisó
    • 2
  • Esther Guerra
    • 3
  • Juan de Lara
    • 4
  1. 1.INRIA - École des Mines de NantesFrance
  2. 2.Universitat Oberta de CatalunyaSpain
  3. 3.Universidad Carlos III de MadridSpain
  4. 4.Universidad Autónoma de MadridSpain

Personalised recommendations