Skip to main content

2016 | OriginalPaper | Buchkapitel

Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application

verfasst von : Thomas Kühne, Heiko Hamann, Svetlana Arifulina, Gregor Engels

Erschienen in: Genetic Programming

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

We apply methods of genetic programming to a general problem from software engineering, namely example-based generation of specifications. In particular, we focus on model transformation by example. The definition and implementation of model transformations is a task frequently carried out by domain experts, hence, a (semi-)automatic approach is desirable. This application is challenging because the underlying search space has rich semantics, is high-dimensional, and unstructured. Hence, a computationally brute-force approach would be unscalable and potentially infeasible. To address that problem, we develop a sophisticated approach of designing complex mutation operators. We define ‘patterns’ for constructing mutation operators and report a successful case study. Furthermore, the code of the evolved model transformation is required to have high maintainability and extensibility, that is, the code should be easily readable by domain experts. We report an evaluation of this approach in a software engineering case study.

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!

Fußnoten
3
Eclipse Foundation – ETL http://​www.​eclipse.​org/​epsilon, 2015/09/09.
 
4
Eclipse Foundation – EMF http://​www.​eclipse.​org/​emf/​, 2015/09/09.
 
Literatur
1.
Zurück zum Zitat Astor, J.C., Adami, C.: A developmental model for the evolution of artificial neural networks. Artif. Life 6(3), 189–218 (2000)CrossRef Astor, J.C., Adami, C.: A developmental model for the evolution of artificial neural networks. Artif. Life 6(3), 189–218 (2000)CrossRef
2.
Zurück zum Zitat Baki, I., Sahraoui, H., Cobbaert, Q., Masson, P., Faunes, M.: Learning implicit and explicit control in model transformations by example. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 636–652. Springer, Heidelberg (2014) Baki, I., Sahraoui, H., Cobbaert, Q., Masson, P., Faunes, M.: Learning implicit and explicit control in model transformations by example. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 636–652. Springer, Heidelberg (2014)
3.
Zurück zum Zitat Banzhaf, W.: Artificial regulatory networks and genetic programming. In: Riolo, R., Worzel, B. (eds.) Genetic Programming Theory and Practice, pp. 43–62. Kluwer, Dordrecht (2003)CrossRef Banzhaf, W.: Artificial regulatory networks and genetic programming. In: Riolo, R., Worzel, B. (eds.) Genetic Programming Theory and Practice, pp. 43–62. Kluwer, Dordrecht (2003)CrossRef
4.
Zurück zum Zitat Bongard, J.: Evolving modular genetic regulatory networks. In: Proceedings of the World on Congress on Computational Intelligence, pp. 1872–1877. IEEE (2002) Bongard, J.: Evolving modular genetic regulatory networks. In: Proceedings of the World on Congress on Computational Intelligence, pp. 1872–1877. IEEE (2002)
5.
Zurück zum Zitat Clune, J., Ofria, C., Pennock, R.T.: How a generative encoding fares as problem-regularity decreases. In: Rudolph, G., Jansen, T., Lucas, S., Poloni, C., Beume, N. (eds.) PPSN 2008. LNCS, vol. 5199, pp. 358–367. Springer, Heidelberg (2008)CrossRef Clune, J., Ofria, C., Pennock, R.T.: How a generative encoding fares as problem-regularity decreases. In: Rudolph, G., Jansen, T., Lucas, S., Poloni, C., Beume, N. (eds.) PPSN 2008. LNCS, vol. 5199, pp. 358–367. Springer, Heidelberg (2008)CrossRef
6.
Zurück zum Zitat Faunes, M., Sahraoui, H., Boukadoum, M.: Genetic-programming approach to learn model transformation rules from examples. In: Duddy, K., Kappel, G. (eds.) ICMB 2013. LNCS, vol. 7909, pp. 17–32. Springer, Heidelberg (2013)CrossRef Faunes, M., Sahraoui, H., Boukadoum, M.: Genetic-programming approach to learn model transformation rules from examples. In: Duddy, K., Kappel, G. (eds.) ICMB 2013. LNCS, vol. 7909, pp. 17–32. Springer, Heidelberg (2013)CrossRef
7.
Zurück zum Zitat Gruau, F.: Automatic definition of modular neural networks. Adapt. Behav. 3(2), 151–183 (1994)CrossRef Gruau, F.: Automatic definition of modular neural networks. Adapt. Behav. 3(2), 151–183 (1994)CrossRef
8.
Zurück zum Zitat Hornby, G.S.: Generative representations for evolutionary design automation. Ph.D. thesis, Brandeis University (2003) Hornby, G.S.: Generative representations for evolutionary design automation. Ph.D. thesis, Brandeis University (2003)
9.
Zurück zum Zitat Hornby, G.S., Pollack, J.B.: Creating high-level components with a generative representation for body-brain evolution. Artif. Life 8(2), 223–246 (2002)CrossRef Hornby, G.S., Pollack, J.B.: Creating high-level components with a generative representation for body-brain evolution. Artif. Life 8(2), 223–246 (2002)CrossRef
10.
Zurück zum Zitat Kappel, G., Langer, P., Retschitzegger, W., Schwinger, W., Wimmer, M.: Model transformation by-example: a survey of the first wave. In: Düsterhöft, A., Klettke, M., Schewe, K.-D. (eds.) Conceptual Modelling and Its Theoretical Foundations. LNCS, vol. 7260, pp. 197–215. Springer, Heidelberg (2012)CrossRef Kappel, G., Langer, P., Retschitzegger, W., Schwinger, W., Wimmer, M.: Model transformation by-example: a survey of the first wave. In: Düsterhöft, A., Klettke, M., Schewe, K.-D. (eds.) Conceptual Modelling and Its Theoretical Foundations. LNCS, vol. 7260, pp. 197–215. Springer, Heidelberg (2012)CrossRef
11.
Zurück zum Zitat Kessentini, M., Sahraoui, H., Boukadoum, M., Omar, O.B.: Search-based model transformation by example. Softw. Syst. Model. 11(2), 209–226 (2010)CrossRef Kessentini, M., Sahraoui, H., Boukadoum, M., Omar, O.B.: Search-based model transformation by example. Softw. Syst. Model. 11(2), 209–226 (2010)CrossRef
12.
Zurück zum Zitat Kessentini, M., Sahraoui, H.A., Boukadoum, M.: Model transformation as an optimization problem. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 159–173. Springer, Heidelberg (2008)CrossRef Kessentini, M., Sahraoui, H.A., Boukadoum, M.: Model transformation as an optimization problem. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 159–173. Springer, Heidelberg (2008)CrossRef
13.
Zurück zum Zitat Matarić, M.J., Cliff, D.: Challenges in evolving controllers for physical robots. Robot. Auton. Syst. 19(1), 67–83 (1996)CrossRef Matarić, M.J., Cliff, D.: Challenges in evolving controllers for physical robots. Robot. Auton. Syst. 19(1), 67–83 (1996)CrossRef
14.
Zurück zum Zitat O’Neill, M., Ryan, C.: Grammatical Evolution: Evolutionary Automatic Programming in an Arbitrary Language. Springer, New York (2003)CrossRefMATH O’Neill, M., Ryan, C.: Grammatical Evolution: Evolutionary Automatic Programming in an Arbitrary Language. Springer, New York (2003)CrossRefMATH
Metadaten
Titel
Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application
verfasst von
Thomas Kühne
Heiko Hamann
Svetlana Arifulina
Gregor Engels
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-30668-1_18