Anthony Anjorin, Jeremy Gibbons
Proceedings of the Fifth International Workshop on Bidirectional Transformations
BX, 2016.

@proceedings{BX-2016,
	address       = "Eindhoven, The Netherlands",
	editor        = "Anthony Anjorin and Jeremy Gibbons",
	ee            = "http://ceur-ws.org/Vol-1571",
	ee            = "https://nbn-resolving.org/urn:nbn:de:0074-1571-4",
	publisher     = "{CEUR-WS.org}",
	series        = "{CEUR Workshop Proceedings}",
	title         = "{Proceedings of the Fifth International Workshop on Bidirectional Transformations}",
	volume        = 1571,
	year          = 2016,
}

Contents (10 items)

BX-2016-JohnsonR #lens

Unifying Set-Based, Delta-Based and Edit-Based Lenses (MJ, RDR), pp. 1–13.

BX-2016-McKinna #approach #bidirectional

Bidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal) (JM), p. 14.

BX-2016-DiskinEPC #bidirectional #formal method #model transformation #nondeterminism

Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization (ZD, RE, AP, KC), pp. 15–31.

BX-2016-McKinnaS #deployment #equilibrium #how

How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper) (JM, PS), pp. 32–34.

BX-2016-Leblebici #approach #consistency #grammarware #graph grammar #towards #traceability

Towards a Graph Grammar-Based Approach to Inter-Model Consistency Checks with Traceability Support (EL), pp. 35–39.

BX-2016-SemerathDHV #co-evolution #logic #modelling #satisfiability #synthesis #using

Change Propagation of View Models by Logic Synthesis using SAT solvers (OS, CD, ÁH0, DV), pp. 40–44.

BX-2016-GottmannNE0E #modelling #multi #towards

Towards the Propagation of Model Updates along different Views in Multi-View Models (SG, NN, CE, FH0, TE0), pp. 45–60.

BX-2016-KramerR #automation #bidirectional #model transformation

Automated Inversion of Attribute Mappings in Bidirectional Model Transformations (MEK, KR), pp. 61–76.

BX-2016-ZanLKH #bidirectional #library #named

Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views (TZ, LL, HSK, ZH), pp. 77–89.

BX-2016-McKinna16a #consistency

Complements Witness Consistency (JM), pp. 90–94.