-------- Forwarded Message --------
------------------------------------------------------------
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)
_______________________________________________
AISWorld mailing list
AISWorld@lists.aisnet.org