Description
The objective of the MoDeVVa workshop is to bring together researchers and practitioners in the domain of V&V and MDE so that the key V&V issues in MDE can be identified and solved. For instance, with respect to usability, V&V specialists can bring theoretical foundations and approaches that work best in specific cases. MDE specialists can identify common patterns in these V&V approaches and factorize them, making the concepts easier to understand and use in various contexts.
With this year's emphasis, we are looking to encourage researchers to address the usability shortcomings of V&V and MDE which limit their adoption. A further objective is to encourage researchers in V&V and MDE to reach to other fields such as machine learning to stimulate novel approaches to existing problems in these disciplines.
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, metamodels, and model transformations. The shift from code-centric software development to model-centric software development in MDE opens up 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.
The workshop on Model Driven Engineering, Verification and Validation (MoDeVVa) offers a forum for researchers and practitioners who are working on V&V and MDE. The main goals of the workshop are to identify, investigate, and discuss mutual impacts of MDE and V&V.
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. We would additionally like to invite submissions where machine learning is used as an enabler to ease the usage and applicability in practice of modeling and verification techniques.
Call for paper
Important Dates
Draft paper submission deadline：2018-07-17
Draft paper acceptance notification：2018-08-17
Abstract submission deadline：2018-07-17
Final paper submission deadline：2018-08-21
Call for paper description
With the emphasis on usability and machine learning, papers addressing the following issues are particularly welcome:
- Usability of V&V methods applied to MDE.
- Usability of MDE in V&V tasks.
- Tools and techniques that help making use of V&V easier and more applicable to real-world problems.
- Tools and techniques that help reduce the semantic gap between V&V formalisms and MDE languages.
- Approaches to hide V&V formalisms from MDE users.
- Reducing the gap between V&V techniques and MDE.
- Integration between modelling IDEs and formal verification backends.
- V&V techniques that are invisible for the end-users who are not familiar with formal techniques (hidden models).
- Using models to increase practicability of formal verification.
- Machine learning as an enabler for modeling and verification techniques.
Other topics of interest in the broader areas at the intersection of MDE and V&V are welcome as well:
- Integrating V&V approaches into MDE.
- Defining V&V approaches that rely on MDE.
- Modelling conformance relations for checking model refinement.
- Modelling transformations and models used for V&V.
- Application of the above topics to MDE, i.e., V&V of models, metamodels, and model transformations.
- Application of the above topics to real-world case studies.
Author 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.
Committee
Program Committee
- Saad Abid (fortiss, Germany) (confirmed)
- Mira Balaban (Ben-Gurion University, Israel) (confirmed)
- Bruno Barroca (CITI-FCT/UNL, Portugal) (to be confirmed)
- Adrien Bibal (University of Namur, Belgium) (confirmed)
- Gilles Bisson (University of Grenoble, France) (to be confirmed)
- Frédéric Boulanger (Supélec, France) (confirmed)
- Fabrice Bouquet (University of Franche-Comté, France) (confirmed)
- Marsha Chechik (University of Toronto, Canada) (confirmed)
- Hao Chen (fortiss, Germany) (confirmed)
- Chih-Hong Cheng (fortiss, Germany) (confirmed)
- Juan De Lara (Autonomous University of Madrid, Spain) (confirmed)
- John Derrick (University of Sheffield, UK) (confirmed)
- Michalis Famelis (University of Montreal, Canada) (confirmed)
- Leen Lambers (Hasso Plattner Institute, University of Potsdam, Germany) (confirmed)
- Bruno Legeard (University of Franche-Comté, France) (confirmed)
- Mercedes Merayo (Complutense University of Madrid, Spain) (confirmed)
- Marius Minea (Politehnica University of Timisoara, Romania) (confirmed)
- Dehla Sokenou (GEBIT Solutions, Germany) (confirmed)
- Maria Spichkova (RMIT University, Australia) (confirmed)
- Manuel Wimmer (Vienna University of Technology, Austria) (confirmed)
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)
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)