Bidirectional Transformation "bx" (Dagstuhl Seminar 11031)

Zhenjiang Hu, Andy Schürr, Perdita Stevens & James Terwilliger
Bidirectional transformations bx are a mechanism for maintaining the consistency of two (or more) related sources of information. Researchers from many different areas of computer science including databases (DB), graph transformations (GT), software engineering (SE), and programming languages (PL) are actively investigating the use of bx to solve a diverse set of problems. Although researchers have been actively working on bidirectional transformations in the above mentioned communities for many years already, there has been very...