Skip to main content
Top

2024 | OriginalPaper | Chapter

Towards LLM-Based System Migration in Language-Driven Engineering

Authors : Daniel Busch, Alexander Bainczyk, Bernhard Steffen

Published in: Engineering of Computer-Based Systems

Publisher: Springer Nature Switzerland

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

search-config
loading …

Abstract

In this paper we show how our approach of extending Language Driven Engineering (LDE) with natural language-based code generation supports system migration: The characteristic decomposition of LDE into tasks that are solved with dedicated domain-specific languages divides the migration tasks into portions adequate to apply LLM-based code generation. We illustrate this effect by migrating a low-code/no-code generator for point-and-click adventures from JavaScript to TypeScript in a way that maintains an important property: generated web applications can automatically be validated via automata learning and model analysis by design. In particular, this allows to easily test the correctness of migration by learning the difference automaton for the generated products of the source and the target system of the migration.

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
3.
go back to reference Windmüller, S., et al.: Active continuous quality control. In: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, CBSE 2013, Vancouver, British Columbia, Canada, pp. 111–120. Association for Computing Machinery (2013). ISBN 9781450321228. https://doi.org/10.1145/2465449.2465469 Windmüller, S., et al.: Active continuous quality control. In: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, CBSE 2013, Vancouver, British Columbia, Canada, pp. 111–120. Association for Computing Machinery (2013). ISBN 9781450321228. https://​doi.​org/​10.​1145/​2465449.​2465469
6.
go back to reference Naujokat, S., et al.: CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Int. J. Softw. Tools Technol. Transf. 20, 327–354 (2018)CrossRef Naujokat, S., et al.: CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Int. J. Softw. Tools Technol. Transf. 20, 327–354 (2018)CrossRef
7.
go back to reference Steffen, B., et al.: Language-driven engineering: from general-purpose to purpose-specific languages. In: Computing and Software Science: State of the Art and Perspectives, pp. 311–344 (2019) Steffen, B., et al.: Language-driven engineering: from general-purpose to purpose-specific languages. In: Computing and Software Science: State of the Art and Perspectives, pp. 311–344 (2019)
8.
go back to reference Bainczyk, A., Steffen, B., Howar, F.: Lifelong learning of reactive systems in practice. In: Ahrendt, W., et al. (eds.) The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 38–53. Springer, Cham (2022). ISBN 978-3-031-08166-8. https://doi.org/10.1007/978-3-031-08166-8_3 Bainczyk, A., Steffen, B., Howar, F.: Lifelong learning of reactive systems in practice. In: Ahrendt, W., et al. (eds.) The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 38–53. Springer, Cham (2022). ISBN 978-3-031-08166-8. https://​doi.​org/​10.​1007/​978-3-031-08166-8_​3
9.
go back to reference Bainczyk, A., Boßelmann, S., Krause, M., Krumrey, M., Wirkner, D., Steffen, B.: Towards continuous quality control in the context of language-driven engineering. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, ISoLA 2022. LNCS, vol. 13702, pp. 389–406. Springer, Cham (2022). ISBN 978-3-031-19756-7. https://doi.org/10.1007/978-3-031-19756-7_22 Bainczyk, A., Boßelmann, S., Krause, M., Krumrey, M., Wirkner, D., Steffen, B.: Towards continuous quality control in the context of language-driven engineering. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, ISoLA 2022. LNCS, vol. 13702, pp. 389–406. Springer, Cham (2022). ISBN 978-3-031-19756-7. https://​doi.​org/​10.​1007/​978-3-031-19756-7_​22
10.
go back to reference Li, Z., et al.: Automating code review activities by large-scale pre-training. In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1035–1047 (2022) Li, Z., et al.: Automating code review activities by large-scale pre-training. In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1035–1047 (2022)
11.
go back to reference Vaithilingam, P., Zhang, T., Glassman, E.L.: Expectation vs. experience: evaluating the usability of code generation tools powered by large language models. In: Chi Conference on Human Factors in Computing Systems Extended Abstracts, pp. 1–7 (2022) Vaithilingam, P., Zhang, T., Glassman, E.L.: Expectation vs. experience: evaluating the usability of code generation tools powered by large language models. In: Chi Conference on Human Factors in Computing Systems Extended Abstracts, pp. 1–7 (2022)
12.
go back to reference Xu, F.F., et al.: A systematic evaluation of large language models of code. In: Proceedings of the 6th ACM SIGPLAN International Symposium on Machine Programming, pp. 1–10 (2022) Xu, F.F., et al.: A systematic evaluation of large language models of code. In: Proceedings of the 6th ACM SIGPLAN International Symposium on Machine Programming, pp. 1–10 (2022)
13.
go back to reference Bainczyk, A.: Simplicity-oriented lifelong learning of web applications. [work in progress]. Ph.D. thesis. Dortmund, Germany: TU Dortmund University (2023) Bainczyk, A.: Simplicity-oriented lifelong learning of web applications. [work in progress]. Ph.D. thesis. Dortmund, Germany: TU Dortmund University (2023)
Metadata
Title
Towards LLM-Based System Migration in Language-Driven Engineering
Authors
Daniel Busch
Alexander Bainczyk
Bernhard Steffen
Copyright Year
2024
DOI
https://doi.org/10.1007/978-3-031-49252-5_14

Premium Partner