-------- Forwarded Message --------
-----------------------------------------------------------------------
2nd Call for Papers:
International Workshop on Modeling Language Engineering and
Execution (MLE)
The joint Fifth International Workshop on Executable Modeling
(EXE)
and Seventh International Workshop on the Globalization of
Modeling Languages (GEMOC),
co-located with MODELS 2019,
September 2019,
Munich, Germany
http://gemoc.org/events/mle2019
-----------------------------------------------------------------------
---------------------------
About the conference
---------------------------
MLE 2019 is a brand new MODELS workshop resulting from the merger
of two recurring MODELS workshops, namely GEMOC and EXE!
Accordingly, it will be a full-day workshop that brings together
researchers and practitioners in the modeling languages community
to discuss the challenges associated with the engineering of
modeling languages, with executability, and with integrating
multiple, heterogeneous modeling languages. The languages of
interest include both general-purpose and domain-specific
languages with topics ranging from the requirements, design, and
implementation of languages that may or may not be executable.
Following the previous editions of the GEMOC and EXE workshops,
the objective is to continue collaborations and to expand on the
two overlapping communities that are focused on solving problems
arising both from the globalization of modeling languages − i.e.,
the use of multiple DSLs to support coordinated development of
diverse aspects of a system − and the problems related to the
executability of modeling languages − i.e., defining, composing,
verifying and tooling the execution semantics of DSLs. MLE 2019
will provide an open forum for sharing experiences, problems, and
solutions on all these topics. This workshop will be the place
where concrete artifacts, ideas, and opinions are exchanged in
order to gather constructive feedback.
---------------------------
Keynote
---------------------------
« Modelling Syntax, Semantics and Pragmatics in Practice » by
Vadim Zaytsev, Chief Science Officer of Raincode and Raincode
Labs.
---------------------------
Topics
---------------------------
The increasing complexity of modern software-intensive systems
demands enhanced software engineering methods. Separation of
concerns of the diverse stakeholders’ facilitates the coordinated
development of system aspects implementing these concerns. These
different concerns are often associated with specialized
description languages and technologies, which are based on
concern-specific problems and solution concepts. Executable
modeling languages, for instance, are increasingly used to provide
abstractions of a system’s behavior, and to perform early analyses
of that behavior. Hence, software developers are faced both with
the challenging task of engineering each separate modeling
language and associated technologies and with the task of
integrating the different languages from different concern spaces.
The topics of interest include (but are not limited to):
- Tools and methods for engineering modeling languages (eg. DSLs)
- Defining, composing, verifying and tooling the execution
semantics of modeling languages
- Composability and interoperability of heterogeneous modeling
languages
- Heterogeneous modeling and simulation
- Tools and methods for the dynamic validation, verification of
systems (e.g., model animation, testing debugging, simulation,
tracing, trace exploration, model checking, symbolic execution)
- Tools and methods to deal with the different system aspects and
to ensure consistency and coherence between the different models
- Execution and composition of partial and underspecified models
- Language interface, viewpoint
- Multi-language or multi-disciplinary environment
- Model execution and composition in the presence of
non-determinism and concurrency
- Tools and methods for socio-technical coordination in the
context of heterogeneous modeling
- Language integration challenges, from requirements to design,
for analysis and simulation, during runtime, etc.
- Surveys and benchmarks of different approaches for the
development of modeling languages
Submissions describing practical and industrial experience related
to the use of executable and/or heterogeneous modeling languages
are also encouraged, particularly in the following application
domains:
- Cyber-Physical Systems, System of Systems
- Internet of Services, Internet of Things
- Complex Adaptive Systems
- Smart City, Smart Building, Home automation
---------------------------
Workshop Format
---------------------------
The format of the workshop reflects the goals of the workshop:
constructive feedback on submitted papers and other artifacts on
the conjoint use of different modeling languages, collaborations,
and community building. The format of the workshop is that of a
working meeting. Hence, there is less focus on presentations and
more focus on producing and documenting a research content that
identifies challenges, different forms of language 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 session is
devoted to a working session dedicated to open discussions of the
presented contributions and other topics suggested by the
participants. The closing session is dedicated to develop a plan
to publish the results of the discussion in a final workshop
report.
---------------------------
Submission and Publication
---------------------------
The following types of submissions are solicited:
- Research papers (up to 8 pages)
- Short papers (up to 4 pages)
As contributions, we expect early research results about the
aforementioned topics, descriptions of problems, case studies,
experience reports or solutions related to the topics of interest.
We also strongly encourage the submission of comparative studies
and benchmarks of existing approaches in one of the topics. Short
papers can also describe tool demonstrations or position papers.
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 the IEEE format
(
https://www.ieee.org/conferences/publishing/templates.html) and
must be submitted electronically in PDF format via Easychair
(
https://easychair.org/my/conference?conf=mle2019).
All submissions will be evaluated by at least three members of the
program committee. Research papers, experience reports, and tool
demonstration papers will be evaluated concerning novelty,
correctness, significance, readability, and alignment with the
workshop call. Position papers will be evaluated primarily
concerning the validity and the ability to generate discussion
(even controversy), as well as 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 IEEE online proceedings
and indexed in DBLP and Scopus.
---------------------------
Important Dates
---------------------------
- Abstract submission deadline: June 28, 2019
- Paper submission deadline: July 5, 2019
- Notification of acceptance: July 28, 2019
- Workshop: September 2019
---------------------------
Organization committee
---------------------------
- Erwan Bousse, University of Nantes, France
- Julien Deantoni, University of Nice, France
- Romina Eramo, University of L’Aquila, Italy
- Jeff Gray, University of Alabama, USA
- Ed Seidewitz, Model Driven Solutions, USA
---------------------------
Program Committee
---------------------------
- Bernhard Rumpe, RWTH Aachen University
- Taylor Riche, National Instruments
- Florian Noyrit, CEA LIST
- Steffen Zschaler, King's College London
- Andrei Chiș, feenk gmbh
- Gunter Mussbacher, McGill University
- Jean-Michel Bruel, IRIT
- Manuel Wimmer, Johannes Kepler University Linz
- Thomas Degueule, CWI
- Federico Ciccozzi, Mälardalen University
- Hans Vangheluwe, University of Antwerp and McGill University
- Hugo Bruneliere, NaoMod Team (IMT Atlantique & LS2N - CNRS)
- Andreas Wortmann, RWTH Aachen University
- Mark Van Den Brand, Eindhoven University of Technology
- Jérémie Tatibouët, CEA
- Benoit Combemale, University of Toulouse & Inria
- Tony Clark, Aston University
- Safouan Taha, CentraleSupelec
- Matthias Schöttle, McGill University
- Nicolas Hili, IRT Saint Exupéry
_______________________________________________
AISWorld mailing list
AISWorld@lists.aisnet.org