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

# MODELS-JP 2013
Invited Talks, Demonstration Session, Poster Session, and ACM Student Research Competition @ MODELS'13

### Joint Proceedings of MODELS'13 Invited Talks, Demonstration Session, Poster Session, and ACM Student Research Competition
co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)

### Miami, USA, September 29 - October 4, 2013.

Edited by

#### Demonstration Chairs

#### Yan Liu *
Steffen Zschaler**

* Electrical and Computer Engineering Department, Concordia University, Montreal, Canada
** Department of Informatics, King's College London, London, UK

#### Poster Chairs

#### Benoit Baudry*
Sudipto Ghosh**

* INRIA, France
** Department of Computer Science, Colorado State University, USA

#### ACM SRC Chairs

#### Davide Di Ruscio*
Ethan Jackson**

* Department of Information Engineering, Computer Science and Mathematics, University of L'Aquila, Italy
** Microsoft Research, Redmond, WA, USA

#### Publication Chair

#### Manuel Wimmer*

* Business Informatics Group, Institute of Software Technology and Interactive Systems, Vienna University of Technology, Austria

## Table of Contents

### Invited Talks @ MODELS'13

#### Most Influential Paper Award

- Union and Difference of Models, 10 years later 1-5
  Ivan Porres

### Demonstration Session @ MODELS'13

- Preface
- Scribbler: From Collaborative Sketching to Formal Domain Specific Models and Back Again 6-10
  Martin Vogel, Tim Warnecke, Christian Bartelt
- Tool Support for Conflict Resolution of Models for Automated Enterprise Architecture Documentation 11-15
  Matheus Hauder, Sascha Roth, Simon Pigat, Florian Matthes
- A Configurator for Visual Analysis of Enterprise Architectures 16-20
  Matheus Hauder, Sascha Roth, Simon Pigat, Florian Matthes
- AToMPM: A Web-based Modeling Environment 21-25
  Eugene Syriani, Hans Vangheluwe, Raphael Mannadiar, Conner Hansen, Simon Van Mierlo, Huseyin Ergin
- Demonstration of Runtime Model Based Management of Diverse Cloud Resources 26-30
  Xiaodong Zhang, Xing Chen, Ying Zhang, Yihan Wu, Gang Huang, Qiang Lin
- clooca : Web based tool for Domain Specific Modeling 31-35
  Shuhei Hiya, Kenji Hisazumi, Akira Fukuda, Tsuneo Nakanishi
- Interactive Dependency Graphs for Model Transformation Analysis 36-40
  Andreas Rentschler, Per Sterner
- Zen-RUCM: A Tool for Supporting a Comprehensive and Extensible Use Case Modeling Framework 41-45
  Gong Zhang, Tao Yue, Ji Wu, Shaukat Ali
- xMOF: A Semantics Specification Language for Metamodeling 46-50
  Tanja Mayerhofer, Philip Langer, Manuel Wimmer
- Concern-Oriented Software Design with TouchRAM 51-55
  Matthias Schöttle, Omar Alam, Abir Ayed, Jörg Kienzle

### Poster Session @ MODELS'13

- Preface
- Automated Product Line Methodologies to Support Model-Based Testing 56-60
  Shuai Wang, Shaukat Ali, Arnaud Gotlieb
- An Extensible Use Case Modeling Approach for Cyber-Physical Systems (CPSs) 61-65
  Gong Zhang, Tao Yue, Shaukat Ali, Ji Wu
- MDA Game Design for Video Game Development by Genre 66-70
  Rosa Vargas, Georgina Arellano, Hector Beltran, Leopoldo Zepeda, Ricardo Quintero, Liliana Vega
- Towards a Search-based Interactive Configuration of Cyber Physical System Product Lines 71-75
  Kunming Nie, Tao Yue, Shaukat Ali
- TractsTool: Testing Model Transformations based on Contracts 76-80
  Loli Burgueño, Manuel Wimmer, Javier Troya, Antonio Vallecillo

### ACM Student Research Competition @ MODELS'13

- Preface
- Domain Specific Analysis of Statemachine Models of Reactive Systems 81-86
  Karolina Zurowska
- Using fUML as Semantics Specification Language in Model Driven Engineering 87-93
  Tanja Mayerhofer
- Semantic Specifications for Domain-Specific Modeling Languages 94-99
  Gabor Simko
- Iterative Evaluation of Domain-Specific Languages 100-105
  Ankica Barisic
- Concern Driven Software Development 106-111
  Omar Alam
- A Framework for Specifying and Analyzing Temporal Properties of UML Class Models 112-117
  Mustafa Al-Lail
- Complexity- and Performance Analysis of Different Controller Implementations on a Soft PLC 118-123
  Robert Feldmann

2014-01-10: submitted by Manuel Wimmer
2014-01-11: published on CEUR-WS.org |valid HTML5|