Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Theory and Practice of Model Transformations

5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Zhenjiang Hu

    1. National Institute of Informatics, Chiyoda-ku, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Juan Lara

    1. Department of Computer Science, Universidad Autónoma de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up to date results
  • State of the art research
  • Fast track conference proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7307)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ICMT 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talk

    1. How Clean Is Your Sandbox?

      • James F. Terwilliger, Anthony Cleve, Carlo A. Curino
      Pages 1-23

  3. Testing, Typing and Verification

    1. Using Models of Partial Knowledge to Test Model Transformations

      • Sagar Sen, Jean-Marie Mottu, Massimo Tisi, Jordi Cabot
      Pages 24-39

    2. Specification-Driven Test Generation for Model Transformations

      • Esther Guerra
      Pages 40-55

    3. Typing Model Transformations Using Tracts

      • Antonio Vallecillo, Martin Gogolla
      Pages 56-71

    4. Reusable and Correct Endogenous Model Transformations

      • Suzana Andova, Mark G. J. van den Brand, Luc Engelen
      Pages 72-88

  4. Bidirectionality

    1. Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas

      • Hugo Pacheco, Alcino Cunha
      Pages 89-104

    2. Bidirectional Transformation of Model-Driven Spreadsheets

      • Jácome Cunha, João P. Fernandes, Jorge Mendes, Hugo Pacheco, João Saraiva
      Pages 105-120

  5. Applications and Visualization

    1. Domain-Specific Optimization in Digital Forensics

      • Jeroen van den Bos, Tijs van der Storm
      Pages 121-136

    2. Empirical Assessment of Business Model Transformations Based on Model Simulation

      • María Fernández-Ropero, Ricardo Pérez-Castillo, Barbara Weber, Mario Piattini
      Pages 137-151

    3. Traceability Visualization in Model Transformations with TraceVis

      • Marcel F. van Amstel, Mark G. J. van den Brand, Alexander Serebrenik
      Pages 152-159

  6. Transformation Languages, Virtual Machines

    1. Type-Safe Model Transformation Languages as Internal DSLs in Scala

      • Lars George, Arif Wider, Markus Scheidgen
      Pages 160-175

    2. Towards a Family of Model Transformation Languages

      • Jesús Sánchez Cuadrado
      Pages 176-191

    3. Translational Semantics of a Co-evolution Specific Language with the EMF Transformation Virtual Machine

      • Dennis Wagelaar, Ludovico Iovino, Davide Di Ruscio, Alfonso Pierantonio
      Pages 192-207

    4. Towards Multi-level Aware Model Transformations

      • Colin Atkinson, Ralph Gerbig, Christian Tunjic
      Pages 208-223

  7. Pattern Matching

    1. An Algorithm for Generating Model-Sensitive Search Plans for EMF Models

      • Gergely Varró, Frederik Deckwerth, Martin Wieber, Andy Schürr
      Pages 224-239

    2. Paisley: Pattern Matching à la Carte

      • Baltasar Trancón y Widemann, Markus Lepper
      Pages 240-247

  8. Transformations in Modelling, Reutilization

    1. Constraint-Driven Modeling through Transformation

      • Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed
      Pages 248-263

    2. The Impact of Class Model Redesign on State Machines

      • Piotr Kosiuczenko
      Pages 264-279

    3. Fact or Fiction – Reuse in Rule-Based Model-to-Model Transformation Languages

      • Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger
      Pages 280-295
Back to top

Other volumes

  1. Theory and Practice of Model Transformations

Keywords

About this book

This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. The 18 full papers presented together with one invited paper were carefully revised and selected from numerous submissions. Topics addressed are such as testing, typing and verification; bidirectionality; applications and visualization; transformation languages, virtual machines; pattern matching; and transformations in modelling, reutilization.

Editors and Affiliations

  • National Institute of Informatics, Chiyoda-ku, Japan

    Zhenjiang Hu

  • Department of Computer Science, Universidad Autónoma de Madrid, Madrid, Spain

    Juan Lara

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation