Skip to main content
Top

2016 | OriginalPaper | Chapter

A Tool Environment for Managing Families of Model Transformation Rules

Authors : Daniel Strüber, Stefan Schulz

Published in: Graph Transformation

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Model transformation systems often contain families of rules that are substantially similar to each other. Variability-based rules are a recent approach to express such families of rules in a compact representation, enabling the convenient editing of multiple rule variants at once. On the downside, this approach gives rises to distinct maintenance drawbacks: Users are required to view and edit presence conditions. The complexity and size of the resulting rules may impair their readability.
In this paper, we propose to facilitate the editing of variability-based rules through suitable tool support. Inspired by the paradigms of filtered editing and virtual seperation of concerns, we present a tool environment that offers editable views for variants expressed in a variability-based rule. We demonstrate that our tool environment is helpful to address the identified issues, rendering variability-based rules a highly feasible reuse approach.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

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!

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!

Literature
1.
go back to reference Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)MATH Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)MATH
2.
go back to reference Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., Schwinger, W., Kolovos, D.S., Paige, R.F., Lauder, M., Schürr, A., Wagelaar, D.: Surveying rule inheritance in model-to-model transformation languages. J. Object Technol. 11(2), 3:1–3:46 (2012) Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., Schwinger, W., Kolovos, D.S., Paige, R.F., Lauder, M., Schürr, A., Wagelaar, D.: Surveying rule inheritance in model-to-model transformation languages. J. Object Technol. 11(2), 3:1–3:46 (2012)
3.
go back to reference Anjorin, A., Saller, K., Lochau, M., Schürr, A.: Modularizing triple graph grammars using rule refinement. In: Gnesi, S., Rensink, A. (eds.) FASE 2014 (ETAPS). LNCS, vol. 8411, pp. 340–354. Springer, Heidelberg (2014)CrossRef Anjorin, A., Saller, K., Lochau, M., Schürr, A.: Modularizing triple graph grammars using rule refinement. In: Gnesi, S., Rensink, A. (eds.) FASE 2014 (ETAPS). LNCS, vol. 8411, pp. 340–354. Springer, Heidelberg (2014)CrossRef
4.
go back to reference Kästner, C., Apel, S., Kuhlemann, M.: Granularity in software product lines. In: Proceedings of the International Conference on Software Engineering (ICSE). ACM, pp. 311–320 (2008) Kästner, C., Apel, S., Kuhlemann, M.: Granularity in software product lines. In: Proceedings of the International Conference on Software Engineering (ICSE). ACM, pp. 311–320 (2008)
5.
go back to reference Störrle, H.: On the impact of layout quality to understanding UML diagrams: size matters. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 518–534. Springer, Heidelberg (2014) Störrle, H.: On the impact of layout quality to understanding UML diagrams: size matters. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 518–534. Springer, Heidelberg (2014)
6.
go back to reference Sarnak, N., Bernstein, R.L., Kruskal, V.: Creation and maintenance of multiple versions. In: SCM. Berichte des German Chapter of the ACM, vol. 30, pp. 264–275. Teubner (1988) Sarnak, N., Bernstein, R.L., Kruskal, V.: Creation and maintenance of multiple versions. In: SCM. Berichte des German Chapter of the ACM, vol. 30, pp. 264–275. Teubner (1988)
7.
go back to reference Kästner, C.: Virtual separation of concerns, Ph.D. dissertation, University of Magdeburg (2010) Kästner, C.: Virtual separation of concerns, Ph.D. dissertation, University of Magdeburg (2010)
8.
go back to reference Strüber, D., Rubin, J., Chechik, M., Taentzer, G.: A variability-based approach to reusable and efficient model transformations. In: Egyed, A., Schaefer, I. (eds.) FASE 2015. LNCS, vol. 9033, pp. 283–298. Springer, Heidelberg (2015) Strüber, D., Rubin, J., Chechik, M., Taentzer, G.: A variability-based approach to reusable and efficient model transformations. In: Egyed, A., Schaefer, I. (eds.) FASE 2015. LNCS, vol. 9033, pp. 283–298. Springer, Heidelberg (2015)
9.
go back to reference Strüber, D., Rubin, J., Arendt, T., Chechik, M., Taentzer, G., Plöger, J.: RuleMerger: automatic construction of variability-based model transformation rules. In: Stevens, P., Wąsowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 122–140. Springer, Heidelberg (2016). doi:10.1007/978-3-662-49665-7_8 CrossRef Strüber, D., Rubin, J., Arendt, T., Chechik, M., Taentzer, G., Plöger, J.: RuleMerger: automatic construction of variability-based model transformation rules. In: Stevens, P., Wąsowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 122–140. Springer, Heidelberg (2016). doi:10.​1007/​978-3-662-49665-7_​8 CrossRef
10.
go back to reference Strüber, D.: Model-driven engineering in the large: Refactoring techniques for models and model transformation systems, Ph.D. dissertation, Philipps-Universität Marburg (2016) Strüber, D.: Model-driven engineering in the large: Refactoring techniques for models and model transformation systems, Ph.D. dissertation, Philipps-Universität Marburg (2016)
11.
go back to reference Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: Rouquette, N., Haugen, Ø., Petriu, D.C. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 121–135. Springer, Heidelberg (2010)CrossRef Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: Rouquette, N., Haugen, Ø., Petriu, D.C. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 121–135. Springer, Heidelberg (2010)CrossRef
12.
go back to reference Green, T.R.G., Petre, M.: Usability analysis of visual programming environments: a ’cognitive dimensions’ framework. J. Vis. Lang. Comput. 7(2), 131–174 (1996)CrossRef Green, T.R.G., Petre, M.: Usability analysis of visual programming environments: a ’cognitive dimensions’ framework. J. Vis. Lang. Comput. 7(2), 131–174 (1996)CrossRef
13.
go back to reference Deissenboeck, F., Hummel, B., Juergens, E., Pfaehler, M., Schaetz, B.: Model clone detection in practice. In: International Workshop on Software Clones, pp. 57–64. ACM (2010) Deissenboeck, F., Hummel, B., Juergens, E., Pfaehler, M., Schaetz, B.: Model clone detection in practice. In: International Workshop on Software Clones, pp. 57–64. ACM (2010)
14.
go back to reference Strüber, D., Plöger, J., Acreţoaie, V.: Clone detection for graph-based model transformation languages. In: International Conference on Model Transformation (ICMT). Springer, 2016 Strüber, D., Plöger, J., Acreţoaie, V.: Clone detection for graph-based model transformation languages. In: International Conference on Model Transformation (ICMT). Springer, 2016
15.
go back to reference Hermann, F., Gottmann, S., Nachtigall, N., Braatz, B., Morelli, G., Pierre, A., Engel, T.: On an automated translation of satellite procedures using triple graph grammars. In: Duddy, K., Kappel, G. (eds.) ICMB 2013. LNCS, vol. 7909, pp. 50–51. Springer, Heidelberg (2013)CrossRef Hermann, F., Gottmann, S., Nachtigall, N., Braatz, B., Morelli, G., Pierre, A., Engel, T.: On an automated translation of satellite procedures using triple graph grammars. In: Duddy, K., Kappel, G. (eds.) ICMB 2013. LNCS, vol. 7909, pp. 50–51. Springer, Heidelberg (2013)CrossRef
16.
go back to reference Famelis, M.: Managing design-time uncertainty in software models, Ph.D. dissertation, University of Toronto (2016) Famelis, M.: Managing design-time uncertainty in software models, Ph.D. dissertation, University of Toronto (2016)
17.
go back to reference Kusel, A., Schönböck, J., Wimmer, M., Kappel, G., Retschitzegger, W., Schwinger, W.: Reuse in model-to-model transformation languages: are we there yet? J. Softw. Syst. Model. 14, 1–36 (2013) Kusel, A., Schönböck, J., Wimmer, M., Kappel, G., Retschitzegger, W., Schwinger, W.: Reuse in model-to-model transformation languages: are we there yet? J. Softw. Syst. Model. 14, 1–36 (2013)
18.
go back to reference Kulcsár, G., Leblebici, E., Anjorin, A.: A solution to the FIXML case study using triple graph grammars and eMoflon. In: TTC@STAF, pp. 71–75 (2014) Kulcsár, G., Leblebici, E., Anjorin, A.: A solution to the FIXML case study using triple graph grammars and eMoflon. In: TTC@STAF, pp. 71–75 (2014)
19.
go back to reference Machado, R., Foss, L., Ribeiro, L.: Aspects for graph grammars. Electron. Commun. EASST 18 (2009) Machado, R., Foss, L., Ribeiro, L.: Aspects for graph grammars. Electron. Commun. EASST 18 (2009)
20.
go back to reference Sijtema, M.: Introducing variability rules in ATL for managing variability in MDE-based product lines. MtATL 10, 39–49 (2010) Sijtema, M.: Introducing variability rules in ATL for managing variability in MDE-based product lines. MtATL 10, 39–49 (2010)
21.
go back to reference Strüber, D., Selter, M., Taentzer, G.: Tool support for clustering large meta-models. In: BigMDE Workshop on the Scalability of Model-Driven Engineering. ACM Digital Library, pp. 7.1–7.4 (2013) Strüber, D., Selter, M., Taentzer, G.: Tool support for clustering large meta-models. In: BigMDE Workshop on the Scalability of Model-Driven Engineering. ACM Digital Library, pp. 7.1–7.4 (2013)
22.
go back to reference Strüber, D., Lukaszczyk, M., Taentzer, G.: Tool support for model splitting using information retrieval and model crawling techniques. In: BigMDE: Workshop on Scalability in Model Driven Engineering, pp. 44–47. CEUR-WS.org (2014) Strüber, D., Lukaszczyk, M., Taentzer, G.: Tool support for model splitting using information retrieval and model crawling techniques. In: BigMDE: Workshop on Scalability in Model Driven Engineering, pp. 44–47. CEUR-WS.org (2014)
23.
go back to reference de Lara, J., Ermel, C., Taentzer, G., Ehrig, K.: Parallel graph transformation for model simulation applied to timed transition petri nets. Electron. Notes Theor. Comput. Sci. 109, 17–29 (2004)CrossRefMATH de Lara, J., Ermel, C., Taentzer, G., Ehrig, K.: Parallel graph transformation for model simulation applied to timed transition petri nets. Electron. Notes Theor. Comput. Sci. 109, 17–29 (2004)CrossRefMATH
24.
go back to reference Leblebici, E., Anjorin, A., Schürr, A., Taentzer, G.: Multi-amalgamated triple graph grammars. In: Parisi-Presicce, F., Westfechtel, B. (eds.) ICGT 2015. LNCS, vol. 9151, pp. 87–103. Springer, Heidelberg (2015)CrossRef Leblebici, E., Anjorin, A., Schürr, A., Taentzer, G.: Multi-amalgamated triple graph grammars. In: Parisi-Presicce, F., Westfechtel, B. (eds.) ICGT 2015. LNCS, vol. 9151, pp. 87–103. Springer, Heidelberg (2015)CrossRef
25.
go back to reference Basso, F.P., Pillat, R.M., Oliveira, T.C., Becker, L.B.: Supporting large scale model transformation reuse. In: ACM SIGPLAN Notices, vol. 49(3), pp. 169–178. ACM (2013) Basso, F.P., Pillat, R.M., Oliveira, T.C., Becker, L.B.: Supporting large scale model transformation reuse. In: ACM SIGPLAN Notices, vol. 49(3), pp. 169–178. ACM (2013)
26.
go back to reference Sánchez Cuadrado, J., Guerra, E., de Lara, J.: A component model for model transformations. IEEE Trans. Softw. Eng. 40(11), 1042–1060 (2014)CrossRef Sánchez Cuadrado, J., Guerra, E., de Lara, J.: A component model for model transformations. IEEE Trans. Softw. Eng. 40(11), 1042–1060 (2014)CrossRef
27.
go back to reference Cuadrado, J.S., Guerra, E., de Lara, J.: Reusable model transformation components with bentō. In: Kolovos, D., Wimmer, M. (eds.) ICMT 2015. LNCS, vol. 9152, pp. 59–65. Springer, Heidelberg (2015)CrossRef Cuadrado, J.S., Guerra, E., de Lara, J.: Reusable model transformation components with bentō. In: Kolovos, D., Wimmer, M. (eds.) ICMT 2015. LNCS, vol. 9152, pp. 59–65. Springer, Heidelberg (2015)CrossRef
28.
go back to reference de Lara, J., Guerra, E.: Towards the flexible reuse of model transformations: a formal approach based on graph transformation. J. Logical Algebraic Methods Program. 83(5), 427–458 (2014)CrossRefMATH de Lara, J., Guerra, E.: Towards the flexible reuse of model transformations: a formal approach based on graph transformation. J. Logical Algebraic Methods Program. 83(5), 427–458 (2014)CrossRefMATH
29.
go back to reference Criado, J., Martínez, S., Iribarne, L., Cabot, J.: Enabling the reuse of stored model transformations through annotations. In: Kolovos, D., Wimmer, M. (eds.) ICMT 2015. LNCS, vol. 9152, pp. 43–58. Springer, Heidelberg (2015)CrossRef Criado, J., Martínez, S., Iribarne, L., Cabot, J.: Enabling the reuse of stored model transformations through annotations. In: Kolovos, D., Wimmer, M. (eds.) ICMT 2015. LNCS, vol. 9152, pp. 43–58. Springer, Heidelberg (2015)CrossRef
30.
go back to reference Prehofer, C.: Feature-oriented programming: a fresh look at objects. In: Akşit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 419–433. Springer, Heidelberg (1997)CrossRef Prehofer, C.: Feature-oriented programming: a fresh look at objects. In: Akşit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 419–433. Springer, Heidelberg (1997)CrossRef
31.
go back to reference Batory, D.: Feature-oriented programming and the AHEAD tool suite. In: International Conference on Software Engineering (ICSE), pp. 702–703. IEEE Computer Society (2004) Batory, D.: Feature-oriented programming and the AHEAD tool suite. In: International Conference on Software Engineering (ICSE), pp. 702–703. IEEE Computer Society (2004)
32.
go back to reference Walkingshaw, E., Ostermann, K.: Projectional editing of variational software. In: Generative Programming: Concepts and Experiences, pp. 29–38. ACM (2014) Walkingshaw, E., Ostermann, K.: Projectional editing of variational software. In: Generative Programming: Concepts and Experiences, pp. 29–38. ACM (2014)
33.
go back to reference Schwägerl, F., Buchmann, T., Westfechtel, B.: SuperMod: a model-driven tool that combines version control and software product line engineering. In: International Conference on Software Paradigm Trends. SCITEPRESS, pp. 5–18 (2015) Schwägerl, F., Buchmann, T., Westfechtel, B.: SuperMod: a model-driven tool that combines version control and software product line engineering. In: International Conference on Software Paradigm Trends. SCITEPRESS, pp. 5–18 (2015)
34.
go back to reference Thüm, T., Kästner, C., Benduhn, F., Meinicke, J., Saake, G., Leich, T.: FeatureIDE: an extensible framework for feature-oriented software development. Sci. Comput. Program. 79, 70–85 (2014)CrossRef Thüm, T., Kästner, C., Benduhn, F., Meinicke, J., Saake, G., Leich, T.: FeatureIDE: an extensible framework for feature-oriented software development. Sci. Comput. Program. 79, 70–85 (2014)CrossRef
35.
go back to reference Acretoaie, V., Störrle, H., Strüber, D.: Transparent model transformation: turning your favourite model editor into a transformation tool. In: Kolovos, D., Wimmer, M. (eds.) ICMT 2015. LNCS, vol. 9152, pp. 121–130. Springer, Heidelberg (2015)CrossRef Acretoaie, V., Störrle, H., Strüber, D.: Transparent model transformation: turning your favourite model editor into a transformation tool. In: Kolovos, D., Wimmer, M. (eds.) ICMT 2015. LNCS, vol. 9152, pp. 121–130. Springer, Heidelberg (2015)CrossRef
36.
go back to reference Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis (FODA) feasibility study. Technical report, DTIC Document (1990) Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis (FODA) feasibility study. Technical report, DTIC Document (1990)
Metadata
Title
A Tool Environment for Managing Families of Model Transformation Rules
Authors
Daniel Strüber
Stefan Schulz
Copyright Year
2016
DOI
https://doi.org/10.1007/978-3-319-40530-8_6

Premium Partner