• Aucun résultat trouvé

Preface to the 15th Model Driven Engineering, Verification and Validation. Integrating Verification and Validation in MDE (MoDeVVa)

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Preface to the 15th Model Driven Engineering, Verification and Validation. Integrating Verification and Validation in MDE (MoDeVVa)"

Copied!
2
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

MoDeVVa 2018

15

th

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 21stInternational 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.

(2)

• ”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´ed´eric Boulanger (Sup´elec, France)

• Fabrice Bouquet (University of Franche-Comt´e, 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´e, 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´ujo de Oliveira (University of Toulouse III - Paul Sabatier &

IRIT, France)

• Levi L´ucio (fortiss, Germany)

• Ernesto Posse (Zeligsoft, Canada)

• Faiez Zalila (INRIA, France)

Références

Télécharger maintenant ( PDF - 2 Page - 182.26 KB )

Documents relatifs

Report on the 1 st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17)

Certain approaches reuse the target language’s interactive debugger and translate debugging operations on the source language forward onto debugging operations of the target

Hydrogenation studies on NdScSi and NdScGe

Fig. Kinetics of hydrogen absorption in NdScSi at 350 °C and 5 bar. Tencé et al.. solve the hydride crystal structure, neutron diffraction measure- ments were performed during

How big is the universe?

However, from measurements of the expansion of the universe for objects we can see, the radius of the universe today is something like 46 billion light years!. That is a diameter

Enterprise model verification and validation: an approach

These concepts are property concepts, property reference matrix, properties graphs, enterprise modeling domain ontology, conceptual graphs and formal reasoning mechanisms..

Preface to the 5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering

Christian Schlegel University of Applied Sciences (Germany) Lionel Seinturier University of Lille/INRIA (France) Severine Sentilles M¨ alardalen University (Sweden) Massimo

Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018)

The high-level goal of the MDETools work- shop is to support the effective development, maintenance, dissemination, and use of high-quality MDE tools and supporting material.. To

Preface to the 2nd International Workshop on Model-Driven Engineering for the Internet-of-Things (MDE4IoT)

We would like to thank the MODELS 2018 organization for giving us the opportunity to organize this workshop, especially to the general chair of MODELS 2018 Andrzej Wsowski

Preface to the First Workshop on Pains in Model-Driven Engineering Practice (PAINS 2018)

The 1 st Workshop on Pains in Model-Driven Engineering Practice (PAINS) was co-located with the ACM/IEEE 21th International Conference on Model Driven