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.
Title: Out-of-the-Box Testing and Debugging Techniques for Domain-Specific Languages
Developing software-intensive systems is still a major challenge as current systems have to incorporate complex domain knowledge, e.g., see Digital Twins as one prominent example. Model-Driven Engineering aims at reducing the accidental complexity associated with the development of such systems through the use of Domain-Specific Languages (DSLs). Such languages allow domain experts the design of systems by providing dedicated modeling concepts and editors. However, to realize the full potential of DSLs, domain experts have to be kept in the loop in later phases of the system life-cycle such as testing and debugging. For this, additional tool support is required that goes beyond what is currently provided by modeling editors.
To improve this situation, we propose the automated generation of generic testing and debugging tools for DSLs based on existing language engineering techniques which also incorporate the operational semantics of DSLs. In particular, we have worked on model coverage computation to assess the quality of test suites for domain-specific models and fault localization mechanisms to trace back incorrect behaviour to those model elements that cause the fault. In my talk, I will give an overview on the foundations for such techniques and give a tour on tools we have developed with our international collaboration partners for the GEMOC Studio.
Date: Sunday the 1st of October 2023
Session 1 – Domain-Specific Modeling (9:25 - 11:00)
9:25 – Workshop introduction
9:30 – User-Centric Model-Aware Recommendations for Industrial Domain-Specific Modelling Languages. Rohit Gupta, Nico Jansen, Nikolaus Regnat and Bernhard Rumpe
10:00 – Enhancing Gameful Systems with a Domain Specific Language for Rules Lifecycle Management. Antonio Bucchiarone, Stefano Martella, Mario Fusco and Henry Muccini
10:30 – On the Suitability of LSP and DAP for Domain-Specific Languages. Josselin Enet, Erwan Bousse, Massimo Tisi and Gerson Sunyé
Coffee break (11:00 − 11:30)
Session 2 – Panel (11:30 − 13:00)
Title: “Engineering and Implementing SysML v2”
Moderator: Ed Seidewitz, Model Driven Solutions
- Jérémie Tatibouet, CEA
- Maxime Savary-LeBlanc, Ansys
- Patrick Ollerton, PTC
- Ákos Horváth, IncQuery Labs
Lunch break (13:00 − 14:30)
Session 3 – Keynote (14:30 - 15:30)
14:30 – Keynote: Manuel Wimmer
Session 4 (1) – Modeling Language Tooling (15:30 - 16:00)
15:30 – Collaborative Live Modelling by Language-Agnostic Versioning. Joeri Exelmans, Ciprian Teodorov, Robert Heinrich, Alexander Egyed and Hans Vangheluwe
Coffee break (16:00 - 16:30)
Session 4 (2) – Modeling Language Tooling (16:30 - 18:00)
16:30 – Monitoring Association Constraints in Model-Oriented Programming. Sylvain Guerin, Joel Champeau, Antoine Beugnard and Salvador Martínez
17:00 – Towards an End-to-End Metamodeling Approach using Rust. Léo Olivier, Marcos Didonet Del Fabro, Chokri Mraidha and Sébatien Gérard
17:30 – Discussions
Call for papers
The topics of interest for MLE 2023 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 IEEE format (
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 IEEE format (
IEEEtran) 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 by the IEEE.
- Paper Abstract submission deadline: July 17, 2023, AOE
- Paper submission deadline: July 20, 2023, AOE
- Notification of acceptance: August 15, 2023, AOE
- Camera-ready deadline: August 22, 2023, AOE
- Workshop: October 1, 2023, full day
- Ed Seidewitz (Model Driven Solutions, USA)
- Arnaud Blouin (INSA Rennes, France)
- Jérôme Pfeiffer (Universität Stuttgart, Germany)
- Peter J.Clarke, Florida International University , USA
- Davide Di Ruscio, University of L’Aquila, Italy
- Juergen Dingel, Queen’s University, Canada
- Djamel Eddine Khelladi, CNRS, France
- Faezeh Khoram, IMT Atlantique, France
- Zoltán Micskei, Budapest University of Technology and Economics, Hungary
- Jean-Marie Mottu, Nantes University, France
- Cortland Starrett, OneFact, USA
- Massimo Tisi, IMT Atlantique, France
- Juha-Pekka Tolvanen, MetaCase, Finland
- Federico Tomassetti, Strumenta, Italia
- Ernesto Posse, Zeligsoft, Canada
- Manuel Wimmer, Johannes Kepler University Linz, Austria
- Andreas Wortmann, RWTH Aachen University, Germany