LZI - Schloss Dagstuhl - Talks + Materials of Seminar 11031
 Functions: 

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

 



License

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: