Bx 2020 - 9th International Workshop on Bidirectional Transformations

Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields including databases, programming languages, software engineering, and graph transformation, but with results in one field often getting limited exposure in the others. The Bx workshop series was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields.
Aim and Topics
The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bx from different perspectives, including but not limited to:
bidirectional programming languages and frameworks
data and model synchronization
view updating
inter-model consistency analysis and repair
data/schema (or model/metamodel) co-evolution
coupled software/model transformations
inversion of transformations and data exchange mappings
domain-specific languages for bx
analysis and classification of requirements for bx
bridging the gap between formal concepts and application scenarios
analysis of efficiency of transformation algorithms and benchmarks
survey and comparison of bx technologies
case studies and tool support