| Vol-1531 urn:nbn:de:0074-1531-0 Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# MoDELS-DS 2015
Doctoral Symposium at MoDELS 2015

### Proceedings of the Doctoral Symposium at the 18th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems 2015 (MoDELS 2015)

### Ottawa, Canada, September 29, 2015.

Edited by

### Dimitris Kolovos *
Marsha Chechik **

* Department of Computer Science, University of York, UK
** Department of Computer Science, University of Toronto, Canada

## Table of Contents

- Preface

- A Model-Based Framework for Legal Policy Simulation and Legal Compliance Checking
  Ghanem Soltana
- Integrating Formal Methods with Model-Driven Engineering
  Opeyemi Adesina
- Privacy Requirement Modeling and Verification in Cloud Computing
  Jin Wang
- Multi-Perspective Modeling and Performance Analysis of Software Product Lines
  Matthias Kowal
- Debugging Models in the Context of Automotive Software Development
  Lars Stockmann
- Extended Traits for Model Driven Software Development
  Vahdat Abdelzad
- Optimizing the Symbolic Execution of Communicating and Evolving State Machines
  Amal Khalil
- A Flexible Approach for Adding Middleware Completions to Software Performance Models
  Adnan Faisal
- Towards Integration of Modeling Methods for Cyber-Physical Systems
  Ivan Ruchkin

2015-12-08: submitted by Dimitris Kolovos, metadata incl. bibliographic data published under Creative Commons CC0
2015-12-09: published on CEUR-WS.org |valid HTML5|