LZI - Schloss Dagstuhl - Talks + Materials of Seminar 11031

Seminar 11031
Bidirectional Transformations "bx"

Zhenjiang Hu (National Institute of Informatics - Tokyo, JP), Andy Schürr (TU Darmstadt, DE), Perdita Stevens (University of Edinburgh, GB), James Terwilliger (Microsoft Research - Redmond, US)

Caveat: Due to caching problems of dynamic webpages, sometimes newly
uploaded files are not shown. Please reload the page accordingly.


Seminar Wide Materials
 Bidirectional Transformations: A Cross-Discipline Perspective, GRACE Meeting Notes, State of the Art, and Outlook
Abstracts: txt Paper: pdf

 bx Seminar 11031 Programme Structure (Th. Afternoon Upd.)
Other: pdf

 BX Seminar 11031 - Detailed Programme (Th. Afternoon Upd.)
Other: pdf

 bx Seminar 11031 Organizational Slides (Th. Afternoon Upd.)
Slides: pdf


Anthony Anjorin , TU Darmstadt

Artur Boronat , University of Leicester
 Position statement: Inconsistency detection and resolution in heterogenous model-based specifications using Maude
Abstracts: txt Slides: pdf


Christoph Brandt , University of Luxembourg
 Working Group Topic: Enterprise Modeling supported by Triple Graph Grammars
Abstracts: txt

 Position Statement: On the role of Triple Graph Grammars Concerning Requirements for Enterprise Modeling
Abstracts: txt


Anthony Cleve , University of Namur
 Co-evolving schemas and programs using coupled transformations
Abstracts: txt Slides: ppt


Jacome Cunha , Universidade de Minho - Braga
 Type-safe Evolution of Spreadsheets
Abstracts: txt Slides: pdf Paper: pdf


Krzysztof Czarnecki , University of Waterloo

Zinovy Diskin , University of Waterloo
 Delta-lenses: Unweaving Alignment and Update Propagation
Abstracts: txt Slides: pps

 Model sync: mappings, tiles, and categories
Abstracts: txt Paper: pdf

 From State- to Delta-Based Bidirectional Model Transformations
Abstracts: txt Paper: pdf


Hartmut Ehrig , TU Berlin
 Position Statement: Propagation of Constraints along Model Transformations
Abstracts: txt Slides: pdf


Nate Foster , Cornell University
 Languages for Bidirectional Transformations
Slides: pdf


Jeremy Gibbons , University of Oxford
 HOT topics in bidirectional programming
Abstracts: txt

 HOT Topics in Bidirectional Programming
Abstracts: txt Slides: pdf

 Lenses are coalgebras for the costate comonad
Abstracts: txtpdf


Robert Glueck , University of Copenhagen

Martin Gogolla , Universität Bremen
 Direction Neutral Language Transformation with Metamodels
Abstracts: txt Slides: pdf Paper: pdf


Joel Greenyer , Universität Paderborn
 Unified (Bidirectional) Transformation Language
Abstracts: txt Slides: pdf


Jean-Luc Hainaut , University of Namur
 Transformations in Database Engineering
Slides: ppt

 The Transformal Approach to Database Engineering
Abstracts: txt Other: pdf

 Rule-based vs transformation-based model conversion
Abstracts: txt Slides: ppt

 Transformation-based Database Engineering (in a nutshell)
Abstracts: txt Other: pdf

 WG 1 - Tentative taxonomy of concepts
Paper: doc


Frank Hermann , TU Berlin
 Position Statement: Model Integration and Synchronization
Abstracts: txt Slides: pdf

 GT-Tutorial: Analysis of Model Transformations based on TGGs
Abstracts: txt Slides: pdf


Soichiro Hidaka , NII - Tokyo
 Working Group Topic: Accepted View Updates and Forward Transformations
Abstracts: txt Slides: pdf

 Position Statement: Bidirectional Graph Transformations based on Structural Recursion
Abstracts: txt Slides: pdf Other: pdf


Stephan Hildebrandt , Hasso Plattner Institut - Potsdam
 Incremental Bidirectional Model Synchronization
Abstracts: txt Slides: pdf


Martin Hofmann , LMU München
 Symmetric lenses
Abstracts: txt


Zhenjiang Hu , NII - Tokyo
 Position Statement: On Determination of Backward Graph Transformation
Abstracts: txt


Michael Johnson , Macquarie University - Sydney

Ekkart Kindler , Technical University of Denmark
 Working Group Topic: Integration of transformation technologies
Abstracts: txttxt

 Position Statement: Some challenges of integrating bidirectional transformation technologies
Abstracts: txt

 Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios
Abstracts: txt Other: pdf


Jochen M. Kuester , IBM Research Zürich - Rüschlikon
 Towards Systematic Development of Bidirectional Transformations
Abstracts: txt


Ralf Laemmel , Universität Koblenz-Landau

Marius Lauder , TU Darmstadt

Kazutaka Matsuda , Tohoku University
 Position Statement: Right Inverses in Bidirectionalization
Abstracts: txt Slides: pdf


Richard F. Paige , University of York
 Bidirectional transformations and inter-modelling
Abstracts: txtpdf


Alfonso Pierantonio , Univ. degli Studi di L'Aquila
 JTL: a bidirectional and change propagating transformation language
Abstracts: txt Slides: pdf Paper: pdf


Benjamin C. Pierce , University of Pennsylvania
 Position statement: What makes bx hard?
Abstracts: txt


Jan Rieke , Universität Paderborn

Michael Schlereth , Wilhermsdorf
 Position Statement: Asymmetric Bidirectional Model Transformations
Abstracts: txt


Alan Schmitt , INRIA Rhône-Alpes
 Position statement: Reversible HOPi with Controlled Rollback
Abstracts: txt Slides: pdf


Andy Schuerr , TU Darmstadt
 Triple Graph Grammars in a Nutshell (TGG Tutorial - Part 1)
Abstracts: txt Slides: pdf Paper: pdf


Perdita Stevens , University of Edinburgh

James Terwilliger , Microsoft Research - Redmond
 Bidirectional tutorial, database flavor
Abstracts: txt Slides: pptx Other: pdf


Janis Voigtlaender , Universität Bonn
 Efficiency of Bidirectional Transformations
Abstracts: txt Slides: pdf

 Complement-Based Bidirectionalization
Abstracts: txt Slides: pdf


Meng Wang , University of Oxford
 Incremental Bidirectional Transformation
Abstracts: txt


Andrzej Wasowski , IT University of Copenhagen

Jens-Holger Weber-Jahnke , University of Victoria
 bx for Interoperability of Electronic Medical Records
Abstracts: txt


Yingfei Xiong , University of Waterloo
 Position Statement: Fix Generation
Abstracts: txt Slides: pdfppt

 Working Group Report: BX and Insersible Languages
Slides: ppt


Tetsuo Yokoyama , Nanzan University
 High-level Reversible Programming Languages
Abstracts: txt Slides: pdf



Creative Commons License
This webpage and the material that is made available on this webpage is licensed under a
Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Unported License.

The CC by-nc-nd license allows you to copy, distribute and transmit the work under the following conditions: