CEUR-WS.org/Vol-1514 - 12th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2015)

MoDeVVa 2015
Model-Driven Engineering, Verification and Validation

Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation
co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015)

Ottawa, Canada, September 29, 2015.

Edited by

Preface

Active World Model for Testing Autonomous Systems Using CEFSM 1-10
Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario
Towards Safe Model Transformation for Constraint-driven Modeling 11-17
Andreas Demuth, Markus Riedl-Ehrenleitner, Roberto E. Lopez-Herrejon, Alexander Egyed
Domain-Specific Model Checking for Cyber-Physical Systems 18-27
Christopher Gerking, Wilhelm Schäfer, Stefan Dziwok, Christian Heinzemann
Towards User-Friendly and Efficient Analysis with Alloy 28-37
Xiaoliang Wang, Adrian Rutle, Yngve Lamo
Merging Features in Featured Transition Systems 38-43
Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay
Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses 44-47
Nils Przigoda, Judith Peters, Mathias Soeken, Robert Wille, Rolf Drechsler

2015-11-17: submitted by Martina Seidl, metadata incl. bibliographic data published under Creative Commons CC0
2015-11-17: published on CEUR-WS.org |valid HTML5|

MoDeVVa 2015
Model-Driven Engineering, Verification and Validation

Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation
co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015)

Ottawa, Canada, September 29, 2015.

Michalis Famelis*
Daniel Ratiu
Martina Seidl*
Gehan Selim****

Table of Contents

MoDeVVa 2015 Model-Driven Engineering, Verification and Validation

Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015)

Ottawa, Canada, September 29, 2015.

Michalis Famelis* Daniel Ratiu** Martina Seidl*** Gehan Selim****

Table of Contents

MoDeVVa 2015
Model-Driven Engineering, Verification and Validation

Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation
co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015)

Michalis Famelis*
Daniel Ratiu
Martina Seidl*
Gehan Selim****