-------- Forwarded Message --------
-----------------------------------------------------------------------
Call for Papers:
International Workshop on Modeling Language Engineering (MLE)
co-located with MODELS 2022,
23-25 October, 2022,
Montréal, Canada
https://mleworkshop.github.io/editions/mle2022
-----------------------------------------------------------------------
---------------------------
About the conference
---------------------------
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.
---------------------------
Topics
---------------------------
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.
---------------------------
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 summarising the key topics and ideas discussed at the
workshop to help identify the next steps that may be followed up
by workshop participants.
---------------------------
Submission and Publication
---------------------------
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](
https://easychair.org/my/conference?conf=mle2022). 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.
---------------------------
Important Dates
---------------------------
- Abstract submission deadline: July 13, 2022
- Paper submission deadline: July 20, 2022
- Notification of acceptance: August 19, 2022
- Camera-ready deadline: August 26, 2022
---------------------------
Organization committee
---------------------------
- Erwan Bousse (Nantes University)
- Faezeh Khorram (IMT Atlantique)
- Juha-Pekka Tolvanen (MetaCase)
---------------------------
Program Committee
---------------------------
TBA
_______________________________________________
AISWorld mailing list
AISWorld@lists.aisnet.org