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 ****