| Vol-1725 urn:nbn:de:0074-1725-7 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.

# MoDELS-D&P 2016
MoDELS 2016 - Demos and Posters

### Proceedings of the MoDELS 2016 Demo and Poster Sessions
co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016)

### Saint-Malo, France, October 2-7, 2016.

Edited by

### Juan de Lara *
Peter J. Clarke **
Mehrdad Sabetzadeh ***

* Universidad Autónoma de Madrid, Madrid, Spain
** Florida International University, Miami, FL, USA
*** University of Luxembourg, Luxembourg, Luxembourg

## Table of Contents

### Demo Session

- NeoEMF: a Multi-database Model Persistence Framework for Very Large Models 1-7
  Gwendal Daniel, Gerson Sunyé, Amine Benelallam, Massimo Tisi, Yoann Vernageau, Abel Gómez, Jordi Cabot
- txtUML 8-15
  Gergely Dévay, Tibor Gregorics, Melinda Tóth, Domonkos Asztalos, Dávid János Németh, Gábor Ferenc Kovács, Boldizsár Németh, Zoltán Gera, András Dobreff, Balázs Gregorics, András Nagy, Martin Budai, Zsolt Kulik, Kristóf Kanyó
- Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools 16-23
  Joel Greenyer, Daniel Gritzner, Guy Katz, Assaf Marron
- iOCL: An Interactive Tool for Specifying, Validating and Evaluating OCL Constraints 24-31
  Hammad Muhammad, Tao Yue, Shaukat Ali, Shuai Wang
- Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems 32-39
  Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun
- SAC-OCL: A Tool for A Semi Automatic Co-evolution of OCL Constraints 40-47
  Djamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais
- C Code Verification based on the Extended Labeled Transition System Model 48-55
  Dexi Wang, Chao Zhang, Guang Chen, Ming Gu, Jiaguang Sun
- ArchFeature: A Modeling Environment Integrating Features into Product Line Architecture 56-63
  Gharib Gharibi, Yongjie Zheng
- Reifier: Model-Driven Engineering of Component-Based and Service-Oriented JEE Applications 64-71
  Jérôme Rocheteau, David Sferruzza
- ModifRoundtrip: A Model-Based tool to reuse legacy transformations 72-79
  Paola Vallejo, Jean-Philippe Babau, Mickaël Kerboeuf

### Poster Session

- Operators for Template-Based MDE 80-86
  Matthieu Allon
- An Approach for Synthesizing Energy-Efficient Controllers for Production Systems from Scenario-Based Specifications 87-93
  Joel Greenyer, Daniel Gritzner
- Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing 94-100
  Assaf Marron, Brit Arnon, Achiya Elyasaf, Michal Gordon, Guy Katz, Hadas Lapid, Rami Marelly, Dana Sherman, Smadar Szekely, Gera Weiss, David Harel

2016-11-11: submitted by Mehrdad Sabetzadeh, metadata incl. bibliographic data published under Creative Commons CC0
2016-11-11: published on CEUR-WS.org |valid HTML5|