-------- Weitergeleitete Nachricht -------- Betreff: [WI] CfP: 1st International Workshop on Executable Modeling (EXE 2015) Datum: Tue, 05 May 2015 16:21:50 +0200 Von: mayerhofer@big.tuwien.ac.at An: wi@lists.kit.edu

------------------------------------------------------------------------ Call for Papers: 1st International Workshop on Executable Modeling (EXE 2015) co-located with MODELS 2015, September 27th, 2015, Ottawa, Canada http://www.modelexecution.org/exe2015 ------------------------------------------------------------------------

We are pleased to invite you to submit papers to the First International Workshop on Executable Modeling (EXE 2015), held in conjunction with the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) at Ottawa, Canada, on September 27th, 2015.

--------------------------- 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. 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. 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).

--------------------------- Workshop Format --------------------------- EXE 2015 is a one-day workshop, divided into three parts: keynote, presentations of the accepted papers, and discussions in working groups. We plan to have one keynote talk in the morning, followed by two sessions of presentations on the accepted papers. For each presentation, we will also schedule enough time to discuss the presented work. In the afternoon session, we will split up into groups for discussing research questions, challenges, and experiences in executable modeling. Each group will present the results of their discussions at the end of the last session. The workshop will end with a brief wrap-up formulating the workshop’s conclusions. A workshop report will summarize the discussion throughout the day.

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

--------------------------- 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

-- Mailing-Liste: wi@lists.kit.edu Administrator: wi-request@lists.kit.edu Konfiguration: https://www.lists.kit.edu/wws/info/wi