About |  Call for Papers | Dates |  Program Committee

About

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.

Keynote (Jean-Marc Jézéquel)

Composability in Modeling Languages

Composability is a nice to have property when engineering modeling languages. However it is seldom there at the inception of a new language, and generally not done in the right way. We take several examples of composability in existing languages, and highlight their drawbacks. We then isolate the most basic properties of composition with the mathematical notions of commutativity and associativity, and discuss how modeling languages should be engineered with these in mind, using the example of Grail, a variability realization language for product lines.

Speaker: Jean-Marc Jézéquel

Jean-Marc Jézéquel is a Professor of Software Engineering at the University of Rennes and a member of the DiverSE team at IRISA/Inria, as well as a fellow of the Institut Universitaire de France (IUF). Since 2024 he is President of Informatics Europe. From 2012 to 2020 he was Director of IRISA, one of the largest public research lab in Informatics in France. In 2016 he received the Silver Medal from CNRS and in 2020 the IEEE/ACM MODELS career award. He was an invited professor at McGill University in 2022.

Program

tba

Call for Papers

Topics

The topics of interest for MLE 2025 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.

Workshop Format

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 summarizing the key topics and ideas discussed at the workshop to help identify the next steps that may be followed up by workshop participants.

Submission

For each of the aforementioned topics, authors are invited to submit a paper of 6 pages following the IEEE format (ieeetran). Up to two additional pages containing only references are permitted. The workshop is open to the following types of submissions:

  • vision papers
  • technical (novel approach) papers
  • experience report papers; and
  • ramp-up papers.

Where all submissions shall relate to the topic of “modeling language engineering in 2035”. Ramp-up papers are papers not meant for publication but for discussion and refining at the workshop to lead to submission at a related venue (such as the SLE conference). Ramp-up papers will be reviewed with this in mind and will receive more time for discussion during the workshop. Also, submitted papers can be accompanied by concrete artifacts, such as models (requirements, design, analysis, transformation, composition, etc.), stored in a public repository.

All submissions have to follow the IEEE 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. More precisely, the PC will evaluate:

  • For vision papers, the impact, scope, and plausibility of the vision;
  • For technical papers and ramp-up papers, the soundness and the novelty of the proposed approach;
  • For experience report papers, the empirical protocol and the impact of its outcomes;

Furthermore, all submissions must be original work and must not have been previously published or being under review elsewhere. The accepted papers which are not ramp-up papers, will be included in the joint workshop proceedings published by the IEEE.

Dates

  • Paper submission deadline: July 10, 2025
  • Notification of acceptance: July 31, 2025
  • Camera-ready deadline: August 07, 2025
  • Workshop: tba

Organizing Committee

  • Josselin Enet (F1RE, Netherlands)
  • Ivan Kurtev (Eindhoven University & Capgemini Engineering, Netherlands)
  • Andreas Wortmann (University of Stuttgart, Germany)

Contact us via mle2025@easychair.org.

Program Committee

  • Hugo Brunelière, IMT Atlantique, France
  • Juha-Pekka Tolvanen, MetaCase, Finland
  • Bianca Wiesmayr, Johannes Kepler University Linz, Austria
  • Zoltan Micskei, Budapest University of Technology and Economics, Hungary
  • Ulyana Tikhonova, F1RE, The Netherlands
  • Léa Brunschwig, Université de Pau et des Pays de l’Adour, France
  • Andreas Graf, itemis AG
  • Juan de Lara, Universidad Autonoma de Madrid
  • Jean-Marie Mottu, Nantes Université
  • Juergen Dingel, Queen’s University
  • Nicolas Rouquette, Jet Propulsion Laboratory
  • Ernesto Posse, Lumenix/Zeligsoft
  • Marsha Chechik, University of Toronto
  • Peter Clarke, Florida International University
  • Romina Eramo, University of Teramo
  • Faezeh Khorram, HUAWEI Technologies
  • Eugen Schindler, Canon Production Printing
  • Cortland Starrett, One Fact Inc