Call for Papers
MoDeVVa 2017
Co-located with MODELS 2017
14th Workshop on Model Driven Engineering, Verification and Validation
Austin, Texas, U.S.A.
Tuesday, September 19th, 2017
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 2017 edition of the MoDeVVa workshop, we would like to put an emphasis on comparing and combining different V&V techniques of MDE artifacts (e.g., classical testing, static analysis, model checking, deductive approaches, runtime verification). We aim to combine the results of different (possibly incomplete) verification approaches in order to increase the confidence in the integrity of models and transformations. Therefore, we especially invite papers that investigate one of the following questions:
How can more formal verification approaches complement the semi-formal ones?
How can V&V approaches be combined to assess the different requirements of artifacts?
How do different V&V techniques compare with each other with respect to different criteria (e.g., time efficiency, memory usage, soundness, completeness, user-friendliness) ?
How to increase the confidence in the correctness of a system by using heterogeneous verification results as evidence for assurance cases?
Submissions and Publication
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=modevva2017
Workshop Format
MoDeVVa 2017 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.
Important Dates
Submission:
July 7, 2017, July 14, 2017 (extended)Notification to authors: July 28, 2017
Final version: October, 2017
Workshop: September 19, 2017
Ernesto Posse (Zeligsoft, Canada)
Daniel Ratiu (Siemens AG, Germany)
Gehan Selim (McMaster University, Canada)
Faiez Zalila (INRIA, France)