Abstract
Triple Graph Grammars (TGGs) are a declarative and rule-based approach to bidirectional model transformation. The key feature of TGGs is the automatic derivation of various operations such as unidirectional transformation, model synchronisation, and consistency checking. Application conditions can be used to increase the expressiveness of TGGs by guaranteeing schema compliance, i.e., that domain constraints are respected by the TGG. In recent years, a series of new TGG-based operations has been introduced leveraging Integer Linear Programming (ILP) solvers to flexible consistency maintenance even in cases where no strict solution exists. Schema compliance is not guaranteed, however, as application conditions from the original TGG cannot be directly transferred to these ILP-based operations. In this paper, we extend ILP-based TGG operations so as to guarantee schema compliance. We implement and evaluate the practical feasibility of our approach.
Keywords
- Application conditions
- Triple graph grammars
- Integer linear programming
This work was partially supported by the German Federal Ministry of Education and Research (BMBF) through the SPEAR project (01IS17024I).
Download conference paper PDF
References
Anjorin, A., Buchmann, T., Westfechtel, B., Diskin, Z., Ko, H.S., Eramo, R.,Hinkel, G., Samimi-Dehkordi, L., Zündorf, A.: Benchmarking bidirectional transformations: theory, implementation, application, and assessment. Software and Systems Modeling (Sep 2019). https://doi.org/10.1007/s10270-019-00752-x
Anjorin, A., Leblebici, E., Schürr, A.: 20 Years of Triple Graph Grammars: A Roadmap for Future Research. ECEASST 73 (2015)
Anjorin, A., Schürr, A., Taentzer, G.: Construction of integrity preserving triple graph grammars. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg,G. (eds.) ICGT 2012. Springer, Berlin, Heidelberg (2012). https://doi.org/10.1007/978-3-642-33654-6_24
Anjorin, A., Yigitbas, E., Leblebici, E., Schürr, A., Lauder, M., Witte, M.: Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain. Programming Journal 2(3), 7 (2018)
Callow, G., Kalawsky, R.: A Satisficing Bi-Directional Model Transformation Engine using Mixed Integer Linear Programming. Journal of Object Technology 12(1), 1:1–43 (2013). https://doi.org/10.5381/jot.2013.12.1.a1
Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: On principles of least change and least surprise for bidirectional transformations. Journal of Object Technology 16(1), 3:1–31 (2017).
Denil, J., Jukss, M., Verbrugge, C., Vangheluwe, H.: Search-Based Model Optimization Using Model Transformations. In: Amyot, D., Fonseca i Casas,P., Mussbacher, G. (eds.) SAM 2014. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11743-0_6
Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information Preserving Bidirectional Model Transformations. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. Springer (2007)
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer-Verlag Berlin Heidelberg (2006)
Ehrig, H., Hermann, F., Sartorius, C.: Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. ECEASST 18 (2009).
Eramo, R., Pierantonio, A., Tucci, M.: Enhancing the JTL tool for bidirectional transformations. In: Marr, S., Sartor, J.B. (eds.) Programming 2018, Nice, France, April 09–12, 2018. ACM (2018).
Fleck, M., Troya, J., Wimmer, M.: Search-Based Model Transformations with MOMoT. In: Van Gorp, P., Engels, G. (eds.) ICMT 2016. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42064-6_6
Golas, U., Ehrig, H., Hermann, F.: Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. ECEASST 39 (2011)
Horn, T.: Solving the TTC Families to Persons Case with Funny QT. In: García-Domínguez, A., Hinkel, G., Krikava, F. (eds.) TTC 2017. CEUR Workshop Proceedings, vol. 2026. CEUR-WS.org (2017).
Kessentini, M., Sahraoui, H., Boukadoum, M.: Model Transformation as an Optimization Problem. In: Czarnecki, K., Ober, I., Bruel, J.M., Uhl, A.,Völter, M. (eds.) MoDELS 2008. Springer, Berlin, Heidelberg (2008). https://doi.org/10.1007/978-3-540-87875-9_12
Klar, F., Lauder, M., Königs, A., Schürr, A.: Extended Triple Graph Grammars with Efficient and Compatible Graph Translators, pp. 141–174. Springer, Berlin, Heidelberg (2010). https://doi.org/10.1007/978-3-642-17322-6_8
Leblebici, E.: Towards a graph grammar-based approach to inter-model consistency checks with traceability support. In: Anjorin, A., Gibbons, J. (eds.) Bx 2016. CEUR-WS.org (2016).
Leblebici, E.: Inter-Model Consistency Checking and Restoration with Triple Graph Grammars. Ph.D. thesis, Darmstadt University of Technology, Germany (2018).
Leblebici, E., Anjorin, A., Fritsche, L., Varró, G., Schürr, A.:Leveraging incremental pattern matching techniques for model synchronisation. In: de Lara, J., Plump, D. (eds.) ICGT 2017, Marburg, Germany, July 18-19,2017, Proceedings (2017)
Leblebici, E., Anjorin, A., Schürr, A.: Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques. In: Huisman, M., Rubin, J. (eds.) FASE 2017. Springer, Berlin, Heidelberg (2017).https://doi.org/10.1007/978-3-662-54494-5_11
Macedo, N., Cunha, A.: Implementing QVT-R Bidirectional Model Transformations Using Alloy. In: Cortellessa, V., Varró, D. (eds.) FASE 2013. Springer, Berlin, Heidelberg (2013). https://doi.org/10.1007/978-3-642-37057-1_22
Nierstrasz, O., Gray, J., d. S. Oliveira, B.C. (eds.): SLE 2019, Athens, Greece, October 20–22, 2019, Proceedings. ACM (2019).
Syriani, E., Vangheluwe, H., Lashomb, B.: T-Core: A Framework for Custom-built Model Transformation Engines. Softw. Syst. Model. 14(3),1215–1243 (2015)
Weidmann, N., Anjorin, A., Leblebici, E., Schürr, A.: Consistency management via a combination of triple graph grammars and linear programming. In: Nierstrasz et al. [22], pp. 29–41. https://doi.org/10.1145/3357766.3359544
Weidmann, N., Oppermann, R., Robrecht, P.: A feature-based classification of triple graph grammar variants. In: Nierstrasz et al. [22], pp. 1–14. https://doi.org/10.1145/3357766.3359529
Xiong, Y., Hu, Z., Zhao, H., Song, H., Takeichi, M., Mei, H.: Supporting automatic model inconsistency fixing. In: van Vliet, H., Issarny, V. (eds.) Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24–28, 2009. pp. 315–324. ACM (2009).
Acknowledgements
We like to thank Surbhi Verma, Shubhangi Salunkhe and Darya Zarkalam for contributing to large parts of the implementation.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2020 The Author(s)
About this paper
Cite this paper
Weidmann, N., Anjorin, A. (2020). Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming. In: Wehrheim, H., Cabot, J. (eds) Fundamental Approaches to Software Engineering. FASE 2020. Lecture Notes in Computer Science(), vol 12076. Springer, Cham. https://doi.org/10.1007/978-3-030-45234-6_16
Download citation
DOI: https://doi.org/10.1007/978-3-030-45234-6_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-45233-9
Online ISBN: 978-3-030-45234-6
eBook Packages: Computer ScienceComputer Science (R0)
-
Published in cooperation with
http://www.etaps.org/
