Skip to main content

2013 | OriginalPaper | Buchkapitel

11. Meta-Program Development as a Model Transformation Process

verfasst von : Prof. Vytautas Štuikys, Robertas Damaševičius

Erschienen in: Meta-Programming and Model-Driven Meta-Program Development

Verlag: Springer London

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

search-config
loading …

Abstract

We formulate the development and use of the meta-program as the model and program transformation tasks. Such a vision is based on the previous discussions (see Chaps. 8, 9, 10). Meta-programs as the development artefact can be obtained, for example, through forward engineering, when meta-programs are developed in a top-down approach from high-level models such as feature models. Another way is to use a bottom-up approach and develop a meta-program from lower-level domain program instances. In this case, to develop a meta-program we need (1) a domain program model, (2) a set of domain program instances (in many cases, one instance is enough) and requirements/constraints for them and (3) a meta-program model. Furthermore, in this chapter, we introduce the concept of meta-meta-programming and consider the k-stage meta-program development as a transformation task. We detail the latter development process in the following sections.

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 "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!

Literatur
[Bre05].
Zurück zum Zitat Brezillon P (2005) Task–realization models in contextual graphs. Modeling and using context. In: Dey A, Kokinov B, Leake D, Turner R (eds) CONTEXT–05. LNCS, vol 3554. Springer, Heidelberg, pp 55–68 Brezillon P (2005) Task–realization models in contextual graphs. Modeling and using context. In: Dey A, Kokinov B, Leake D, Turner R (eds) CONTEXT–05. LNCS, vol 3554. Springer, Heidelberg, pp 55–68
[Bro83].
[CHE05].
Zurück zum Zitat Czarnecki K, Helsen S, Eisenecker U (2005) Staged configuration through specialization and multi-level configuration of feature models. Softw Process Improv Pract 10:143–169CrossRef Czarnecki K, Helsen S, Eisenecker U (2005) Staged configuration through specialization and multi-level configuration of feature models. Softw Process Improv Pract 10:143–169CrossRef
[CK05].
Zurück zum Zitat Carette J, Kiselyov O (2005) Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code. In: Glück R, Lowry MR (eds) Generative programming and component engineering, 4th international confernce, GPCE 2005, Tallinn, Estonia. Springer, Berlin, pp 256–274 Carette J, Kiselyov O (2005) Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code. In: Glück R, Lowry MR (eds) Generative programming and component engineering, 4th international confernce, GPCE 2005, Tallinn, Estonia. Springer, Berlin, pp 256–274
[CKK06].
Zurück zum Zitat Czarnecki K, Kim CHP, Kalleberg KT (2006) Feature models are views on ontologies. In: Proceedings of the 10th international software product line conference, 2006, pp 41–51 Czarnecki K, Kim CHP, Kalleberg KT (2006) Feature models are views on ontologies. In: Proceedings of the 10th international software product line conference, 2006, pp 41–51
[Die05].
Zurück zum Zitat Diestel R (2005) Graph theory, 3rd edn. Springer, New YorkMATH Diestel R (2005) Graph theory, 3rd edn. Springer, New YorkMATH
[GJ09].
Zurück zum Zitat Garg M, Jindal MK (2009) Reverse engineering – roadmap to effective software design. Int J Recent Trends Eng 1(2):186–188 Garg M, Jindal MK (2009) Reverse engineering – roadmap to effective software design. Int J Recent Trends Eng 1(2):186–188
[KCH+90].
Zurück zum Zitat Kang K, Cohen S, Hess J, Novak W, Peterson S (1990) Feature-oriented domain analysis (FODA) feasibility study. TR CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, November 1990 Kang K, Cohen S, Hess J, Novak W, Peterson S (1990) Feature-oriented domain analysis (FODA) feasibility study. TR CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, November 1990
[KKL+98].
Zurück zum Zitat Kang KC, Kim S, Lee J, Kim K, Kim GJ, Shin E (1998) FORM: a feature–oriented reuse method with domain–specific reference architectures. Ann Softw Eng 5:143–168CrossRef Kang KC, Kim S, Lee J, Kim K, Kim GJ, Shin E (1998) FORM: a feature–oriented reuse method with domain–specific reference architectures. Ann Softw Eng 5:143–168CrossRef
[LK10].
Zurück zum Zitat Lee K, Kang KC (2010) Usage context as Key driver for feature selection. In: Bosch J, Lee J (eds) SPLC. LNCS, vol 6287. Springer, Berlin, pp 32–46 Lee K, Kang KC (2010) Usage context as Key driver for feature selection. In: Bosch J, Lee J (eds) SPLC. LNCS, vol 6287. Springer, Berlin, pp 32–46
[Meg10].
Zurück zum Zitat Megacz A (2010) Multi-stage programs are generalized arrows. http://arxiv.org/pdf/1007.2885. Comput Res Repos, Article No. 1003.5954. Association for Computing Machinery, New York, NY; Cornell University, Ithaka, NY EN, arXiv:1003.5954 Megacz A (2010) Multi-stage programs are generalized arrows. http://​arxiv.​org/​pdf/​1007.​2885. Comput Res Repos, Article No. 1003.5954. Association for Computing Machinery, New York, NY; Cornell University, Ithaka, NY EN, arXiv:1003.5954
[RB00].
Zurück zum Zitat Rajlich VT, Bennett KH (2000) The staged model of the software lifecycle. IEEE Comput 33(7):66–71CrossRef Rajlich VT, Bennett KH (2000) The staged model of the software lifecycle. IEEE Comput 33(7):66–71CrossRef
[ŠMD09].
Zurück zum Zitat Štuikys V, Montvilas M, Damaševičius R (2009) Development of WEB component generators using one-stage metaprogramming. Inf Technol Control 38(2):108–118 Štuikys V, Montvilas M, Damaševičius R (2009) Development of WEB component generators using one-stage metaprogramming. Inf Technol Control 38(2):108–118
[Tah99].
Zurück zum Zitat Taha W (1999) A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivial. ACM SIGPLAN Notices 34(11):34–43CrossRef Taha W (1999) A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivial. ACM SIGPLAN Notices 34(11):34–43CrossRef
[UNH10].
Zurück zum Zitat Ubayashi N, Nakajima S, Hirayama M (2010) Context-dependent product line practice for constructing reliable embedded systems. In: Bosch J, Lee J (eds) Proceedings of SPLC. LNCS, vol 6287. Springer, Berlin, pp 1–12 Ubayashi N, Nakajima S, Hirayama M (2010) Context-dependent product line practice for constructing reliable embedded systems. In: Bosch J, Lee J (eds) Proceedings of SPLC. LNCS, vol 6287. Springer, Berlin, pp 1–12
[WRI+10].
Zurück zum Zitat Westbrook E, Ricken M, Inoue J, Yao Y, Abdelatif T, Taha W (2010) Multi-stage programming for mainstream languages. In: PLDI’2010, 5–10 June 2010, Toronto Westbrook E, Ricken M, Inoue J, Yao Y, Abdelatif T, Taha W (2010) Multi-stage programming for mainstream languages. In: PLDI’2010, 5–10 June 2010, Toronto
Metadaten
Titel
Meta-Program Development as a Model Transformation Process
verfasst von
Prof. Vytautas Štuikys
Robertas Damaševičius
Copyright-Jahr
2013
Verlag
Springer London
DOI
https://doi.org/10.1007/978-1-4471-4126-6_11