-------- Forwarded Message --------
-----------------------------------------------------------------------
Call for Papers:
4th International Workshop on Executable Modeling (EXE 2018)
Co-located with MODELS 2018, October 14, 2018 Copenhagen, Denmark
http://www.modelexecution.org/exe2018
-----------------------------------------------------------------------
We are pleased to invite you to submit papers to the Fourth
International Workshop on Executable Modeling (EXE 2018), held in
conjunction with the ACM/IEEE 20th International Conference on
Model
Driven Engineering Languages and Systems (MODELS) at Copenhagen,
Denmark, on October 14, 2018.
-----------------------------------------------------------------------
Scope and Topics
-----------------------------------------------------------------------
The complexity of modern software-intensive systems,
time-to-market
pressures, and the need for high quality systems are current
challenges
faced by the software and systems engineering industry. To address
these challenges, model-driven engineering (MDE) advocates the
elevation of models into the center of the development process.
Models
provide abstractions over the system to be developed, while also
providing enough detail to automate the development of
implementation
artifacts and perform early analysis.
In this context, executable models become more and more important.
They
provide abstractions of complex system behaviors and constitute
the
basis for performing early analyses of that behavior. The ability
to
analyze a system’s behavior early in its development has the
potential
to turn executable models into important assets of model-driven
software development processes.
Despite the potential benefits of executable models, there are
still
many challenges to solve, such as the lack of maturity in the
definition of and tooling for executable modeling languages, and
the
limited experience with executable modeling in much of the
software and
systems development industry. EXE 2018 will provide a forum for
researchers and practitioners to discuss these challenges and
propose
potential solutions, as well as to assess and advance the
state-of-the-
art in this area.
Topics of interest to the workshop include but are not limited to
the
following:
- Methodologies, languages, techniques, and methods for designing
and
implementing executable modeling languages
- Case studies and experience reports on the successful or failed
adoption of executable modeling in different application domains
and
application contexts
- Model execution tools for the (dynamic) validation,
verification, and
testing of systems (e.g., model animation, debugging, simulation,
trace
exploration, model checking, symbolic execution)
- Tracing model executions and analyzing model execution traces -
Automation techniques for the development of 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)
- Customization of executable modeling languages and model
execution
tools (e.g., semantic variation points,profiles)
- Composition, extension, and reuse of executable modeling
languages
and model execution tools - Integration of executable 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
- Surveys and benchmarks of different approaches for the
development of
executable modeling languages, model execution, and
execution-based
model analysis
---------------------------------------------------------------------
Submissions
-----------------------------------------------------------------------
We will accept the following types of submissions:
1) Research papers (up to 6 pages) presenting novel and innovative
approaches in executable modeling. We also strongly encourage the
submission of comparative studies and benchmarks of existing
approaches
in one of the workshop topics.
2) Experience reports (up to 6 pages) presenting experiences and
lessons learned in executable modeling. Experience reports should
discuss knowledge gained from an executable modeling project and
identify key challenges encountered.
3) Position papers (up to 3 pages) presenting new ideas or early
research results in executable modeling.
4) Tool demonstration papers (up to 3 pages) presenting novel
tools or
novel features of state-of-the-art tools related to executable
modeling. Submissions of tool demonstration papers should consist
of
two parts. The first part (up to 3 pages) will be included in the
proceedings and should describe the tool presented (please include
the
URL of the tool if available). The second part (up to 2 pages)
should
explain how the tool demonstration will be carried out at the
workshop,
including examples and screenshots.
All submissions have to follow the ACM sigconf formatting
instructions
available at
https://www.acm.org/publications/proceedings-template.
Submissions created with LaTeX are preferred, but using Word is
allowed.
Submit your paper electronically as PDF via EasyChair at
https://easych
air.org/conferences/?conf=exe2018.
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 validity
and
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.
For each accepted paper, at least one of the authors must register
for
the workshop, participate fully in the workshop, and present the
paper
at the workshop. A pre-workshop version of the accepted papers
will be
available on the workshop website and a post-workshop version will
be
published as CEUR workshop proceedings (
http://ceur-ws.org).
-----------------------------------------------------------------------
Workshop Format
-----------------------------------------------------------------------
EXE 2018 is a full-day workshop held as part of MODELS 2018. We
plan to
have one keynote talk in the morning, followed by two sessions of
presentations of the accepted papers. The last session of the day
will
be a discussion session, where challenges, questions, experiences,
opinions, and requirements related to executable modeling will be
discussed. The detailed program will be announced in August,
shortly
after the author notifications have been sent.
-----------------------------------------------------------------------
Important Dates
-----------------------------------------------------------------------
- Abstract submission deadline: July 10, 2018
- Submission deadline: July 17, 2018
- Author notification: August 17, 2018
- Submission deadline for camera-ready version: August 21, 2018
- Workshop: October 14, 2018
-----------------------------------------------------------------------
Organizers
-----------------------------------------------------------------------
- Tanja Mayerhofer, TU Wien, AT
- Philip Langer, EclipseSource, AT
- Ed Seidewitz, nMeta, US
- Jeff Gray, University of Alabama, US
- Erwan Bousse, TU Wien, AT
Contact:
exe@modelexecution.org
-----------------------------------------------------------------------
Program Committee
-----------------------------------------------------------------------
- Francis Bordeleau, Canada
- Andrei Chiş, feenk, Switzerland
- Federico Ciccozzi, Mälardalen University, Sweden
- Tony Clark, Aston University, United Kingdom
- Peter Clarke, Florida International University, United States
- Benoit Combemale, IRISA and University of Rennes, France
- Jonathan Corley, University West Georgia, USA
- Julien Deantoni, University Nice Sophia Antipolis, CNRS, I3S,
Inria,
France
- Thomas Degueule, CWI, The Netherlands
- Davide Di Ruscio, University of L'Aquila, Italy
- Juergen Dingel, Queen's University, Canada
- Nicolas Hili, IRT Saint Exupéry, France
- Nicholas Matragkas, University of Hull, United Kingdom
- Marjan Mernik, University of Maribor, Slovenia
- Zoltan Micskei, Budapest University of Technology and Economics,
Hungary
- Domenik Pavletic, Robert Bosch GmbH, Germany
- Ernesto Posse, Zeligsoft, Canada
- Taylor Riche, National Instruments, United States
- Bran Selic, Malina Software Corporation, Canada
- Cortland Starrett, One Fact Inc, United States
- Jérémie Tatibouët, CEA, France
- Massimo Tisi, Ecole des Mines de Nantes, France
- Simon Van Mierlo, University of Antwerp, Belgium
- Andreas Wortmann, RWTH Aachen University, Germany
- Thanos Zolotas, University of York, United Kingdom
--
Mailing-Liste:
wi@lists.kit.edu
Administrator:
wi-request@lists.kit.edu
Konfiguration:
https://www.lists.kit.edu/wws/info/wi