posted by user: ebousse || 2050 views || tracked by 1 users: [display]

EXE 2018 : 4th International Workshop on Executable Modeling

FacebookTwitterLinkedInGoogle

Link: http://www.modelexecution.org/?page_id=2173
 
When Oct 14, 2018 - Oct 14, 2018
Where Copenhagen, Denmark
Abstract Registration Due Jul 10, 2018
Submission Deadline Jul 17, 2018
Notification Due Aug 17, 2018
Categories    model driven engineering   model execution   dynamic analysis   software language engineering
 

Call For Papers

----------------------------------------------------------------------------------
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://easychair.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

Related Resources

DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
BPMDS 2024   Business Process Modeling, Development, and Support
ACM ICCMS 2024   ACM--2024 The 16th International Conference on Computer Modeling and Simulation (ICCMS 2024)
Mathematically Modeling Early Christian 2024   Call for Papers - Mathematically Modeling Early Christian Literature: Theories, Methods, and Future Directions
JRMV 2024   The Journal of Risk Model Validation Call for Papers
WiOpt 2024   Modeling and Optimization in Mobile, Ad-Hoc and Wireless Networks
CSIT 2024   IEEE 19th International Conference on Computer Science and Information Technologies
ER 2024   43rd International Conference on Conceptual Modeling
BDMO 2024   2024 3rd International Conference on Big Data Modeling and Optimization (BDMO 2024)
VRIP 2024   ACM--2024 6th International Conference on Virtual Reality and Image Processing (VRIP 2024)