Vol-1693
urn:nbn:de:0074-1693-6

Copyright © 2016 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

PAME-VOLT 2016
Patterns in Model Engineering & Verification of Model Transformation

Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016)

Saint-Malo, France, October 2-3, 2016.

Edited by

Huseyin Ergin *
Richard F. Paige
Eugene Syriani *
Steffen Zschaler
Moussa Amrani *

* University of Alabama, USA
** University of York, United Kingdom
*** University of Montreal, Canada
**** King's College London, United Kingdom
***** University of Namur, Belgium

Table of Contents

Preface

Invited Talk

Design patterns across the modeling process (abstract) 1
Jeff Gray

PAME: Second International Workshop on Patterns in Model Engineering

Towards the integration of security patterns in UML component-based applications 2-6
Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel
Model-based diagnosis patterns for model checking 7-12
Vincent Leilde, Vincent Ribaud, Philippe Dhaussy
Applying UI patterns for modeling dialogs 13-17
Mathias Kuhn, Peter Forbrig

VOLT: Fifth International Workshop on the Verification of Model Transformation

Real-time model-driven engineering: an overview 18-27
Moussa Amrani, Pierre-Yves Schobbens
Verified bidirectional transformations by construction 28-37
Kevin Lano, Sobhan Yassipour-Tehrani
Towards incremental deductive verification for ATL 38-47
Zheng Cheng, Massimo Tisi
Generating effective test suites for model transformations using classifying terms 48-57
Loli Burgueno, Frank Hilken, Antonio Vallecillo, Martin Gogolla
On reducing model transformation testing overhead 58-67
Roberto Rodriguez-Echeverria, Fernando Macias, Adrian Rutle

2016-09-28: submitted by Huseyin Ergin, metadata incl. bibliographic data published under Creative Commons CC0
2016-09-28: published on CEUR-WS.org |valid HTML5|