EXE 2015

1st International Workshop on Executable Modeling

September 27, 2015, Ottawa, Canada

co-located with MODELS 2015

About | Program | Proceedings | Call | Important Dates | Committees

About the Workshop

Executable models are becoming more and more important in developing software systems, as they provide abstractions of a system’s behavior and allow for the performance of early analyses of that behavior. The objective of the First International Workshop on Executable Modeling (EXE 2015) is to draw attention to the potentials and challenges of executable modeling and advance the state-of-the-art in executable modeling. It aims at bringing together researchers working on the development of executable modeling languages and model execution tools, as well as practitioners developing or applying executable modeling languages for building software systems. The workshop intends to provide a forum for exchanging recent results, ideas, opinions, and experiences in executable modeling. Another goal is to determine and assess the state-of-the-art and to coordinate efforts in this area.

Program

EXE 2015 is a one-day workshop divided into three parts: keynote, presentations of the accepted papers, and a discussion session. The workshop will take place at the room Richelieu.

Detailed Schedule

Keynote “Why and Where Do We Need Model Execution?” by Francis Bordeleau

Short Bio

Francis Bordeleau is Product Manager in the Software Development group at Ericsson. His main areas of responsibilities include model-based engineering and modeling tools. In this role, he is responsible for defining product specification and roadmap, developing business cases, managing budget, managing open source initiatives, and collaborating with other companies, researchers, and academia.

Francis has over 20 years of experience in MBE and software engineering; researching, working, consulting, and collaborating with numerous companies worldwide. Prior to joining Ericsson in May 2013, Francis was the Founder and CEO of Zeligsoft, a provider of domain specific Model Based Engineering (MBE) tooling solutions for distributed real-time embedded systems. He was also Director of Tooling Business for PrismTech. Prior to found Zeligsoft, he was an Assistant Professor at the School of Computer Science at Carleton University.

Francis holds a B.Sc. in Mathematics from University of Montreal, a Bachelor of Computer Science from University of Quebec (UQO), and a Master in Computer Science and Ph.D. in Electrical Engineering from Carleton University.

Proceedings

The proceedings of the workshop are published on CEUR volume 1560.

Call for Papers

Context

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. They 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. For instance, model animators and model debuggers aid in comprehending and exploring the modeled system’s behavior, as well as in locating defects in models (e.g., locating defects in the system design). Other examples of model execution tools that provide analysis facilities include model checkers, model testing environments, and trace exploration tools.

Scope and Topics

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 2015 will provide a forum for researchers and practitioners to discuss these challenges and propose potential solutions, as well as assessing and advancing the state-of-the-art in this area. Topics of interest for the workshop include but are not limited to the following:

1. Languages, techniques and methods for developing executable modeling languages, including considerations of quality aspects, reuse, specialization, composing, and evolution of executable modeling languages.
2. Techniques and methods for developing model execution tools, such as, model debuggers, model animators, and trace exploration tools, including automation techniques for developing model execution tools and techniques for reusing, specializing, extending, and composing executable modeling languages at the tool level.
3. Experiences in applying executable models and model execution tools for the development and operation of systems, as well as in developing and deploying executable modeling languages and model execution tools.

Submissions

We will accept three types of submissions:

1. Research papers (up to 6 pages) presenting novel and innovative approaches in one of the topics of the workshop. We also strongly encourage the submission of comparative studies on existing approaches in one of the topics.
2. Experience reports (up to 6 pages) presenting experiences and lessons learned in one of the topics of the workshop. Experience reports should discuss knowledge gained from an executable modeling project experience and identify key challenges encountered.
3. Position papers (up to 2 pages) presenting new ideas or early research results in one of the topics of the workshop.

All submissions should follow the IEEE formatting instructions:

• LaTeX: Class file IEEEtran v1.8 available at http://cruise.eecs.uottawa.ca/models2015/resources/IEEEtran.cls
• Word: Template available at http://cruise.eecs.uottawa.ca/models2015/resources/MSW_USltr_format.doc

Please submit your paper electronically as PDF via EasyChair at https://easychair.org/conferences/?conf=exe2015.

All submissions will be evaluated by at least three members of the program committee. Research papers and experience report 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).

Important Dates

• Submission deadline: July 17th, 2015
• Notification of acceptance: August 21st, 2015
• Workshop: September 27th, 2015

Committees

Organizers

• Tanja Mayerhofer, Vienna University of Technology, Austria
• Philip Langer, EclipseSource, Austria
• Ed Seidewitz, independent, USA
• Jeff Gray, University of Alabama, USA

Program Committee

• Jordi Cabot, INRIA and Ecole des Mines de Nantes, France
• Tony Clark, Middlesex University, United Kingdom
• Benoit Combemale, IRISA and University of Rennes 1, France
• Juergen Dingel, Queen’s University, Canada
• Gregor Engels, University of Paderborn, Germany
• Sebastien Gerard, CEA List, France
• Martin Gogolla, University of Bremen, Germany
• Frederic Jouault, ESEO, France
• Dimitris Kolovos, University of York, 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
• Markus Scheidgen, Humboldt University Berlin, Germany
• Jeremie Tatibouet, CEA List, France
• Massimo Tisi, INRIA and Ecole des Mines de Nantes, France
• Hans Vangheluwe, University of Antwerp, Belgium and McGill University, Canada