Volume 1, Issue 1, January 2011 - DROPS - Schloss Dagstuhl

More documents

Recommendations

Info

46 11031 – Bidirectional Transformations “bx” 2 Table of Contents Executive Summary Zhenjiang Hu, Andy Schürr, Perdita Stevens, James Terwilliger . . . . . . . . . . . 43 Overview of Tutorials Languages for Bidirectional Transformations Nate Foster . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 Complement-Based Bidirectionalization Janis Voigtländer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 Trace-based Bidirectionalization Zhenjiang Hu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 Principles of Reversible Programming Languages Robert Glück . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 Bidirectional Transformations in Database Research and Practice James Terwilliger . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 The transformational approach to data-intensive system engineering and evolution Jean-Luc Hainaut . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 Triple Graph Grammars in a Nutshell Andy Schürr . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 Analysis of Model Transformations based on TGGs Frank Hermann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 Incremental Model Synchronization Holger Giese . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 Model Synchronization: Theory and Practice Krzysztof Czarnecki . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 Update propagation via tiles Zinovy Diskin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 Overview of Position Statements Inconsistency detection and resolution in heterogenous model-based specifications using Maude Artur Boronat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 On the role of Triple Graph Grammars Concerning Requirements for Enterprise Modeling Christoph Brandt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 Co-evolving schemas and programs using coupled transformations Anthony Cleve . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 Type-safe Evolution of Spreadsheets Jacome Cunha . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 From State- to Delta-Based Bidirectional Model Transformations: Unweaving Alignment and Update Propagation Zinovy Diskin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Zhenjiang Hu, Andy Schürr, Perdita Stevens, and James Terwilliger 47 Propagation of Constraints along Model Transformations Hartmut Ehrig . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 HOT Topics in Bidirectional Programming Jeremy Gibbons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 Lenses are Coalgebras for the Costate Comonad Jeremy Gibbons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 Lenses, Coalgebraically Jeremy Gibbons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 Direction Neutral Language Transformation with Metamodels Martin Gogolla . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 Unified (Bidirectional) Transformation Language Joel Greenyer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58 Model Integration and Synchronization Frank Hermann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58 Bidirectional Graph Transformations based on Structural Recursion Soichiro Hidaka . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 Incremental Bidirectional Model Synchronization Stephan Hildebrandt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 Symmetric lenses Martin Hofmann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios Ekkart Kindler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 Some challenges of integrating bidirectional transformation technologies Ekkart Kindler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 Towards Systematic Development of Bidirectional Transformations Jochen M. Kuester . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 Right Inverses in Bidirectionalization Kazutaka Matsuda . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 Bidirectional transformations and inter-modelling Richard F. Paige . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62 Bidirectional and change propagating transformations in MDE Alfonso Pierantonio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 Reversible Higher Order Pi Calculus Alan Schmitt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 Efficiency of Bidirectional Transformations Janis Voigtländer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 Change-based incremental updates Meng Wang . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 Bx ’killer applications’ in health care Jens-Holger Weber-Jahnke . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 1 1 0 3 1
Page 1 and 2: Volume 1, Issue 1, January 2011 Mul
Page 3 and 4: Report from Dagstuhl Seminar 11011
Page 5 and 6: Hans J. Boehm, Ursula Goltz, Holger
Page 29 and 30: Report from Dagstuhl Seminar 11021
Page 31 and 32: Sven Apel, William Cook, Krzysztof
Page 45 and 46: Zhenjiang Hu, Andy Schürr, Perdita
Page 47: Zhenjiang Hu, Andy Schürr, Perdita
Page 71 and 72: Meinard Müller, Masataka Goto, and
Page 99 and 100:
Meinard Müller, Masataka Goto, and
Page 101 and 102:
Page 103 and 104:
Page 105 and 106:
Gabi Dreo Rodosek, Aiko Pras, Henni
Page 107 and 108:
Page 109 and 110:
Page 111 and 112:
Stephan Dahlke, Michael Elad, Yonin
Page 113 and 114:
Page 115 and 116:
Page 117 and 118:
Page 119 and 120:
Page 121 and 122:
Page 123 and 124:
Page 125 and 126:
Page 127 and 128:
Page 129:
show all

Volume 1, Issue 1, January 2011 - DROPS - Schloss Dagstuhl

Create successful ePaper yourself

Delete template?

Save as template?