Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques
An important task in Model-Driven Engineering (MDE) is to check consistency between two concurrently developed yet related models. Practical approaches to consistency checking, however, are scarce in MDE. Triple Graph Grammars (TGGs) are a rule-based technique to describe the consistency of two models together with correspondences. While TGGs seem promising for consistency checking with their precise consistency notion and explicit traceability information, the substantial search space involved in determining the “optimal” set of rule applications in a consistency check has arguably prevented mature tool support so far. In this paper, we close this gap by combining TGGs with linear optimization techniques. We formulate decisions between single rule applications of a consistency check as integer inequalities, which serve as input for an optimization problem used to detect maximum consistent portions of two models. To demonstrate our approach, we provide an experimental evaluation of the tool support made feasible by this formalization.
KeywordsConsistency check Traceability Linear optimization
This work has been funded by the German Federal Ministry of Education and Research within the Software Campus project GraTraM at TU Darmstadt, funding code 01IS12054.
- 3.Cheney, J., McKinna, J., Stevens, P., Gibbons, J.: Towards a repository of BX examples. In: Candan, K.S., Amer-Yahia, S., Schweikardt, N., Christophides, V., Leroy, V. (eds.) BX 2014. CEUR Workshop Proceedings, vol. 1133, pp. 87–91 (2014). CEUR-WS.org
- 4.Ehrig, H., Ehrig, K., Hermann, F.: From model transformation to model integration based on the algebraic approach to triple graph grammars. ECEASST 10, 1–15 (2008)Google Scholar
- 8.Ermel, C., Hermann, F., Gall, J., Binanzer, D.: Visual modeling and analysis of EMF model transformations based on triple graph grammars. ECEASST 54, 1–12 (2012)Google Scholar
- 9.Fadhel, A.B., Kessentini, M., Langer, P., Wimmer, M.: Search-based detection of high-level model changes. ICSM 2012, 212–221 (2012)Google Scholar
- 10.Fleck, M., Troya, J., Wimmer, M.: Marrying search-based optimization and model transformation technology. In: Proceedings of NasBASE (2015)Google Scholar
- 13.Gurobi: (2016). http://www.gurobi.com/
- 16.Ko, H., Zan, T., Hu, Z.: BiGUL: a formally verified core language for putback-based bidirectional programming. In: Erwig, M., Rompf, T. (eds.) PEPM 2016, pp. 61–72 (2016)Google Scholar
- 17.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 Workshop Proceedings, vol. 1571, pp. 35–39 (2016). CEUR-WS.org
- 20.Medini-QVT: (2016). http://projects.ikv.de/qvt
- 21.MoDisco: (2016). http://www.eclipse.org/MoDisco/
- 22.OMG: QVT Specification, V1.2 (2015). http://www.omg.org/spec/QVT/