The essence of bidirectional programming

doi:10.1007/s11432-015-5316-8

CORC > 北京大学 > 信息科学技术学院

	The essence of bidirectional programming
	Fischer Sebastian ; Hu Zhenjiang ; Pacheco Hugo
刊名	Science China. Information Science
	2015
关键词	bidirectional transformation software adaption and coevolution bidirectional programming RELATIONAL VIEWS UPDATE SEMANTICS TRANSFORMATIONS LENSES
DOI	10.1007/s11432-015-5316-8
英文摘要	Bidirectional transformations (BXs), programs with a forward transformation and a backward transformation that maintain consistency between input and output, are routinely written in ways that do not let programmers specify their behavior completely. Several bidirectional programming languages exist to aid programmers in writing BXs with increased maintainability but decreased expressiveness. Such languages allow programmers to write BXs as one program for both directions, which is easier to maintain than separate programs for each direction. However, the maintainability provided by existing bidirectional languages comes at the cost of expressiveness because the ambiguity of synchronization is solved by default strategies which are hidden from programmers. The programmers' inability to influence synchronization strategies has led to the proposal of a vast number of approaches that consider tailor-made synchronization strategies for particular applications. In this paper, we argue that such ambiguity is essential for BX and advocate that the synchronization strategy should not be hidden from programmers but considered from the start. We propose a novel approach to specifying so-called well-behaved bidirectional programs by their backward transformations, capable of expressing all aspects of a BX while retaining maintainability. Soundness of our approach results from a systematic analysis, based on existing mathematical concepts, of the instrumental laws of well-behaved BXs. We show that well-behaved BXs are uniquely determined by their backward transformations and corresponding forward transformations can be obtained for free.; supported by National Basic Research Program of China(973 Program),JSPS Grant-in-Aid for Scientific Research(A) in Japan; SCI(E); EI; 中国科学引文数据库(CSCD); hu@nii.ac.jp; 5; 052106-1-052106-21; 58
语种	英语
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/414921]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Fischer Sebastian,Hu Zhenjiang,Pacheco Hugo. The essence of bidirectional programming[J]. Science China. Information Science,2015.
APA	Fischer Sebastian,Hu Zhenjiang,&Pacheco Hugo.(2015).The essence of bidirectional programming.Science China. Information Science.
MLA	Fischer Sebastian,et al."The essence of bidirectional programming".Science China. Information Science (2015).