CEUR-WS.org/Vol-1554 - MoDELS 2015

Demo and Poster Session

A Tool for Clustering Metamodel Repositories 1-4
Francesco Basciani, Davide Di Ruscio, Juri Di Rocco, Alfonso Pierantonio, Ludovico Iovino
Consolas: A Model-Based Tool for Automatic Configuration and Deployment of Cloud Applications 5-8
Hui Song, Franck Chauvel, Franck Fleurey Nicolas Ferry Arnor Solberg
Eclipse Sirius Demonstration 9-11
Frédéric Madiot, Marc Paganelli
Reflecting on Model-based Code Generators Using Traceability Information 12-15
Victor Guana, Eleni Stroulia
MMINT: A Graphical Tool for Interactive Model Management 16-19
Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik
A Tool for the Automatic Generation of Multimodel Editors 20-23
David Blanes, Javier Gonzalez-Huerta, Emilio Insfran
SyVOLT: Full Model Transformation Verification Using Contracts 24-27
Levi Lúcio, Bentley James Oakes, Cláudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe
Support for Evaluation of Impact Models in Reuse Hierarchies with jUCMNav and TouchCORE 28-31
Romain Alexandre, Cécile Camillieri, Mustafa Berk Duran, Aldo Navea Pina, Matthias Schöttle, Jörg Kienzle, Gunter Mussbacher
REAssistant: a Tool for Identifying Crosscutting Concerns in Textual Requirements 32-35
Alejandro Rago, Claudia Marcos, J. Andres Diaz-Pace
A Usable MDE-based Tool for Software Process Tailoring 36-39
Luis Silvestre, María Cecilia Bastarrica, Sergio F. Ochoa
Executable models for Embedded Controllers Development — A Cloud Based Development Framework 40-43
Fernando Pereira, Filipe Moutinho, João Paulo Barros, Aniko Costa, Luís Gomes
A Model-Driven Based Environment for Automatic Model Coordination 44-47
Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoit Combemale, Frédéric Mallet
UML-VT: A Formal Verification Environment for UML Activity Diagrams 48-51
Zamira Daw, John Mangino, Rance Cleaveland
Facilitating Agile Prototyping of Cloud Applications – A Model-based Approach 52-55
Ta’id Holmes
Simulation-Based Verification of Avionic Systems Deployed on IMA Architectures 56-59
Tiyam Robati, Amine El Kouhen, Abdelouahed Gherbi, John Mullins

MoDELS P&D 2015
MoDELS 2015 - Posters and Demos

Proceedings of the MoDELS 2015 Demo and Poster Session
co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015)

Ottawa, Canada, September 27, 2015.

Vinay Kulkarni *
Omar Badreddin **

Table of Contents

Demo and Poster Session

MoDELS P&D 2015 MoDELS 2015 - Posters and Demos

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015)

Ottawa, Canada, September 27, 2015.

Vinay Kulkarni * Omar Badreddin **

Table of Contents

Demo and Poster Session

MoDELS P&D 2015
MoDELS 2015 - Posters and Demos

Proceedings of the MoDELS 2015 Demo and Poster Session
co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015)

Vinay Kulkarni *
Omar Badreddin **