nach oben

Erschienen in:

2019 | OriginalPaper | Buchkapitel

A Practical Approach for Constraint Solving in Model Transformations

verfasst von : Youness Laghouaouta, Pierre Laforcade

Erschienen in: Software Technologies

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

In model transformation scenarios, expressing a Constraint Satisfaction Problem (CSP) is a complex and error prone activity. Indeed, transformation techniques do not provide fully integrated supports for solving constraints, and external solvers are not well adapted. This chapter presents a practical approach for constraint solving in model transformations. The base principle is to consider a pattern matching problem as a high level specification of a CSP. Besides, a transformation infrastructure that underpins the conceptual proposal can be generated in a semi-automatic manner. This infrastructure provides support for pattern specification, match model search, and transformation into valid target models. An application case extracted from the Escape It! serious game has been selected to illustrate our contribution.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel On the Impact of Order Information in API Usage Patterns

Nächstes Kapitel An Integrated Requirements Engineering Framework for Agile Software Product Lines

Bettini, L.: Implementing domain-specific languages with Xtext and Xtend. Packt Publishing Ltd., Birmingham (2016)

Cabot, J., Claris, R., Riera, D., et al.: Verification of UML/OCL class diagrams using constraint programming. In: First International Conference on Software Testing Verification and Validation, ICST 2008, pp. 73–80. IEEE (2008)

Degueule, T., Combemale, B., Blouin, A., Barais, O., Jézéquel, J.M.: Melange: a meta-language for modular and reusable development of dsls. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, pp. 25–36. ACM (2015)

Ehrig, H., Ehrig, K., Habel, A., Pennemann, K.-H.: Constraints and application conditions: from graphs to high-level structures. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 287–303. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-30203-2_21CrossRef

Ferdjoukh, A., Baert, A.E., Chateau, A., Coletta, R., Nebut, C.: A CSP approach for metamodel instantiation. In: 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, pp. 1044–1051. IEEE (2013)

Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.-M. (ed.) MODELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006). https://doi.org/10.1007/11663430_14CrossRef

Kleiner, M., Del Fabro, M.D., Albert, P.: Model search: formalizing and automating constraint solving in MDE platforms. In: Kühne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol. 6138, pp. 173–188. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-13595-8_15CrossRef

Kolovos, D., Rose, L., Garcia-Dominguez, A., Paige, R.: The epsilon book (2017)

Kolovos, D.S., Paige, R.F.: The epsilon pattern language. In: 9th IEEE/ACM International Workshop on Modelling in Software Engineering, MiSE@ICSE 2017, pp. 54–60. IEEE (2017)

10.

Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon object language (EOL). In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 128–142. Springer, Heidelberg (2006). https://doi.org/10.1007/11787044_11CrossRef

11.

Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon transformation language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46–60. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-69927-9_4CrossRef

12.

Laforcade, P., Laghouaouta, Y.: Supporting the Adaptive Generation of Learning Game Scenarios with a Model-Driven Engineering Framework. In: Pammer-Schindler, V., Pérez-Sanagustín, M., Drachsler, H., Elferink, R., Scheffel, M. (eds.) EC-TEL 2018. LNCS, vol. 11082, pp. 151–165. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-98572-5_12CrossRef

13.

Laghouaouta, Y., Laforcade, P., Loiseau, E.: A pattern-matching based approach for problem solving in model transformations. In: Proceedings of the 13th International Conference on Software Technologies, ICSOFT 2018, Portugal, pp. 113–123. SciTePress, Setúbal (2018). https://doi.org/10.5220/0006847901130123

14.

Larrosa, J., Valiente, G.: Constraint satisfaction algorithms for graph pattern matching. Math. Struct. Comput. Sci. 12(4), 403–422 (2002)MathSciNetCrossRef

15.

Mens, T., Gorp, P.V.: A taxonomy of model transformation. Electron. Notes Theor. Comput. Sci. 152, 125–142 (2006)CrossRef

16.

OMG: Meta object facility (mof) 2.0 query/view/transformation specification (2008)

17.

OMG: Object constraint language 2.4 specification (2014)

18.

Petter, A., Behring, A., Mühlhäuser, M.: Solving constraints in model transformations. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 132–147. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02408-5_10CrossRef

19.

Rudolf, M.: Utilizing constraint satisfaction techniques for efficient graph pattern matching. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol. 1764, pp. 238–251. Springer, Heidelberg (2000). https://doi.org/10.1007/978-3-540-46464-8_17CrossRef

20.

Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0, 2nd edn. Addison-Wesley Professional, Boston (2009)

21.

Taentzer, G., Ermel, C., Rudolf, M.: The AGG approach: language and tool environment. In: Handbook of graph grammars and computing by graph transformation, vol. 2, 551–603 (1999)

Titel: A Practical Approach for Constraint Solving in Model Transformations
verfasst von: Youness Laghouaouta
Pierre Laforcade
Verlag: Springer International Publishing
Buch: Software Technologies
Print ISBN: 978-3-030-29156-3

Electronic ISBN: 978-3-030-29157-0

Copyright-Jahr: 2019
DOI: https://doi.org/10.1007/978-3-030-29157-0_5

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner