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