| layout | title | navigation_weight |
|---|---|---|
page |
MLE 2020 |
10 |
About | Program | Call | Dates | Committees
MLE 2020 is sthe second edition of a brand new MODELS workshop resulting from the merger of two recurring MODELS workshops, namely GEMOC and EXE. Accordingly, it will be a full-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. The languages of interest include both general-purpose and domain-specific languages with topics ranging from the requirements, design, and implementation of languages that may or may not be executable.
Following the previous editions of the MLE, 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.e., 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.e., defining, composing, verifying and tooling the execution semantics of DSLs. MLE 2020 will provide an open forum for sharing experiences, problems, and solutions on all these topics. This workshop will be the place where concrete artifacts, ideas, and opinions are exchanged in order to gather constructive feedback.
-tba
Software-intensive systems are complicated, driven by the need to integrate across multiple concerns. Consequently, the development of such systems requires the integration of different concerns and skills. These concerns can be covered by different domain-specific modelling languages, with specific concepts, technologies and abstraction levels. This multiplication of languages eases the development related to each individual specific concern but raises language and technology integration problems at the different stages of the software life cycle. To reason about the global system as a whole, it is necessary to explicitly describe the different kinds of relationships that exist between the different languages used in its development. To support effective language integration, there is a pressing need to reify and classify these relationships, as well as the language interactions that the relationships enable. Equally, the proliferation of domain-specific modelling languages required increases the need for effective and efficient techniques for engineering languages and their support infrastructures (transformations, analysis tools, editors, execution infrastructure, debuggers, ...).
The Modeling Language Engineering and Execution (MLE) workshop aims at bringing together researchers and practitioners working on modelling-language and software-language engineering. It is a meeting opportunity for Software Language Engineering (SLE) enthusiasts within the software-modelling community. The topics of interest for MLE 2020 include:
- Methodologies, languages, techniques, and methods for designing and implementing (executable) modeling languages
- Composition, extension, and reuse of (executable) modeling languages and model execution tools
- Heterogeneous modeling, simulation, and execution
- Customization of (executable) modeling languages
- Integration of (executable) modeling and programming languages
- Semantics-aware model transformations and code generation
- Scalability of model execution and execution-based model analysis
- Execution of partial and underspecified models
- Model execution with non-determinism and concurrency
- Tracing model executions and analyzing model execution traces
- Model execution tools for the (dynamic) validation, verification, and testing of systems (e.g., model animation, debugging, simulation, trace exploration, model checking, symbolic execution)
- Automating the development of modeling and model execution tools
- Evolution in the context of executable modeling (e.g., evolution of executable modeling languages, execution semantics, executable models, model execution tools)
- Verification of semantic conformance (e.g., among executable modeling languages, executable models, model execution tools)
- Integration challenges for (executable) languages, from requirements to design, for analysis and simulation, during runtime, etc.
- Case studies and experience reports on the successful or failed adoption of (executable) modeling in different domains
- Surveys and benchmarks on the development of (executable) modeling languages, model execution, and model analyses
Submissions describing practical and industrial experience related to the use of executable and/or heterogeneous modeling languages are also encouraged, particularly regarding Cyber-Physical Systems, Industry 4.0, Internet of Things, Complex Adaptive Systems, Smart Cities and Buildings.
The format of the workshop reflects the goals of the workshop: constructive feedback on submitted papers and other artifacts on the engineering or use of modeling languages, collaborations, and community building. Hence, there is less focus on presentations and more focus on producing and documenting a research content that identifies challenges, different forms of language engineering and integration, and relates existing solutions.
The workshop consists of a morning session in which a keynote and short presentations of the accepted papers will be given. A significant amount of time will be reserved for discussing each paper and their relations to each other. The afternoon is for working sessions dedicated to open discussions of the presented contributions and topics suggested by the participants.
We expect early research results about the aforementioned topics, descriptions of problems, case studies, experience reports or solutions related to the topics of interest. Each contribution must be described in a short paper of 5 pages or a full paper of 10 pages, both in the LNCS format. Papers that describe use cases or novel approaches can be accompanied by concrete artifacts, such as models (requirements, design, analysis, transformation, composition, etc.), stored in a public repository. Artifacts should illustrate any experience on the conjoint use of different modeling languages.
All submissions have to follow the the ACM format and must be submitted electronically in PDF format via Easychair. They will be evaluated by at least three members of the program committee regarding novelty, correctness, significance, readability, and alignment with the workshop call. Furthermore, all submissions must be original work and must not have been previously published or being under review elsewhere.
- Paper submission deadline: July 22, 2020
- Notification of acceptance: August 21, 2020
- Camera-ready deadline: August 28, 2020
- Taylor Riche (National Instruments, Austin, USA)
- Andreas Wortmann (RWTH Aachen University, Aachen, Germany)
- Steffen Zschaler (King's College London, London, UK)
- tba