Extended Deadline: Modeling Language Engineering and Execution (MLE'20) at MODELS'20

------------------------------------------------------------
CALL FOR PAPERS
------------------------------------------------------------

2nd International Workshop on
Modeling Language Engineering and Execution (MLE'20)
at MODELS'20

https://mleworkshop.github.io/

------------------------------------------------------------

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 and Execution (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.

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
  Maintenance-related topics
- 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.

------------------------------------------------------------
Workshop Format
------------------------------------------------------------

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.

------------------------------------------------------------
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 5 pages in ACM 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 ACM format and must be submitted
electronically in PDF format via Easychair
(https://easychair.org/my/conference?conf=mle2020). 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 published as ACM online
proceedings and indexed in DBLP and Scopus.

------------------------------------------------------------
Important Dates
------------------------------------------------------------

- Paper submission deadline: July 26, 2020
- Notification of acceptance: August 21, 2020
- Camera-ready deadline: August 28, 2020
- Workshop: October 18, 19 or 20, 2020

------------------------------------------------------------
Program Committee
------------------------------------------------------------

- Erwan Bousse (Université de Nantes)
- Marsha Chechik (University of Toronto)
- Federico Ciccozzi (Mälardalen University)
- Tony Clark (Sheffield Hallam University)
- Benoit Combemale (University of Toulouse)
- Jonathan Corley (University of West Georgia)
- Julien Deantoni (UNS- I3S- INRIA Sophia Antipolis Mediterranee)
- Marjan Mernik (University of Maribor)
- Gunter Mussbacher (McGill University)
- Florian Noyrit (CEA LIST)
- Richard Paige (University of York)
- Bernhard Rumpe (RWTH Aachen University)
- Matthias Schöttle (McGill University)
- Safouan Taha (CentraleSupélec, LRI)
- Federico Tomassetti (Strumenta)
- Mark van den Brand (Eindhoven University of Technology)

------------------------------------------------------------
Organizers
------------------------------------------------------------

- Andreas Wortmann (RWTH Aachen University)
- Steffen Zschaler (King’s College London)
- Taylor L. Riché (National Instruments)