检索结果-内蒙古大学图书馆

LLM-based code generation and system migration in language-driven engineering

International Journal on Software Tools for Technology Transfer 2025年 1-11页

作者： Busch, Daniel Bainczyk, Alexander Smyth, Steven Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany

This paper illustrates the power of extending Language Driven Engineering (LDE) with Domain-Specific Natural Languages (DSNLs) through a case study on two levels. Both cases benefit from the characteristic decomposition feature of LDE, resulting in tasks tailored to the application of domain-specific languages, here with a focus on the application of DSNLs supported by LLM-based code generation. In the first case study, we show how DSNL-supported LDE facilitates the development of point-and-click adventures, whereas the second case study focuses on migration: We demonstrate how the entire LDE scenario for point-and-click adventure games can be migrated to output TypeScript instead of JavaScript using LLM-based code generation exclusively, without manually writing any code. This migration not only infers the required types, but also preserves an important property of the original LDE scenario: generated web applications can be automatically validated by design via automata learning and subsequent model checking. Even better, this property can be exploited to automatically validate the correctness of the migration by learning so-called difference automata that characterize the behavioral differences between the generated JavaScript-based and Type-Script-based applications. © The Author(s) 2025.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

An Introduction to Graphical Modeling of CI/CD Workflows with Rig 10th

An Introduction to Graphical Modeling of CI/CD Workflows wit...

引用

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021

作者： Tegeler, Tim Teumert, Sebastian Schürmann, Jonas Bainczyk, Alexander Busch, Daniel Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany

ISBN: (纸本)9783030891589

We present an introduction to the usage of Rig, our Cinco product for the graphical modeling of CI/CD workflows. While CI/CD has become a de facto standard in modern software engineering (e.g. DevOps) and the benefits of its practice are without a doubt, developers are still facing inconvenient solutions. We will briefly outline the basic concept of CI/CD and discuss the challenges involved in maintaining such workflows with current implementations before we explain and illustrate the advantages of our model-driven approach step by step along on the treatment of a typical web application. © 2021, Springer Nature Switzerland AG.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

On the difficulty of drawing the line 8th

On the difficulty of drawing the line

引用

8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Boßelmann, Steve Naujokat, Stefan Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany

ISBN: (纸本)9783030034177

The paper considers domain-specific tool support as a means to turn descriptive into prescriptive models, and to blur the difference between models and programs, and even between developers and users. Conceptual underlying key is to view the system development as a decision process which increasingly constraints the range of possible system implementations and Domain-Specific Languages (DSLs) as a means to freeze taken decisions on the way towards a concrete realization. This way naturally comprises both programming and modeling aspects. In fact, considering all interactions that influence the behaviour of the system as development turns GUIs into DSLs and makes it even hardly possible to draw the line between developers and users. We will illustrate this viewpoint in the light of the development of the Equinocs system, Springer’s new editorial service. © Springer Nature Switzerland AG 2018.

关键词： Problem oriented languages

来源：评论

学校读者我要写书评

暂无评论

A tutorial introduction to graphical modeling and metamodeling with CINCO 8th

A tutorial introduction to graphical modeling and metamodeli...

引用

8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Lybecait, Michael Kopetzki, Dawid Zweihoff, Philip Fuhge, Annika Naujokat, Stefan Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany

ISBN: (纸本)9783030034177

We present a tutorial introduction to the usage of Cinco, our framework for the generation of graphical development environments, highlighting two recent additions: the possibility to bringing any Cinco-based graphical modeling language into the web, and a graphical editor for meta modeling. All the discussed features are illustrated step by step along the development and evolution of the WebStory, a simple education-oriented modeling language for adventure games. © Springer Nature Switzerland AG 2018.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Design for ‘X’ through model transformation 8th

Design for ‘X’ through model transformation

引用

8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Lybecait, Michael Kopetzki, Dawid Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany

ISBN: (纸本)9783030034177

In this paper we sketch a transformation-oriented framework for establishing system characteristics like model-checkability, learnability, or performance. Backbone of our framework is Cinco, our meta tooling suite for generating DSL-specific development environments on the basis of specifications in terms of metamodels. Cinco is used here to specify the considered source and target languages, as well as the transformation language that allows one to transform source systems/models into semantically equivalent, X-conform target systems. In this paper, we focus on illustrating the power of domain-specific transformation languages by presenting a multi-level transformation pattern that allows one to elegantly capture refinement and aggregation aspects in a rule-based fashion. All this is explained along a number of examples. © Springer Nature Switzerland AG 2018.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition 10th

Pyrus: An Online Modeling Environment for No-Code Data-Analy...

引用

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021

作者： Zweihoff, Philip Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany

ISBN: (纸本)9783030891589

We present Pyrus, a domain-specific online modeling environment for building graphical processes for data analysis, machine learning and artificial intelligence. Pyrus aims at bridging the gap between de facto (often Python-based) standards as established by the Jupyter platform, and the tradition to model data analysis workflows in a dataflow-driven fashion. Technically, Pyrus integrates established online IDEs like Jupyter and allows users to graphically combine available functional components to dataflow-oriented workflows in a collaborative fashion without writing a single line of code. Following a controlflow/dataflow conversion and compilation, the execution is then delegated to the underlying platforms. Both the inputs to a modeled workflow and the results of its execution can be specified and viewed without leaving Pyrus which supports a seamless cooperation between data science experts and programmers. The paper illustrates the fundamental concepts, the employed domain-specific language, and, in particular, the role of the integrated IDE’s in an example-driven fashion which can be reproduced in the available online modeling environment. © 2021, Springer Nature Switzerland AG.

关键词： Data Analytics

来源：评论

学校读者我要写书评

暂无评论

Aligned, Purpose-Driven Cooperation: The Future Way of System Development 10th

Aligned, Purpose-Driven Cooperation: The Future Way of Syste...

引用

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021

作者： Zweihoff, Philip Tegeler, Tim Schürmann, Jonas Bainczyk, Alexander Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany

ISBN: (纸本)9783030891589

Collaborative system development requires a three-dimensional alignment: in space, in time, and in mindset: Traditionally, different developers typically have their own, local development environments, each of which may change over time due to updates and other version changes. The third dimension concerns so-called semantic gaps, which we proposed to address via Language-Driven Engineering using Purpose-Specific Language. In this paper we argue that web-based, collaborative development environments that support Language-Driven Engineering are capable of solving the three-dimensional alignment problem. Our illustration via a corresponding prototypical solution aims at illustrating that this vision has the power to radically improve the effectiveness of collaborative development and that it is realistic even in near future. © 2021, Springer Nature Switzerland AG.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A constraint-based variability modeling framework

引用

International Journal on Software Tools for Technology Transfer 2012年第5期14卷 511-530页

作者： Jörges, Sven Lamprecht, Anna-Lena Margaria, Tiziana Schaefer, Ina Steffen, Bernhard Chair for Programming Systems Technical University Dortmund Dortmund Germany Chair for Service and Software Engineering University Potsdam Potsdam Germany Institut für Software Systems Engineering Technische Universität Braunschweig Braunschweig Germany

Constraint-based variability modeling is a flexible, declarative approach to managing solution-space variability. Product variants are defined in a top-down manner by successively restricting the admissible combinations of product artifacts until a specific product variant is determined. In this paper, we illustrate the range of constraint-based variability modeling by discussing two of its extreme flavors: constraint-guarded variability modeling and constraint-driven variability modeling. The former applies model checking to establish the global consistency of product variants which are built by manual specification of variations points, whereas the latter uses synthesis technology to fully automatically generate product variants that satisfy all given constraints. Each flavor is illustrated by means of a concrete case study. © 2012 Springer-Verlag.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Continuous engineering of embedded systems 1

引用

5th IFIP TC 10 Working Conference on Distributed and Parallel Embedded systems, DIPES 2006

作者： Steffen, Bernhard Margaria, Tiziana Chair of Programming Systems Universität Dortmund Germany Chair of Service and Software Engineering Universität Potsdam Germany

ISBN: (数字)9780387393629

ISBN: (纸本)9780387393612

We investigate the late phases of the embedded systems’ life cycles, in particular the treatment of change requests, the integration of legacy components, and the problem of emerging platforms. We propose to tackle these issues in a model-driven design paradigm, on the behavioral models, and to employ techniques from automata theory, model checking and automata learning. The main practical impact of our approach is its support of the systematic completion and update of user/customer requirements, which by their nature are quite partial and concentrate on the most prominent scenarios. Our technique generalizes these typical requirement skeletons by extrapolation and it indicates via automatically generated traces where the requirement specification is too loose and additional information is required. This works in the initial phases of system development, but also in case of change requests, where our technique hints at possible problems with their realization (feature interactions), and helps to keep the requirement model in synchrony along the chain of new releases. © 2006 by International Federation for Information Processing.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Towards LLM-Based System Migration in Language-Driven Engineering 8th

Towards LLM-Based System Migration in Language-Driven Engin...

引用

8th International Conference on Engineering of Computer-Based systems, ECBS 2023

作者： Busch, Daniel Bainczyk, Alexander Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany

ISBN: (纸本)9783031492518

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. © 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：