BX 2021 - 9th International Workshop on Bidirectional Transformations

Bidirectional transformations (bx) are a mechanism for maintaining the consistency between two or more related (and heterogeneous) sources of information (i.e., relational databases, software models and code, or any other artefacts following standard or domain-specific formats). The strongest argument in favour of bx is its ability to provide a synchronization mechanism that is guaranteed to be correct by construction. Bx has been attracting a wide range of research areas and communities, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation). Nowadays, the fast-growing complexity of software- or data-intensive systems has forced the industry and the academy to use and investigate different development techniques to manage the many different aspects of the systems. Researchers are actively investigating the use of bidirectional approaches to tackle a diverse set of challenges with various applications including model-driven software development, visualization with direct manipulation, big data, databases, domain-specific languages, serializers, and data transformation, integration and exchange. Bx 2021 is a dedicated venue for bx in all relevant fields and is part of a workshop series that 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
software development with bx
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
model-driven and model-based approaches
survey and comparison of bx technologies
case studies and tool support