Skip to main content

Towards LLM-Based System Migration in Language-Driven Engineering

  • Conference paper
  • First Online:
Engineering of Computer-Based Systems (ECBS 2023)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14390))

Included in the following conference series:

  • 751 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87ā€“106 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  2. Raffelt, H., et al.: Dynamic testing via automata learning. Int. J. Softw. Technol. Transf. (STTT) 11(4), 307ā€“324 (2009). ISSN 1433-2779. https://doi.org/10.1007/s10009-009-0120-7

  3. 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

  4. Neubauer, J., WindmĆ¼ller, S., Steffen, B.: Risk- based testing via active continuous quality control. Int. J. Softw. Tools Technol. Transf. 16(5), 569ā€“591 (2014). https://doi.org/10.1007/s10009-014-0321-6

  5. Lybecait, M., Kopetzki, D., Zweihoff, P., Fuhge, A., Naujokat, S., Steffen, B.: A tutorial introduction to graphical modeling and metamodeling with CINCO. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 519ā€“538. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-03418-4_31

    Chapter  Google Scholar 

  6. 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)

    Article  Google Scholar 

  7. 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)

    Google Scholar 

  8. 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. 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. 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)

    Google Scholar 

  11. 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)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. Bainczyk, A.: Simplicity-oriented lifelong learning of web applications. [work in progress]. Ph.D. thesis. Dortmund, Germany: TU Dortmund University (2023)

    Google Scholar 

  14. Busch, D., et al.: ChatGPT in the loop - a natural language extension for domain-specific modeling languages. In: Lecture Notes of Computer Science, vol. 14380. Springer, Heidelberg (2023). https://doi.org/10.1007/978-3-031-46001-2_22

  15. OpenAI. GPT-4 Technical Report. arXiv arXiv:2303.08774 (2023)

  16. Tian, H., et al.: Is ChatGPT the ultimate programming assistant-how far is it? arXiv preprint arXiv:2304.11938 (2023)

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Daniel Busch .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

Ā© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Busch, D., Bainczyk, A., Steffen, B. (2024). Towards LLM-Based System Migration in Language-Driven Engineering. In: Kofroň, J., Margaria, T., Seceleanu, C. (eds) Engineering of Computer-Based Systems. ECBS 2023. Lecture Notes in Computer Science, vol 14390. Springer, Cham. https://doi.org/10.1007/978-3-031-49252-5_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-49252-5_14

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-49251-8

  • Online ISBN: 978-3-031-49252-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics