Skip to main content
Erschienen in: Software and Systems Modeling 2/2015

01.05.2015 | Special Section Paper

Enhancing classic transformation languages to support multi-level modeling

verfasst von: Colin Atkinson, Ralph Gerbig, Christian Vjekoslav Tunjic

Erschienen in: Software and Systems Modeling | Ausgabe 2/2015

Einloggen

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

search-config
loading …

Abstract

As practical tools for disciplined multi-level modeling have begun to mature, the problem of supporting simple and efficient transformations to-and-from multi-level models to facilitate interoperability has assumed growing importance. The challenge is not only to support efficient transformations between multi-level models, but also between multi-level and two-level model content represented in traditional modeling infrastructures such as the UML and programming languages. Multi-level model content can already be accessed by traditional transformation languages such as ATL and QVT, but in a way that is blind to the ontological classification information they contain. In this paper, we present an approach for making rule-based transformation languages “multi-level aware” so that the semantics of ontological classification as well as linguistic classification can be exploited when writing transformations.

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!

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!

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!

Fußnoten
1
In this paper we use the term “ontology” to refer the collection of all the (domain) model elements across all the ontological levels within the \(L_1\) linguistic level.
 
Literatur
1.
Zurück zum Zitat Asikainen, T., Männistö, T.: Nivel: a metamodelling language with a formal semantics. Softw. Syst. Model. 8(4), 521–549 (2009) Asikainen, T., Männistö, T.: Nivel: a metamodelling language with a formal semantics. Softw. Syst. Model. 8(4), 521–549 (2009)
2.
Zurück zum Zitat Atkinson, C., Kühne, T.: Rearchitecting the UML infrastructure. ACM Trans. Model. Comput. Simul. 12(4), 290–321 (2002) Atkinson, C., Kühne, T.: Rearchitecting the UML infrastructure. ACM Trans. Model. Comput. Simul. 12(4), 290–321 (2002)
3.
Zurück zum Zitat Atkinson, C., Kühne, T.: Reducing accidental complexity in domain models. Softw. Syst. Model. 7(3), 345–359 (2008) Atkinson, C., Kühne, T.: Reducing accidental complexity in domain models. Softw. Syst. Model. 7(3), 345–359 (2008)
4.
Zurück zum Zitat Atkinson, C., Muthig, D.: Component-based product-line engineering with the UML. In: Software Reuse: Methods, Techniques, and Tools. Lecture Notes in Computer Science. Springer (2002) Atkinson, C., Muthig, D.: Component-based product-line engineering with the UML. In: Software Reuse: Methods, Techniques, and Tools. Lecture Notes in Computer Science. Springer (2002)
5.
Zurück zum Zitat Atkinson, C., Stoll, D.: Orthographic modeling environment. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science. Springer (2008) Atkinson, C., Stoll, D.: Orthographic modeling environment. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science. Springer (2008)
6.
Zurück zum Zitat Atkinson, C., Gutheil, M., Kennel, B.: A flexible infrastructure for multilevel language engineering. IEEE Trans. Softw. Eng. 35(6), 742–755 (2009)CrossRef Atkinson, C., Gutheil, M., Kennel, B.: A flexible infrastructure for multilevel language engineering. IEEE Trans. Softw. Eng. 35(6), 742–755 (2009)CrossRef
7.
Zurück zum Zitat Atkinson, C., Gerbig, R., Tunjic, C.: Towards multi-level aware model transformations. In: Hu, Z., de Lara, J. (eds.) Theory and Practice of Model Transformations, Lecture Notes in Computer Science, vol. 7307, pp. 208–223. Springer, Berlin (2012)CrossRef Atkinson, C., Gerbig, R., Tunjic, C.: Towards multi-level aware model transformations. In: Hu, Z., de Lara, J. (eds.) Theory and Practice of Model Transformations, Lecture Notes in Computer Science, vol. 7307, pp. 208–223. Springer, Berlin (2012)CrossRef
8.
Zurück zum Zitat de Lara, J., Guerra, E.: Deep meta-modelling with metadepth. In: Proceedings of the 48th International Conference on Objects, Models, Components, Patterns. pp. 1–20. TOOLS’10, Springer, Berlin (2010) de Lara, J., Guerra, E.: Deep meta-modelling with metadepth. In: Proceedings of the 48th International Conference on Objects, Models, Components, Patterns. pp. 1–20. TOOLS’10, Springer, Berlin (2010)
9.
Zurück zum Zitat Demuth, A., Lopez-Herrejon, R.E., Egyed, A.: Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering. pp. 452–455. ESEC/FSE ’11, ACM, New York (2011) Demuth, A., Lopez-Herrejon, R.E., Egyed, A.: Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering. pp. 452–455. ESEC/FSE ’11, ACM, New York (2011)
12.
Zurück zum Zitat Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-based metamodelling framework. Softw. Syst. Model. 5, 72–90 (2006)CrossRef Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-based metamodelling framework. Softw. Syst. Model. 5, 72–90 (2006)CrossRef
13.
Zurück zum Zitat Gronback, R.C.: Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit, 1st edn. Addison-Wesley Professional (2009) Gronback, R.C.: Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit, 1st edn. Addison-Wesley Professional (2009)
14.
Zurück zum Zitat Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: Atl: a model transformation tool. Sci. Comput. Program. 72(1–2), 31–39 (2008)CrossRefMATH Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: Atl: a model transformation tool. Sci. Comput. Program. 72(1–2), 31–39 (2008)CrossRefMATH
15.
Zurück zum Zitat Jouault, F., Tisi, M.: Towards incremental execution of atl transformations. In: Tratt, L., Gogolla, M. (eds.) Theory and Practice of Model Transformations, Lecture Notes in Computer Science, vol. 6142, pp. 123–137. Springer, Berlin (2010) Jouault, F., Tisi, M.: Towards incremental execution of atl transformations. In: Tratt, L., Gogolla, M. (eds.) Theory and Practice of Model Transformations, Lecture Notes in Computer Science, vol. 6142, pp. 123–137. Springer, Berlin (2010)
16.
Zurück zum Zitat Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Eclipse development tools for epsilon. In: In Eclipse Summit Europe, Eclipse Modeling Symposium (2006) Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Eclipse development tools for epsilon. In: In Eclipse Summit Europe, Eclipse Modeling Symposium (2006)
17.
Zurück zum Zitat Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon object language (eol). In: Proceedings of the Second European Conference on Model Driven Architecture: Foundations and Applications. pp. 128–142. ECMDA-FA’06, Springer, Berlin (2006) Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon object language (eol). In: Proceedings of the Second European Conference on Model Driven Architecture: Foundations and Applications. pp. 128–142. ECMDA-FA’06, Springer, Berlin (2006)
18.
Zurück zum Zitat Kolovos, D., Paige, R., Polack, F.: The epsilon transformation language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) Theory and Practice of Model Transformations, Lecture Notes in Computer Science, vol. 5063, pp. 46–60. Springer, Berlin (2008)CrossRef Kolovos, D., Paige, R., Polack, F.: The epsilon transformation language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) Theory and Practice of Model Transformations, Lecture Notes in Computer Science, vol. 5063, pp. 46–60. Springer, Berlin (2008)CrossRef
19.
Zurück zum Zitat Kurtev, Bézivin, J., Aksit, M.: Technological spaces: an initial appraisal. In: CoopIS, DOA’2002 Federated Conferences, Industrial Track. Irvine (2002) Kurtev, Bézivin, J., Aksit, M.: Technological spaces: an initial appraisal. In: CoopIS, DOA’2002 Federated Conferences, Industrial Track. Irvine (2002)
20.
Zurück zum Zitat de Lara, J., Guerra, E.: Domain-specific textual meta-modelling languages for model driven engineering. In: Vallecillo, A., Tolvanen, J.P., Kindler, E., Strrle, H., Kolovos, D. (eds.) Modelling Foundations and Applications, Lecture Notes in Computer Science, vol. 7349, pp. 259–274. Springer, Berlin (2012)CrossRef de Lara, J., Guerra, E.: Domain-specific textual meta-modelling languages for model driven engineering. In: Vallecillo, A., Tolvanen, J.P., Kindler, E., Strrle, H., Kolovos, D. (eds.) Modelling Foundations and Applications, Lecture Notes in Computer Science, vol. 7349, pp. 259–274. Springer, Berlin (2012)CrossRef
22.
Zurück zum Zitat Sendall, S., Kozaczynski, W.: Model transformation: the heart and soul of model-driven software development. IEEE Softw. 20(5), 42–45 (2003) Sendall, S., Kozaczynski, W.: Model transformation: the heart and soul of model-driven software development. IEEE Softw. 20(5), 42–45 (2003)
23.
Zurück zum Zitat Simons, P., Niemelá, I., Soininen, T.: Extending and implementing the stable model semantics. Artif. Intell. 138(1–2), 181–234 (2002)CrossRefMATH Simons, P., Niemelá, I., Soininen, T.: Extending and implementing the stable model semantics. Artif. Intell. 138(1–2), 181–234 (2002)CrossRefMATH
24.
Zurück zum Zitat Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley Professional (2009) Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley Professional (2009)
27.
Zurück zum Zitat Volz, B., Jablonski, S.: Towards an open meta modeling environment. In: Proceedings of the 10th Workshop on Domain-Specific Modeling. pp. 17:1–17:6. DSM ’10, ACM, New York (2010) Volz, B., Jablonski, S.: Towards an open meta modeling environment. In: Proceedings of the 10th Workshop on Domain-Specific Modeling. pp. 17:1–17:6. DSM ’10, ACM, New York (2010)
28.
Zurück zum Zitat Volz, B., Zeising, S., Jablonski, S.: The open meta modeling environment. In: ICSE 2011 Workshop on Flexible Modeling Tools (FlexiTools 2011) (2011) Volz, B., Zeising, S., Jablonski, S.: The open meta modeling environment. In: ICSE 2011 Workshop on Flexible Modeling Tools (FlexiTools 2011) (2011)
Metadaten
Titel
Enhancing classic transformation languages to support multi-level modeling
verfasst von
Colin Atkinson
Ralph Gerbig
Christian Vjekoslav Tunjic
Publikationsdatum
01.05.2015
Verlag
Springer Berlin Heidelberg
Erschienen in
Software and Systems Modeling / Ausgabe 2/2015
Print ISSN: 1619-1366
Elektronische ISSN: 1619-1374
DOI
https://doi.org/10.1007/s10270-013-0384-y

Weitere Artikel der Ausgabe 2/2015

Software and Systems Modeling 2/2015 Zur Ausgabe

Special Section Paper

Petri and how he saw the world

Special Section Paper

The concepts of Petri nets