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 modeling 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 modeling 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 (MLE) workshop aims at bringing together researchers and practitioners working on modeling-language and software-language engineering. It is a meeting opportunity for Software Language Engineering (SLE) enthusiasts within the software-modeling community.
Engineering Families of Modelling Languages: A tale of three approaches (slides)
Abstract: Modelling languages are intensively used in paradigms like model-driven engineering to automate all sort of tasks within the development process. These languages may have variants (like the cases of Petri nets, automata, architectural languages, and many others) in which case, there is the need to deal with language families rather than with individual languages. Moreover, low-code approaches aim at lowering the entry barrier to software development, frequently via the use of modelling notations. Users of low-code environments have a wide range of backgrounds, which calls for specialized language variants, tailored to users with different levels of expertise. However, from a language engineering perspective, specifying the syntax and semantics of each language variant separately is costly, hinders reuse across variants, and may yield inconsistent semantics between variants. In this talk, I will introduce three different approaches to tackle this problem, based on multi-level modelling, superimposed language variants, and language modules. I will discuss the weak and strong points of each one of them based on a practical case study and propose challenges for future work.
Prof. Juan de Lara is full professor at the computer science department of the Universidad Autónoma of Madrid (Spain), where he leads the modelling and software engineering research (miso) team together with Esther Guerra. His main research interests are in automated software engineering, model-driven development, domain-specific languages and language engineering, conversational interfaces, and augmented reality. This research has led to building many practical tools – including AToM3, metaDepth, merlin, alter, DSL-comet, DSL-tao and Capone– and the publication of more than 230 papers in international journals and conferences. He has been the PC co-chair of several conferences within his research areas, like MODELS, SLE, ICGT, ICMT and FASE, and has been involved in workshops on topics like flexible modelling, multi-level modelling and low-code development.
The organizing committee of MLE 2022 is unfortunately not able to be physically present at MODELS 2022. Therefore, exceptionally, MLE 2022 will be presented by three voluntary session chairs from the MLE community:
(University of Rennes 1, France)
(Model Driven Solutions, USA)
(Nantes Université, France)
Date: Monday the 24th of October 2022
Session 1 (8:30 − 10:00)
Chair: Benoit Combemale
8:30 − Workshop introduction
8:40 − Keynote by Juan de Lara
Coffee break (10:00 − 10:30)
Session 2 (10:30 − 12:00)
Chair: Ed Seidewitz
10:30 − Towards The Systematic Design of Model Animation: Key Ingredients and General Guidelines
by Moussa Amrani, Abdelkader Ouared and Pierre-Yves Schobbens.
Lunch break (12:00 − 13:30)
Session 3 (13:30 − 15:00)
Chair: Jean-Marie Mottu
13:30 − A Statecharts Interpreter and Compiler With Semantic Variability
by Joeri Exelmans, Simon Van Mierlo and Hans Vangheluwe (paper).
14:30 − A Tool-Assisted Approach to Engineer Domain-Specific Languages (DSLs) using Rust
by Léo Olivier, Lou-Anne Sauvêtre, Erwan Bousse and Gerson Sunyé (paper).
Coffee break (15:00 − 15:30)
Session 4 (15:30 − 17:00)
Chairs: Benoit Combemale and Ed Seidewitz
- Discussions (TBA) and closing words
Call for papers
The topics of interest for MLE 2022 include:
- Methodologies, languages, techniques, and methods for designing and implementing modeling languages
- Composition, extension, and reuse of modeling languages and model execution tools
- Heterogeneous modeling, simulation, and execution
- Customization of modeling languages
- Integration of modeling languages 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 in the presence of 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)
- Live modeling and exploratory modeling techniques
- Automation techniques for 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 languages, from requirements to design, for analysis and simulation, during runtime, etc.
- Case studies and experience reports on the successful or failed adoption of modeling in different application domains and application contexts
- Surveys and benchmarks of different approaches for the development of modeling languages, model execution, and execution-based model analysis
Submissions describing practical and industrial experience related to the use of modeling languages are also encouraged, particularly in the following application domains: Cyber-Physical Systems, Smart Manufacturing, Industry 4.0; Internet of Services, Internet of Things; Smart City, Smart Building, Home automation; Smart and Learning systems.
This full-day workshop will prioritize discussions over presentations. We plan to open with a keynote in the morning, followed by paper presentations. The afternoon will then be spent primarily in discussions inspired by topics raised by the keynotes and paper presentations. Where there is sufficient divergence in the topics raised, we will create break-out groups of participants interested in each sub-topic. The goal of these discussions is to identify commonalities and connections between different topics, support research networking, cross-pollination, and informal knowledge transfer. The final session of the workshop will be focused on summarising the key topics and ideas discussed at the workshop to help identify the next steps that may be followed up by workshop 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, in ACM format (acmart). Two more pages containing only references are permitted.
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 with the conjoint use of different modeling languages.
All submissions have to follow the ACM format (acmart) 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. The accepted papers will be included in the joint workshop proceedings published in the ACM Digital Library and indexed in DBLP and Scopus.
- Abstract submission deadline: July 13, 2022
- Paper submission deadline:
July 20, 2022July 29, 2022 (Extended)
- Notification of acceptance: August 19, 2022
- Camera-ready deadline:
August 26, 2022September 6, 2022 (Extended)
Erwan Bousse (Nantes Université) is an Associate Professor at Nantes Université (France). He obtained his PhD in France in 2015 at the University of Rennes 1 for his work on execution traces and omniscient debugging of executable models. He co-organized on multiple occasions the EXE, GEMOC, and MLE workshops at MODELS, and is a founder member of the MLE steering committee. His current research interests include Software Language Engineering (SLE), Model-Driven Engineering (MDE), Domain-Specific Languages (DSLs), model execution and simulation, and the debugging and testing of models.
Faezeh Khorram (IMT Atlantique) is a PhD student at IMT Atlantique (France) and also a member of the Lowcomote European project. As her PhD studies, she is working on advanced testing and debugging support for Executable Domain-Specific Languages (xDSL). She was a visiting researcher (1) in the Department of Business Informatics – Software Engineering (WIN-SE) at JKU University (Linz, Austria) working on coverage computation and fault localization for executable models; and (2) in the Miso research group of Universidad Autónoma de Madrid (Madrid, Spain) working on test case generation, improvement, and selection for executable models.
Juha-Pekka Tolvanen (MetaCase) is the CEO of MetaCase and co-founder of the DSM Forum. He-Pekka holds a Ph.D. in computer science from the University of Jyväskylä, Finland (best national dissertation award 1999). He has been involved in model-driven development and tools, notably metamodeling and code generators, since 1991. He has acted as a consultant worldwide for modeling language development, authored a book on Domain-Specific Modeling, and written over 80 articles for various software development magazines and conferences.
- Jeff Gray (University of Alabama),
- Thomas Degueule (CNRS),
- Jérémie Tatibouët (CEA),
- Marjan Mernik (University of Maribor),
- Federico Tomassetti (Strumenta),
- Sébastien Gérard (CEA LIST),
- Daniele Dii Pompeo (University of L’Aquila),
- Ralf Lämmel (Universität Koblenz, Facebook London),
- Davide Di Ruscio (University of L’Aquila),
- Massimo Tisi (IMT Atlantique),
- Antonio Garmendia (JKU Linz),
- Antonio Garcia-Dominguez (Aston University),
- Bianca Wiesmayr (JKU Linz).