MoDeVVa 2018
Co-located with MODELS 2018
15th Workshop on Model Driven Engineering, Verification and Validation
Copenhagen, Denmark
14-19 October 2018
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.
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 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 if more accessible to non-experts in formal methods?
Submitted papers can be either short papers (up to 4 pages) or long papers (up to 7 pages), references included, 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
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.
Submission: (July 17, 2018) July 24, 2018 (extended!)
Notification to authors: August 17, 2018
Final version: August 24, 2018
Workshop: October 16, 2018
Raquel A. Oliveira (University of Toulouse III, France)
Levi Lúcio (fortiss, Germany)
Ernesto Posse (Zeligsoft, Canada)
Daniel Ratiu (Siemens AG, Germany)
Faiez Zalila (INRIA, France)