MODELS 2022
Sun 23 - Fri 28 October 2022 Montréal, Canada
Wed 26 Oct 2022 11:29 - 11:44 at A-4502.1 - Systems Eng. & Analysis I Chair(s): Iulian Ober

Paper Abstract: Open-source software has numerous advantages over proprietary commercial-off-the-shelf (COTS) software. However, there are modeling languages, tool chains, and tool frameworks that are developed and maintained in an open-source manner but still incorporate COTS tools. Such an incorporation of COTS tools into an overall open-source approach completely annihilates the actual open-source advantages and goals. In this tool paper, we demonstrate how we eliminated a COTS tool from the otherwise open-source-based generation and evolution workflow of the domain-specific modeling language EAST-ADL, used in the automotive industry to describe a variety of interdisciplinary aspects of vehicle systems. By switching to a pure open-source solution, EAST-ADL becomes easier to inspect, evolve, and develop a community around. We compare both the mixed COTS/open-source and the open-source-only workflows, outline the advantages of the open-source-only solution, and show that we achieve equivalent tooling features compared to the original approach.

Tool and demonstration scenario: In general, we present our new Eclipse-native generation and evolution workflow for EAST-ADL.

== Part 1 == We maintain and evolve the EAST-ADL metamodel, which in our approach relies on Ecore—in contrast to the original approach, which uses a metamodel with a proprietary file format maintained in a COTS modeling tool. This metamodel serves documentation purposes, so that we call it “documentation MM” in the paper. Steps of the scenario: - We add new language concepts to the Ecore-based EAST-ADL metamodel and hook them into the language infrastructure by inheritance. - In this context, we also shortly outline the documentation and visualization capabilities of EcoreTools and compare them to the COTS modeling tool from the original approach.

== Part 2 == We transform the documentation MM to another Ecore-based EAST-ADL metamodel that serves the deployment in the EAST-ADL modeling environment “EATOP” (where we call the latter metamodel “implementation MM” in the paper). Steps of the scenario: - We execute the transformation. - Compared to the documentation MM from part 1, we show which structural changes are conducted and which implementation details are added through EAnnotations to the implementation MM. These structural changes and implementation details are expected by the EATOP modeling infrastructure (cf. part 3). - We show further generated artifacts like the XML schema file, Genmodel, and plugins encompassing model/edit code.

== Part 3 == We deploy the implementation MM and the generated plugins to the EATOP modeling infrastructure. Steps of the scenario: - We deploy the newly generated plugins into the development workspace of the EATOP modeling infrastructure. - In the EATOP runtime, we first show how we create instances of the newly added language concepts. - Furthermore, we show how the changes that were conducted as part of the transformation from the documentation MM to the implementation MM (cf. part 2) influence the representation in the EATOP runtime in terms of menu structure, custom serialization format, and documentation texts.

Wed 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
Systems Eng. & Analysis ITools & Demonstrations / Technical Track at A-4502.1
Chair(s): Iulian Ober
10:30
22m
Talk
Precomputing Reconfiguration Strategies based on Stochastic Timed Game AutomataFT
Technical Track
Hendrik Göttmann Technical University of Darmstadt, Birte Caesar Helmut Schmidt University, Lasse Beers Helmut Schmidt University, Malte Lochau University of Siegen, Andy Schürr TU Darmstadt, Germany, Alexander Fay Helmut Schmidt University
10:52
15m
Talk
A Tool for the Automation of Efficient Multi-Robot Choreography Planning and ExecutionDemo
Tools & Demonstrations
Eric Roslin Wete Poaka Leibniz Universität Hannover, Joel Greenyer FHDW Hannover, Daniel Kudenko Leibniz Universität Hannover, Wolfgang Nejdl Leibniz Universität Hannover, Oliver Flegel Volkswagen AG, Dennes Eisner Volkswagen AG
11:07
22m
Talk
System Architecture Synthesis for Performability by Logic SolversFT
Technical Track
Máté Földiák Budapest University of Technology and Economics, Kristóf Marussy Budapest University of Technology and Economics, Daniel Varro McGill University / Budapest University of Technology and Economics, Istvan Majzik Budapest University of Technology and Economics
File Attached
11:29
15m
Talk
Migrating from Proprietary Tools to Open-source Software for EAST-ADL Metamodel Generation and EvolutionDemo
Tools & Demonstrations
Jörg Holtmann Chalmers | University of Gothenburg, Jan-Philipp Steghöfer XITASO GmbH IT & Software Solutions, Henrik Lönn Volvo Technology
11:44
15m
Talk
A Diagram-Centric Modeling Tool for Systems of SystemsDemoVirtual
Tools & Demonstrations
Sean Kristian Remond Harbo Aalborg University, Emil Voldby Aalborg University, Jonas Madsen Aalborg University, Michele Albano Aalborg University