Schedule
BX 2022 will take place on July 8 at the Cité des Congrès de Nantes (STAF 2022 website).
| Time (GMT+2) | Events |
|---|---|
| 9:00-10:30 | Dejima: A Bidirectional Collaborative Framework for Decentralized Data Management Keynote by Zhenjiang Hu |
| 10:30-11:00 | Break |
| Session 1: Accepted Talks | |
| 11:00-11:30 | Decomposition Without Regret Weixin Zhang, Cristina Daivid and Meng Wang |
| 11:30-12:00 | Bidirectional Transformations in Practice: An Automotive Perspective on Traceability Maintenance Anthony Anjorin, Nils Weidmann and Katharina Artic |
| 12:00-12:30 | Discussion |
| 12:30-14:00 | Lunch Break |
| Session 2: Invited Talks | |
| 14:00-14:30 | BXtendDSL: A Layered Framework for Bidirectional Model Transformations Combining a Declarative and an Imperative Language Invited talk by Bernhard Westfechtel (University of Bayreuth) |
| 14:30-15:00 | Controllable and Decomposable Multidirectional Synchronizations Invited talk by Gábor Bergmann (Budapest University of Technology and Economics) |
| 15:00-15:30 | Towards Bidirectional Live Programming for Incomplete Programs Invited talk by Xing Zhang (Peking University) |
| 15:30-16:00 | Break |
| 16:00-17:30 | Session 3: Discussion panel |
Details
Keynote
- Dejima: A Bidirectional Collaborative Framework for Decentralized Data Management. 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.
Accepted talks
Programming languages are embracing both functional and object-oriented paradigms. A key difference between the two paradigms is the way of achieving data abstraction. That is, how to organize data with associated operations. There are essential tradeoffs between functional and object-oriented decomposition regarding extensibility and expressiveness. Unfortunately, programmers are usually forced to select a particular decomposition style in the early stage of programming. Once the wrong design decision has been made, the price for switching to the other decomposition style could be rather high since pervasive manual refactoring is often needed.
In this talk, we show a bidirectional transformation system between functional and object-oriented decomposition. We formalize the core of the system in the FOOD calculus, which captures the essence of functional and object-oriented decomposition. We prove that the transformation preserves the type and semantics of the original program. We further implement FOOD in Scala as a translation tool called Cook and conduct several case studies to demonstrate the applicability and effectiveness of Cook.
The talk is based on the draft paper: https://arxiv.org/pdf/2204.10411.pdf
- Bidirectional Transformations in Practice: An Automotive Perspective on Traceability Maintenance. Anthony Anjorin, Nils Weidmann and Katharina Artic
Bidirectional transformations (bx) are used to maintain the consistency of two or more artefacts as they are concurrently updated, typically by different people, often using different tools.
While there has been active research on bx for some time with numerous examples and industrial case studies from research projects, it is still a valid question if bx is absolutely necessary in practice. Indeed, if productivity and simplicity are most important, perhaps processes and tool chains can be chosen to avoid bx as much as possible.
In this experience report, we provide an automotive perspective on the need for and application of bx to traceability maintenance.
We share our experiences from relevant projects, focusing on challenges and constraints in the problem domain, and discussing solution strategies we have applied and evaluated.
Our aim is to provide a concrete characterisation of bx-related solution strategies to traceability maintenance in practice, which we hope serves as motivation and input for bx researchers.