Skip to main content
SpringerLink
Log in

Analysing Graph Transformation Rules through OCL

  • Conference paper
Theory and Practice of Model Transformations (ICMT 2008)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5063))

Abstract

In this paper we present an approach to the analysis of graph transformation rules based on an intermediate OCL representation. We translate different semantics of rules into OCL, together with the properties of interest (like rule applicability, conflict or independence). The intermediate representation serves three purposes: (i) allows the seamless integration of graph transformation rules with the MOF and OCL standards, and enables taking into account meta-model and OCL constraints when verifying the correctness of the rules; (ii) permits the interoperability of graph transformation concepts with a number of standards-based model-driven development tools; and (iii) makes available a plethora of OCL tools to actually perform the rule analysis.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Anastasakis, K., Bordbar, K., Georg, G., Ray, I.: UML2Alloy: A Challenging Model Transformation. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 436–450. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  2. Baldan, P., Corradini, A., König, B.: A Static Analysis Technique for Graph Transformation Systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 381–395. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  3. Baresi, L., Spoletini, P.: On the Use of Alloy to Analyze Graph Transformation Systems. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 306–320. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  4. Brucker, A.D., Wolff, B.: The HOL-OCL book. Tech. Rep. 525, ETH Zurich (2006)

    Google Scholar 

  5. Büttner, F., Gogolla, M.: Realizing Graph Transformations by Pre- and Postconditions and Command Sequences. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 398–413. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  6. Cabot, J., Clarisó, R., Riera, D.: UMLtoCSP: A tool for the formal verification of UML/OCL models using constraint programming. In: Proc. ASE 2007, pp. 547–548 (2007)

    Google Scholar 

  7. Clavel, M., Egea, M.: A rewriting-based validation tool for UML+OCL static class diagrams. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol. 4019, pp. 368–373. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  8. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)

    MATH  Google Scholar 

  9. Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. In: [18], pp. 247–312 (1999)

    Google Scholar 

  10. Ermel, C., Hölscher, K., Kuske, S., Ziemann, P.: Animated simulation of integrated UML behavioral models based on graph transformation. In: Proc. IEEE VL/HCC 2005, pp. 125–133 (2005)

    Google Scholar 

  11. Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL models in USE by automatic snapshot generation. SoSyM 4(4), 386–398 (2005)

    Article  Google Scholar 

  12. Heckel, R., Küster, J.-M.-., Taentzer, G.: Confluence of typed attributed graph transformation systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 161–176. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  13. de Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Attributed graph transformation with node type inheritance. Theor. Comput. Sci. 376(3), 139–163 (2007)

    Article  MATH  Google Scholar 

  14. de Lara, J., Vangheluwe, H.: Defining visual notations and their manipulation through meta-modelling and graph transformation. J. Vis. Lang. Comput. 15(3-4), 309–330 (2004)

    Article  Google Scholar 

  15. Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design, 3rd edn. Prentice-Hall, Englewood Cliffs (2004)

    Google Scholar 

  16. Mens, T., Taentzer, G., Runge, O.: Analysing refactoring dependencies using graph transformation. SoSyM 6(3), 269–285 (2007)

    Article  Google Scholar 

  17. QVT standard specification, http://www.omg.org/docs/ptc/05-11-01.pdf

  18. Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations, Foundations, vol. 1. World Scientific, Singapore (1997)

    Google Scholar 

  19. Sendall, S., Strohmeier, A.: Using OCL and UML to Specify System Behavior. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol. 2263, pp. 250–280. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  20. Taentzer, G., Rensink, A.: Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 64–79. Springer, Heidelberg (2005)

    Google Scholar 

  21. Varró, D.: Automated formal verification of visual modeling languages by model checking. SoSyM 3(2), 85–113 (2004)

    Article  Google Scholar 

  22. Cabot, J., Clarisó, R., Riera, D.: Verification of UML/OCL Class Diagrams Using Constraint Programming. MoDeVVa 2008. ICST Workshop (to appear, 2008), http://gres.uoc.edu/pubs/MODEVVA08.pdf

  23. Cabot, J., Clarisó, R., Riera, D.: Analysing Graph Transformation Rules Through OCL (extended version), http://gres.uoc.edu/UMLtoCSP/ICMT08.pdf

Download references

Author information

Authors and Affiliations

  1. Universitat Oberta de Catalunya, Spain

    Jordi Cabot & Robert Clarisó

  2. Universidad Carlos III de Madrid, Spain

    Esther Guerra

  3. Universidad Autónoma de Madrid, Spain

    Juan de Lara

Authors
  1. Jordi Cabot
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Robert Clarisó
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Esther Guerra
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Juan de Lara
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Antonio Vallecillo Jeff Gray Alfonso Pierantonio

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cabot, J., Clarisó, R., Guerra, E., de Lara, J. (2008). Analysing Graph Transformation Rules through OCL. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds) Theory and Practice of Model Transformations. ICMT 2008. Lecture Notes in Computer Science, vol 5063. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69927-9_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-69927-9_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69926-2

  • Online ISBN: 978-3-540-69927-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation