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

TBA

Program

TBA

Call for papers

Topics

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

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, including references, in ACM format (acmart).

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 by the ACM.

Dates

  • Paper Abstract submission deadline: Friday, June 28, 2024
  • Paper submission deadline: Friday, 5 July 2024
  • Notification of acceptance: Wednesday, 7 August 2024
  • Camera-ready deadline: Friday, 16 August 2024
  • Workshop: TBA

Organizing committee

  • Ed Seidewitz (Model Driven Solutions, USA)
  • Antonio Bucchiarone (MoDiS - FBK, Trento, Italy)
  • Dorian Leroy (CEA, France)

Program committee

TBA