Search

Your search keyword '"Steffen Zschaler"' showing total 196 results
Start Over Author "Steffen Zschaler"
196 results on '"Steffen Zschaler"'

25. Trustworthy agent-based simulation: the case for domain-specific modelling languages

Author

Steffen Zschaler and Fiona A. C. Polack

Subjects
Modeling and Simulation, Software
Abstract

Simulation is a key tool for researching complex system behaviour. Agent-based simulation has been applied across domains, such as biology, health, economics and urban sciences. However, engineering robust, efficient, maintainable, and reliable agent-based simulations is challenging. We present a vision for engineering agent simulations comprising a family of domain-specific modelling languages (DSMLs) that integrates core software engineering, validation and simulation experimentation. We relate the vision to examples of principled simulation, to show how the DSMLs would improve robustness, efficiency, and maintainability of simulations. Focusing on how to demonstrate the fitness for purpose of a simulator, the envisaged approach supports bi-directional transparency and traceability between the original domain understanding to the implementation, interpretation of results and evaluation of hypotheses.

Published
2023

35. Model-Driven Engineering of Digital Twins (Dagstuhl Seminar 22362)

Author

Loek Cleophas and Thomas Godfrey and Djamel Eddine Khelladi and Daniel Lehner and Benoit Combemale and Bernhard Rumpe and Steffen Zschaler, Cleophas, Loek, Godfrey, Thomas, Khelladi, Djamel Eddine, Lehner, Daniel, Combemale, Benoit, Rumpe, Bernhard, Zschaler, Steffen, Loek Cleophas and Thomas Godfrey and Djamel Eddine Khelladi and Daniel Lehner and Benoit Combemale and Bernhard Rumpe and Steffen Zschaler, Cleophas, Loek, Godfrey, Thomas, Khelladi, Djamel Eddine, Lehner, Daniel, Combemale, Benoit, Rumpe, Bernhard, and Zschaler, Steffen

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 22362 "Model-Driven Engineering of Digital Twins". Digital twins are an emerging concept with the potential for revolutionising the way we interact with the physical world. Digital twins can be used for improved analysis and understanding of complex systems as well as for control and transformation of these systems. Digital twins are themselves complex software systems, posing novel software-engineering challenges, which have so far not been sufficiently addressed by the software-engineering research community. The seminar aimed as a key outcome to contribute to a solid research roadmap for the new Software Engineering subdiscipline of Model-Based Development of Digital Twins. This paper is an intermediate result, which is thought to be further discussed in the research community that has also been built using this seminar.

Published
2023
Full Text
View/download PDF

46. A generic framework for representing and analyzing model concurrency

Author

Steffen Zschaler, Erwan Bousse, Julien Deantoni, and Benoit Combemale

Subjects
Modeling and Simulation, Software
Abstract

Recent results in language engineering simplify the development of tool-supported executable domain-specific modeling languages (xDSMLs), including editing (e.g., completion and error checking) and execution analysis tools (e.g., debugging, monitoring and live modeling). However, such frameworks are currently limited to sequential execution traces and cannot handle execution traces resulting from an execution semantics with a concurrency model supporting parallelism or interleaving. This prevents the development of concurrency analysis tools, like debuggers supporting the exploration of model executions resulting from different interleavings. In this paper, we present a generic framework to integrate execution semantics with either implicit or explicit concurrency models, to explore the possible execution traces of conforming models, and to define strategies for helping in the exploration of the possible executions. This framework is complemented with a protocol to interact with the resulting executions and hence to build advanced concurrency analysis tools. The approach has been implemented within the GEMOC Studio. We demonstrate how to integrate two representative concurrent meta-programming approaches (MoCCML/Java and Henshin), which use different paradigms and underlying foundations to define an xDSML’s concurrency model. We also demonstrate the ability to define an advanced concurrent omniscient debugger with the proposed protocol. The paper, thus, contributes key abstractions and an associated protocol for integrating concurrent meta-programming approaches in a language workbench, and dynamically exploring the possible executions of a model in the modeling workbench.

Published
2023

Catalog

Books, media, physical & digital resources
See catalog results