=Paper=
{{Paper
|id=Vol-2245/modevva_intro
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-2245/modevva_intro.pdf
|volume=Vol-2245
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-2245/modevva_intro.pdf</pdf>
<pre>
                          MoDeVVa 2018
  15th Workshop on Model-Driven Engineering, Verification and
                         Validation



                             August 28, 2018


Preface
The 15th Workshop on Model-Driven Engineering, Verification and Validation
(MoDeVVa) was held on October 16th in Copenhagen, Denmark, co-located
with the ACM/IEEE 21st International Conference on Model-Driven Engineer-
ing Languages and Systems (MODELS).
    Models are purposeful abstractions of systems and their environments. They
can be used to understand, simulate, and validate complex systems at differ-
ent 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 de-
velopment 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 con-
text of MDE.
    The MoDeVVa workshop 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 topics at the intersection between MDE and
V&V.


Papers
The following papers were accepted:

   • ”ProVer: an SMT-based approach for process verification” by Souheib
     Baarir, Reda Bendraou and Hakan Metin.
   • ”Generation of test strategies for Model-based Functional Safety test-
     ing using an Artifact-centric approach” by Bert Van Acker, Joachim De-
     nil, Paul De Meulenaere, Bjorn Aelvoet, Dries Mahieu and Jan van den
     Oudenhoven.
 • ”Balancing Model Usability and Verifiability with SBVR and Answer
   Set Programming” by Deepali Kholkar, Dushyanthi Mulpuru and Vinay
   Kulkarni.


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, Ger-
   many)
 • 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)


Organizing Committee
 • Raquel Araújo de Oliveira (University of Toulouse III - Paul Sabatier &
   IRIT, France)
 • Levi Lúcio (fortiss, Germany)
 • Ernesto Posse (Zeligsoft, Canada)
 • Faiez Zalila (INRIA, France)

</pre>