Abbrevation
MLE
City
Munich
Country
Germany
Deadline Paper
Start Date
End Date
Abstract

<div>About the Workshop</div><div><br></div>MLE 2019 is a brand new MODELS workshop resulting from the merger of two recurring MODELS workshops, namely GEMOC and EXE! Accordingly, it will be a full&#8211;day workshop that brings together researchers and practitioners in the modeling languages community to discuss the challenges associated with the engineering of modeling languages, with executability, and with integrating multiple, heterogeneous modeling languages&#046; The languages of interest include both general&#8211;purpose and domain&#8211;specific languages with topics ranging from the requirements, design, and implementation of languages that may or may not be executable&#046;<br>Following the previous editions of the GEMOC and EXE workshops, the objective is to continue collaborations and to expand on the two overlapping communities that are focused on solving problems arising both from the globalization of modeling languages − i&#046;e&#046;, the use of multiple DSLs to support coordinated development of diverse aspects of a system − and the problems related to the executability of modeling languages − i&#046;e&#046;, defining, composing, verifying and tooling the execution semantics of DSLs&#046; MLE 2019 will provide an open forum for sharing experiences, problems, and solutions on all these topics&#046; This workshop will be the place where concrete artifacts, ideas, and opinions are exchanged in order to gather constructive feedback&#046;<br>Topics<br>The topics of interest include (but are not limited to):<br>Tools and methods for engineering modeling languages (eg&#046; DSLs)<br>Defining, composing, verifying and tooling the execution semantics of modeling languages<br>Composability and interoperability of heterogeneous modeling languages<br>Heterogeneous modeling and simulation<br>Tools and methods for the dynamic validation, verification of systems (e&#046;g&#046;, model animation, testing debugging, simulation, tracing, trace exploration, model checking, symbolic execution)<br>Tools and methods to deal with the different system aspects and to ensure consistency and coherence between the different models<br>Execution and composition of partial and underspecified models<br>Language interface, viewpoint<br>Multi&#8211;language or multi&#8211;disciplinary environment<br>Model execution and composition in the presence of non&#8211;determinism and concurrency<br>Tools and methods for socio&#8211;technical coordination in the context of heterogeneous modeling<br>Language integration challenges, from requirements to design, for analysis and simulation, during runtime, etc&#046;<br>Surveys and benchmarks of different approaches for the development of modeling languages<div><br></div>