EXE 2016
Date: Oct 02, 2016 12:00 am – Oct 07, 2016 11:00 am
Location: Saint-Malo, France
2nd International Workshop on Executable Modeling (EXE 2016)
co-located with MODELS 2016
We are pleased to invite you to submit papers to the Second International Workshop on Executable Modeling (EXE 2016), held in conjunction with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS) at Saint-Malo, France, in October, 2016.
---------------------------
Scope and Topics
---------------------------
The complexity of modern software systems, time-to-market pressures, and the need for high quality software are current challenges faced by the software 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 software analysis.
In this context, executable models become more and more important. Executable models provide abstractions of a system's behavior 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 a model-driven software development process.
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 development industry. EXE 2016 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 for the workshop include but are not limited to the following:
- Methodologies, languages, techniques, and methods for designing and implementing executable modeling languages
- Model execution tools for the validation, verification, and testing of systems (e.g., model animation, debugging, simulation, trace exploration, model checking, symbolic execution)
- Case studies and experience reports on the successful or failed adoption of executable modeling in different application domains and application contexts
- Empirical investigations and evaluations of model execution tools
- Executable modeling in education
- 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
---------------------------
Organizers
---------------------------
* Tanja Mayerhofer, TU Wien, Austria
* Philip Langer, EclipseSource, Austria
* Ed Seidewitz, independent, USA
* Jeff Gray, University of Alabama, USA
---------------------------
Program Committee
---------------------------
* Colin Atkinson, University of Mannheim, Germany
* Francis Bordeleau, Ericsson, Canada
* Jordi Cabot, ICREA - UOC, Spain
* Tony Clark, Sheffield Hallam University, United Kingdom
* Peter Clarke, Florida International University, United States
* Benoit Combemale, IRISA and University of Rennes, France
* Juergen Dingel, Queen's University, Canada
* Martin Gogolla, University of Bremen, Germany
* Timothy Lethbridge, University of Ottawa, Canada
* Nicholas Matragkas, University of Hull, United Kingdom
* Marjan Mernik, University of Maribor, Slovenia
* Zoltan Micskei, Budapest University of Technology and Economics, Hungary
* Richard Paige, University of York, United Kingdom
* Alessandro Romero, Brazilian National Institute for Space Research, Brazil
* Bernhard Rumpe, RWTH Aachen University, Germany
* Jesús Sánchez Cuadrado, Universidad Autónoma de Madrid, Spain
* Markus Scheidgen, Humboldt University Berlin, Germany
* Bran Selic, Malina Software Corporation, Canada
* Cortland Starrett, One Fact Inc, United States
* Eugene Syriani, University of Montreal, Canada
* Jérémie Tatibouët, CEA, France
* Massimo Tisi, Ecole des Mines de Nantes, France
* Mark Van Den Brand, Eindhoven University of Technology, The Netherlands
* Hans Vangheluwe, University of Antwerp, Belgium and McGill University, Canada
Submitted by Anonymous
on
2nd International Workshop on Executable Modeling (EXE 2016)
co-located with MODELS 2016
We are pleased to invite you to submit papers to the Second International Workshop on Executable Modeling (EXE 2016), held in conjunction with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS) at Saint-Malo, France, in October, 2016.
---------------------------
Scope and Topics
---------------------------
The complexity of modern software systems, time-to-market pressures, and the need for high quality software are current challenges faced by the software 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 software analysis.
In this context, executable models become more and more important. Executable models provide abstractions of a system's behavior 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 a model-driven software development process.
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 development industry. EXE 2016 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 for the workshop include but are not limited to the following:
- Methodologies, languages, techniques, and methods for designing and implementing executable modeling languages
- Model execution tools for the validation, verification, and testing of systems (e.g., model animation, debugging, simulation, trace exploration, model checking, symbolic execution)
- Case studies and experience reports on the successful or failed adoption of executable modeling in different application domains and application contexts
- Empirical investigations and evaluations of model execution tools
- Executable modeling in education
- 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
---------------------------
Organizers
---------------------------
* Tanja Mayerhofer, TU Wien, Austria
* Philip Langer, EclipseSource, Austria
* Ed Seidewitz, independent, USA
* Jeff Gray, University of Alabama, USA
---------------------------
Program Committee
---------------------------
* Colin Atkinson, University of Mannheim, Germany
* Francis Bordeleau, Ericsson, Canada
* Jordi Cabot, ICREA - UOC, Spain
* Tony Clark, Sheffield Hallam University, United Kingdom
* Peter Clarke, Florida International University, United States
* Benoit Combemale, IRISA and University of Rennes, France
* Juergen Dingel, Queen's University, Canada
* Martin Gogolla, University of Bremen, Germany
* Timothy Lethbridge, University of Ottawa, Canada
* Nicholas Matragkas, University of Hull, United Kingdom
* Marjan Mernik, University of Maribor, Slovenia
* Zoltan Micskei, Budapest University of Technology and Economics, Hungary
* Richard Paige, University of York, United Kingdom
* Alessandro Romero, Brazilian National Institute for Space Research, Brazil
* Bernhard Rumpe, RWTH Aachen University, Germany
* Jesús Sánchez Cuadrado, Universidad Autónoma de Madrid, Spain
* Markus Scheidgen, Humboldt University Berlin, Germany
* Bran Selic, Malina Software Corporation, Canada
* Cortland Starrett, One Fact Inc, United States
* Eugene Syriani, University of Montreal, Canada
* Jérémie Tatibouët, CEA, France
* Massimo Tisi, Ecole des Mines de Nantes, France
* Mark Van Den Brand, Eindhoven University of Technology, The Netherlands
* Hans Vangheluwe, University of Antwerp, Belgium and McGill University, Canada