Vol-1692⫷ Vol-1693 ⫸Vol-1694
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 |