Proceedings of the Eighth International Conference on Theory and Practice of Model Transformations
ICMT, 2015.
@proceedings{ICMT-2015,
address = "L’Aquila, Italy",
title = "{Proceedings of the Eighth International Conference on Theory and Practice of Model Transformations}",
year = 2015,
}
Committee
Program Chairs: Dimitris S. Kolovos, Manuel Wimmer
Program Committee: Achim D. Brucker, Rubby Casallas, Antonio Cicchetti, Tony Clark, Benoît Combemale, Krzysztof Czarnecki, Alexander Egyed, Gregor Engels, Claudia Ermel, Jesús García Molina, Holger Giese, Esther Guerra, Reiko Heckel, Ludovico Iovino, Frédéric Jouault, Marouane Kessentini, Jens Knoop, Thomas Kühne, Jochen Malte Küster, Ralf Lämmel, Philip Langer, Tihamer Levendovszky, Fernando Orejas, Marc Pantel, Dorina C. Petriu, István Ráth, Bernhard Rumpe, Houari A. Sahraoui, Jesús Sánchez Cuadrado, Andy Schürr, Jim Steel, Perdita Stevens, Eugene Syriani, Gabriele Täntzer, Massimo Tisi, Mark van den Brand, Tijs van der Storm, Pieter Van Gorp, Hans Vangheluwe, Gergely Varró, Janis Voigtländer, Dennis Wagelaar, Edward D. Willink, Haiyan Zhao, Albert Zündorf
Social Media Chair: James R. Williams
Steering Committee: Jordi Cabot, Juan de Lara, Davide Di Ruscio, Keith Duddy, Martin Gogolla, Jeff Gray, Zhenjiang Hu, Gerti Kappel, Richard F. Paige, Alfonso Pierantonio, Laurence Tratt, Antonio Vallecillo, Dániel Varró, Eelco Visser
Web Chair: Javier TroyaContents (16 items)
- ICMT-2015-Hinkel #co-evolution #model transformation #transformation language
- Change Propagation in an Internal Model Transformation Language (GH), pp. 3–17.
- ICMT-2015-RozenS #difference
- Origin Tracking + + Text Differencing = = Textual Model Differencing (RvR, TvdS), pp. 18–33.
- ICMT-2015-GetirGBKST #co-evolution #evaluation #framework #modelling #multi #named
- CoWolf — A Generic Framework for Multi-view Co-evolution and Evaluation of Models (SG, LG, CKB, VK, TS, MT), pp. 34–40.
- ICMT-2015-CriadoMIC #model transformation #reuse #using
- Enabling the Reuse of Stored Model Transformations Through Annotations (JC, SMP, LI, JC), pp. 43–58.
- ICMT-2015-CuadradoGL #component #model transformation #reuse
- Reusable Model Transformation Components with bentō (JSC, EG, JdL), pp. 59–65.
- ICMT-2015-MooijEHW #effectiveness #industrial #modelling #using
- Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models (AJM, GE, JH, HvW), pp. 66–81.
- ICMT-2015-FamelisLSSSCCDV #case study #migration #product line
- Migrating Automotive Product Lines: A Case Study (MF, LL, GMKS, ADS, RS, MC, JRC, JD, HV, SR), pp. 82–97.
- ICMT-2015-BergmannDHHRUV #framework #model transformation #platform
- Viatra 3: A Reactive Model Transformation Platform (GB, ID, ÁH, ÁH, IR, ZU, DV), pp. 101–110.
- ICMT-2015-JouaultBBCS #functional #model transformation #ocl #towards
- Towards Functional Model Transformations with OCL (FJ, OB, MB, MC, GS), pp. 111–120.
- ICMT-2015-AcretoaieSS #editing #model transformation
- Transparent Model Transformation: Turning Your Favourite Model Editor into a Transformation Tool (VA, HS, DS), pp. 121–130.
- ICMT-2015-ChengMP #atl #execution #research #semantics #validation
- A Sound Execution Semantics for ATL via Translation Validation — Research Paper (ZC, RM, JFP), pp. 133–148.
- ICMT-2015-HilkenNGW #concept #modelling #ocl #uml #validation #verification
- From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification (FH, PN, MG, RW), pp. 149–165.
- ICMT-2015-GammaitoniK #alloy #model transformation #named #transformation language
- F-Alloy: An Alloy Based Model Transformation Language (LG, PK), pp. 166–180.
- ICMT-2015-RichaBP #algebra #atl #graph transformation #model transformation
- Translating ATL Model Transformations to Algebraic Graph Transformations (ER, EB, LP), pp. 183–198.
- ICMT-2015-KlugeVS #algorithm #design #graph transformation
- A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation (RK, GV, AS), pp. 199–213.
- ICMT-2015-TrollmannA #graph grammar #model transformation #modelling #multi
- Extending Model to Model Transformation Results from Triple Graph Grammars to Multiple Models (FT, SA), pp. 214–229.
