- July 8, 2022, Nantes, France (Venue TBA)
- Part of the STAF conference (July 5-8)
- Paper submission: May 14, 2022
Bidirectional transformations (BX) are a mechanism for maintaining the consistency between two or more related (and heterogeneous) sources of information (e.g., 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 industry and academia 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 2022 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.
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
- applications and experiences of adopting BX in the real world
Keynote
By Zhenjiang Hu (Peking University & NII)
Data management systems are now moving from "centralized" towards "decentralized", where data are maintained in different sites with autonomous storage and computation capabilities. There are two fundamental issues with such decentralized systems: local privacy and global consistency. By local privacy, the owner of the data wish to control what information should be exposed and how it should be used or updated by other peers. By global consistency, the systems wish to have a globally consistent and integrated view of all data. In this talk, we shall report the progress of our BISCUITS project that attempts to systematically solve these two issues in decentralized systems. In particular, we present a new bidirectional transformation-based approach to controlling and sharing distributed data based on the view, describe Dejima, a new architectures for data integration via bidirectional updatable views, and discuss various applications.
Bio: Zhenjiang Hu is a chair professor in School of Computer Science of Peking University, and a professor of NII by special appointment. He received his B.S. and M.S. degrees from Shanghai Jiao Tong University in 1988 and 1991, respectively, and Ph.D. degree from University of Tokyo in 1996. He was a lecturer (1997–2000) and an associate professor (2000–2008) at University of Tokyo, a full professor at NII (2008-2019), and a full professor at University of Tokyo (2018-2019), before joining Peking University in 2019. His main research interest is in programming languages and software engineering in general, and functional programming and bidirectional programming in particular. He is Fellow of IEEE, Fellow of JFES (Japan Federation of Engineering Society), Member of Engineering Academy of Japan, and Member of Academy of Europe.
Contact
In case of questions, please contact the PC chairs at gro.riahcysae|2202xb#gro.riahcysae|2202xb .
