This program is tentative and subject to change.

We propose a formally defined method to transfer the core of class-like models lossless between domain-specific frameworks and evaluate that for two frameworks. By establishing common modeling concepts and a command interface, we wrap structurally different meta-modeling approaches to exhibit bisimilar behavior for meta-models (M2) and user models (M1) across frameworks. Modeling approaches share concepts such as instantiation and inheritance, but exhibit different syntax and semantics. Porting models from one domain-specific modeling framework to another requires dedicated conversions and, after porting, working with the model can be different. We identified 17 common concepts and features. Using these concepts, we derived a framework-independent model interaction interface based on CRUD commands. This interface allows the creation of M2 and M1 models without worrying about the individual syntax and semantics of a framework. M1 and M2 models can be queried and edited with identical commands and the results are identical for different underlying domain-specific frameworks. An analogy of labeled state transition systems (LSTS) and our interface prevents model inconsistencies and ensures safe continuous model modifications. Moreover, comprehensive tests can be derived that verify that a wrapped framework simulates our interface and, thus, two wrappers form a bisimulation as long as dedicated framework assumptions are valid. In a case study, we evaluate the effort and practitcability of wrappers for pyecore and adaeoq. The results demonstrate the feasibility and show that meta-models and user models with thousands of elements behave bisimilar while the implementation effort is acceptable.

This program is tentative and subject to change.

Wed 8 Oct

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

11:00 - 12:30
Session 2: Model-Driven Engineering Foundations and EvolutionResearch Papers / New Ideas and Emerging Results (NIER) / Journal-First at DCIH 507

Hybrid

11:00
18m
Talk
Common modeling concepts and a command interface towards bisimilar behavior of different domain-specific modeling frameworksArtifact Evaluated − FunctionalPTArtifacts Available@In Person
Research Papers
Bjoern Annighoefer University of Stuttgart, Vanessa Tietz University of Stuttgart, Germany
11:18
18m
Talk
Going from the Past back to the Future: Incrementally Reconstructing a Metamodel HistoryFTArtifacts Available@In Person
Research Papers
Marcel Homolka ISSE, Luciano Marchezan DIRO, University of Montreal, Wesley Assunção North Carolina State University, Alexander Egyed Johannes Kepler University Linz
11:36
18m
Talk
Modeling the obsolescence of modelsRemote
Journal-First
Iván Alfonso Luxembourg Institute of Science and Technology, Jean Sebastien Sottet Luxembourg Institute of Science and Technology and University of Luxembourg, Pierre Brimont Luxembourg Institute of Science and Technology and University of Luxembourg, Jordi Cabot Luxembourg Institute of Science and Technology
DOI
11:54
18m
Talk
Effects of Model Merge on Developers’ Brain Dynamics: An EEG Microstate AnalysisRemote
New Ideas and Emerging Results (NIER)
Willian Bolzan Federal Institute of Santa Catarina - IFSC, Robson Keemps da silva Federal Institute of Mato Grosso - IFMT, Kleinner Farias University of Vale do Rio dos Sinos (UNISINOS)
12:12
18m
Talk
The Norwegian SISU Project: History and Long-term Impact of an Early MDD EffortPT@Remote
Research Papers
Stein Erik Ellevseth ABB Retired Researcher, Peter Herrmann Norwegian University of Science and Technology (NTNU), Emmanuel Gaudin PragmaDev, Paris, Juergen Dingel Queen's University, Kingston, Ontario
Hide past events