A Toolchain for Simulation Component Specification and Identification
Reusing a simulation or parts of a simulation is difficult as simulations are tightly coupled to a specific domain or even to the system analysed by the simulation. In this tool paper, we introduce our toolchain that allows simulation developers to model the structure and behaviour of a simulation with a domain-specific modelling language. We utilise a state-of-the-art graph database and an SMT theorem prover to compare a simulation or parts of a simulation. This allows simulation developers to identify simulation components that can be reused instead of redeveloping these simulation components.
Thu 22 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
15:30 - 17:00
|Avoiding Excessive Data Exposure through Microservice APIs|
|Documentation-as-code for Interface Control Document management in Systems of Systems: a Technical Action Research Study|
|To deprecate or to simply drop operations? An empirical study on the evolution of a large OpenAPI collection|
|ExpressO: From Express.js implementation code to OpenAPI interface descriptions|
Tools & Demos
|A Toolchain for Simulation Component Specification and Identification|
Tools & Demos
A: Sandro Koch Karlsruhe Institute of Technology (KIT)
Each paper is presented as a 5-minute pitch talk at the beginning. The rest of the session is a discussion.
After reaching the 3rd floor (either by elevator or the main staircase), turn right.