Skip to main content
SpringerLink
Log in

OCL2AC: Automatic Translation of OCL Constraints to Graph Constraints and Application Conditions for Transformation Rules

  • Conference paper
  • First Online:
Book cover Graph Transformation (ICGT 2018)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10887))

Included in the following conference series:

Abstract

Based on an existing theory, we present a tool OCL2AC which is able to adapt a given rule-based model transformation such that resulting models guarantee a given constraint set. OCL2AC has two main functionalities: First, OCL constraints are translated into semantically equivalent graph constraints. Secondly, graph constraints can further be integrated as application conditions into transformation rules. The resulting rule is applicable only if its application does not violate the original constraints. OCL2AC is implemented as Eclipse plug-in and enhances Henshin transformation rules.

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 EPUB and 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

References

  1. OCL2AC: Additional material (2018). https://ocl2ac.github.io/home/

  2. Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010 Part I. LNCS, vol. 6394, pp. 121–135. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-16145-2_9

    Chapter  Google Scholar 

  3. 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, Cham (2014). https://doi.org/10.1007/978-3-319-11653-2_41

    Chapter  Google Scholar 

  4. Clarisó, R., Cabot, J., Guerra, E., de Lara, J.: Backwards reasoning for model transformations: method and applications. J. Syst. Softw. 116(Suppl. C), 113–132 (2016). https://doi.org/10.1016/j.jss.2015.08.017

    Article  Google Scholar 

  5. Eclipse Foundation: Eclipse Modeling Framework (EMF) (2018). http://www.eclipse.org/emf/

  6. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006). https://doi.org/10.1007/3-540-31188-2

    Book  MATH  Google Scholar 

  7. Ehrig, H., Ermel, C., Golas, U., Hermann, F.: Graph and Model Transformation - General Framework and Applications. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2015). https://doi.org/10.1007/978-3-662-47980-3

    Book  MATH  Google Scholar 

  8. Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comput. Sci. 19, 245–296 (2009)

    Article  MathSciNet  Google Scholar 

  9. Kehrer, T., Taentzer, G., Rindt, M., Kelter, U.: Automatically deriving the specification of model editing operations from meta-models. In: Van Gorp, P., Engels, G. (eds.) ICMT 2016. LNCS, vol. 9765, pp. 173–188. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42064-6_12

    Chapter  Google Scholar 

  10. OMG: Object Constraint Language. http://www.omg.org/spec/OCL/

  11. Pennemann, K.H.: Development of correct graph transformation systems. Ph.D. thesis, Carl von Ossietzky-Universität Oldenburg (2009)

    Google Scholar 

  12. Radke, H., Arendt, T., Becker, J.S., Habel, A., Taentzer, G.: Translating essential OCL invariants to nested graph constraints for generating instances of meta-models. Sci. Comput. Program. 152, 38–62 (2018)

    Article  Google Scholar 

  13. Sendall, S., Kozaczynski, W.: Model transformation: the heart and soul of model-driven software development. IEEE Softw. 20(5), 42–45 (2003)

    Article  Google Scholar 

Download references

Acknowledgement

We are grateful to Jan Steffen Becker, Annegret Habel and Christian Sandmann for their helpful support. This work was partially funded by the German Research Foundation (DFG), projects “Generating Development Environments for Modeling Languages” and “Triple Graph Grammars (TGG) 2.0”.

Author information

Authors and Affiliations

  1. Philipps-Universität Marburg, Marburg, Germany

    Nebras Nassar, Jens Kosiol & Gabriele Taentzer

  2. GFFT Innovationsförderung GmbH, Bad Vilbel, Germany

    Thorsten Arendt

Authors
  1. Nebras Nassar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jens Kosiol
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Thorsten Arendt
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Gabriele Taentzer
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Nebras Nassar .

Editor information

Editors and Affiliations

  1. University of Potsdam, Potsdam, Germany

    Leen Lambers

  2. University of Victoria, Victoria, British Columbia, Canada

    Jens Weber

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Nassar, N., Kosiol, J., Arendt, T., Taentzer, G. (2018). OCL2AC: Automatic Translation of OCL Constraints to Graph Constraints and Application Conditions for Transformation Rules. In: Lambers, L., Weber, J. (eds) Graph Transformation. ICGT 2018. Lecture Notes in Computer Science(), vol 10887. Springer, Cham. https://doi.org/10.1007/978-3-319-92991-0_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-92991-0_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-92990-3

  • Online ISBN: 978-3-319-92991-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation