Zhenjiang Hu, Andy Schürr, Perdita Stevens, James Terwilliger
Proceedings of the Dagstuhl Seminar 11031 on Bidirectional Transformations
BX-2011, 2011.

@proceedings{BX-2011,
	address       = "Dagstuhl, Germany",
	doi           = "10.4230/DagRep.1.1.42",
	editor        = "Zhenjiang Hu and Andy Schürr and Perdita Stevens and James Terwilliger",
	month         = "jan",
	number        = 1,
	pdfurl        = "http://drops.dagstuhl.de/opus/volltexte/2011/3144/",
	publisher     = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
	series        = "{Dagstuhl Reports}",
	title         = "{Proceedings of the Dagstuhl Seminar 11031 on Bidirectional Transformations}",
	urn           = "urn:nbn:de:0030-drops-31442",
	volume        = 1,
	year          = 2011,
}

Contents (38 items)

15 ×#bidirectional
4 ×#graph grammar
4 ×#model transformation
3 ×#incremental
3 ×#lens
2 ×#algebra
2 ×#evolution
2 ×#modelling
2 ×#programming language
2 ×#using

BX-2011-Foster #bidirectional

Languages for Bidirectional Transformations (NF), p. 49.

BX-2011-Hu #bidirectional

Trace-based Bidirectionalization (ZH), p. 49.

BX-2011-Voigtlaender #bidirectional

Complement-Based Bidirectionalization (JV), p. 49.

BX-2011-Glueck #programming language

Principles of Reversible Programming Languages (RG), p. 50.

BX-2011-Terwilliger #bidirectional #database #research

Bidirectional Transformations in Database Research and Practice (JT), p. 50.

BX-2011-Hainaut #approach #data-driven #evolution

The transformational approach to data-intensive system engineering and evolution (JLH), p. 51.

BX-2011-Schuerr #graph grammar #in a nutshell

Triple Graph Grammars in a Nutshell (AS), p. 51.

BX-2011-Czarnecki #theory and practice

Model Synchronization: Theory and Practice (KC), p. 52.

BX-2011-Giese #incremental

Incremental Model Synchronization (HG), p. 52.

BX-2011-Hermann #analysis #graph grammar #model transformation

Analysis of Model Transformations based on TGGs (FH), p. 52.

BX-2011-Boronat #consistency #detection #maude #modelling #nondeterminism #specification #using

Inconsistency detection and resolution in heterogenous model-based specifications using Maude (AB), p. 53.

BX-2011-Diskin

Update propagation via tiles (ZD), p. 53.

BX-2011-Brandt #enterprise #graph grammar #modelling #on the #requirements

On the role of Triple Graph Grammars Concerning Requirements for Enterprise Modeling (CB), p. 54.

BX-2011-Cleve #co-evolution #source code #using

Co-evolving schemas and programs using coupled transformations (AC), p. 54.

BX-2011-Cunha #evolution #spreadsheet #type safety

Type-safe Evolution of Spreadsheets (JC), p. 55.

BX-2011-Diskin1 #bidirectional #model transformation #weaving

From State- to Delta-Based Bidirectional Model Transformations: Unweaving Alignment and Update Propagation (ZD), p. 55.

BX-2011-Ehrig #constraints #model transformation

Propagation of Constraints along Model Transformations (HE), p. 56.

BX-2011-Gibbons #bidirectional #programming #topic

HOT Topics in Bidirectional Programming (JG), p. 56.

BX-2011-Gibbons1 #algebra #lens #monad

Lenses are Coalgebras for the Costate Comonad (JG), p. 56.

BX-2011-Gibbons2 #algebra #lens

Lenses, Coalgebraically (JG), p. 57.

BX-2011-Gogolla #metamodelling

Direction Neutral Language Transformation with Metamodels (MG), p. 57.

BX-2011-Greenyer #bidirectional #model transformation #transformation language

Unified (Bidirectional) Transformation Language (JG), p. 58.

BX-2011-Hermann1 #integration

Model Integration and Synchronization (FH), p. 58.

BX-2011-Hidaka #bidirectional #graph transformation #recursion

Bidirectional Graph Transformations based on Structural Recursion (SH), p. 59.

BX-2011-Hildebrandt #bidirectional #incremental

Incremental Bidirectional Model Synchronization (SH), p. 59.

BX-2011-Hofmann #lens #symmetry

Symmetric lenses (MH), p. 60.

BX-2011-Kindler #concept #graph grammar #implementation

Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios (EK), p. 60.

BX-2011-Kindler1 #bidirectional #challenge

Some challenges of integrating bidirectional transformation technologies (EK), p. 61.

BX-2011-Kuester #bidirectional #development #towards

Towards Systematic Development of Bidirectional Transformations (JMK), p. 61.

BX-2011-Matsuda #bidirectional

Right Inverses in Bidirectionalization (KM), p. 61.

BX-2011-Paige #bidirectional

Bidirectional transformations and inter-modelling (RFP), p. 62.

BX-2011-Pierantonio #bidirectional

Bidirectional and change propagating transformations in MDE (AP), p. 63.

BX-2011-Schmitt #higher-order #π-calculus

Reversible Higher Order π Calculus (AS), p. 63.

BX-2011-Voigtlaender1 #bidirectional #performance

Efficiency of Bidirectional Transformations (JV), p. 64.

BX-2011-Wang #incremental

Change-based incremental updates (MW), p. 64.

BX-2011-Weber-Jahnke #health

Bx “killer applications” in health care (JHWJ), p. 64.

BX-2011-Xiong #generative

Fix Generation (YX), p. 65.

BX-2011-Yokoyama #programming language

A reversible programming language (TY), p. 65.