MoDeVVa 2018: 15th Workshop on Model Driven Engineering, Verification and Validation Copenhagen, Denmark, October 14-19, 2018 |
Conference website | https://sites.google.com/site/modevva/home |
Submission link | https://easychair.org/conferences/?conf=modevva2018 |
Abstract registration deadline | July 24, 2018 |
Submission deadline | July 24, 2018 |
Important Dates
- Submission:
July 17July 24, 2018 - Notification to authors: August 17, 2018
- Final version: August 24, 2018
- Workshop: October 16, 2018
Scope, Objectives, and Topics of interest
Models are purposeful abstractions of systems and their environments. They can be used to understand, simulate, and validate complex systems at different abstraction levels. Thus, the use of models is of increasing importance for industrial applications. Model-Driven Engineering (MDE) is a development methodology that is based on models, meta-models, and model transformations. The shift from code-centric software development to model-centric software development in MDE opens promising opportunities for the verification and validation (V\&V) of software. On the other hand, the growing complexity of models and model transformations requires efficient V\&V techniques in the context of MDE.
- Topics of MoDeVVa
The objective of MoDeVVa is to offer a forum for researchers and practitioners who are working on V&V and/or MDE. The major questions of interest in MoDeVVa revolve around the possible overlaps and mutual benefits of MDE and V\&V:
How can MDE improve V&V?
How can V&V increase the reliability of MDE?
These questions span a wide range of topics, all of which are relevant to MoDeVVa. Such topics include: the specification of properties for different MDE artifacts (e.g., models, metamodels, model transformations, product lines), V&V techniques for different MDE artifacts, analyzing the impact of changes in MDE artifacts on V&V and the need for incremental V&V, enhancing MDE artifacts (e.g., models and metamodels) to better support V&V, the adoption of MDE and V&V in industrial contexts, the use of transformations to automate the MDE process (from requirements specification to source code generation), and analyzing and verifying transformations to certify the automation of the MDE process.
For the 2018 edition of the MoDeVVa workshop we would like to propose an emphasis on usability, user-friendliness and approaches, tools and techniques that enable the applicability of V&V in MDE as well as the use of MDE in V&V activities.
Therefore, we especially invite papers that investigate one of the following
questions:
How to increase the usability of formal techniques as a means to leverage its application to real-world problems?
Which usability properties can be applied in the formal verification context to make it more accessible to non-experts in formal methods?
Submission Guidelines
Submitted papers can be either short papers (up to 4 pages) or long papers (up to 7 pages), in CEUR two-column format.
Short papers are aimed at discussing innovative ideas while long papers are aimed at presenting more mature and evaluated research. All accepted papers will be published in the CEUR workshop proceedings, which is indexed by DBLP.
Papers should be submitted via EasyChair: https://easychair.org/conferences/?conf=modevva2018
Workshop Format
MoDeVVa 2018 will include paper presentations and discussions. We anticipate an enjoyable and exciting event where all participants will leave with answers or well-founded doubts on MDE and V&V.
Committees
Program Committee
- Saad Abid (fortiss, Germany)
- Mira Balaban (Ben-Gurion University, Israel)
- Adrien Bibal (University of Namur, Belgium)
- Gilles Bisson (University of Grenoble, France)
- Frédéric Boulanger (Supélec, France)
- Fabrice Bouquet (University of Franche-Comté, France)
- Marsha Chechik (University of Toronto, Canada)
- Hao Chen (fortiss, Germany)
- Chih-Hong Cheng (fortiss, Germany)
- Juan De Lara (Autonomous University of Madrid, Spain)
- John Derrick (University of Sheffield, UK)
- Michalis Famelis (University of Montreal, Canada)
- Leen Lambers (Hasso Plattner Institute, University of Potsdam, Germany)
- Bruno Legeard (University of Franche-Comté, France)
- Mercedes Merayo (Complutense University of Madrid, Spain)
- Marius Minea (Politehnica University of Timisoara, Romania)
- Dehla Sokenou (GEBIT Solutions, Germany)
- Maria Spichkova (RMIT University, Australia)
- Manuel Wimmer (Vienna University of Technology, Austria)
Steering Committee
- Benoit Baudry (INRIA, France
- Michalis Famelis (Université de Montreal, Canada)
- Christophe Gaston (CEA, France)
- Levi Lucio (fortiss, Germany)
- Frederic Boulanger (Supelec, France)
- Stephan Weissleder (Fraunhofer FIRST, Germany)
- Martina Seidl (Johannes Kepler University Linz, Austria)
Organizing committee
- Raquel Araújo de Oliveira (University of Toulouse III - Paul Sabatier & IRIT, France)
- Levi Lúcio (fortiss, Germany)
- Ernesto Posse (Zeligsoft, Canada)
- Daniel Ratiu (Siemens AG, Germany)
- Faiez Zalila (INRIA, France)