Related Publications

BX in general:

  • Zhenjiang Hu, Andy Schürr, Perdita Stevens and James Terwilliger: "Bidirectional Transformation "bx" (Dagstuhl Seminar 11031)", Dagstuhl Reports (42—67), 2011. DOI: 10.4230/DagRep.1.1.42
  • K. Czarnecki, J. Foster, Z. Hu, R. Lämmel, A. Schürr, J. Terwilliger: "Bidirectional Transformations: A Cross-Discipline Perspective", Theory and Practice of Model Transformations: Second International Conference, ICMT2009, Heidelberg: Springer Verlag, June 2009; Lecture Notes in Computer Science (LNCS), Vol. 5563, 260-283.
  • Antkiewicz, M., and K. Czarnecki, "Design Space of Heterogeneous Synchronization", Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007, Revised Papers, vol. 5235, Berlin, Heidelberg, Springer, pp. 3 - 46, 2008. DOI: 10.1007/978-3-540-88643-3_1

Algebraic Models

  • Perdita Stevens: Bidirectional model transformations in QVT: semantic issues and open questions. Software and System Modeling 9(1): 7-20 (2010) DOI
  • Zinovy Diskin: “Algebraic Models for Bidirectional Model Synchronization”. MoDELS 2008: 21-36 DOI

Delta-based BX:

  • Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas. From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case. MODELS'11: ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, to appear, October 2011. Link
  • Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki. From State-Based to Delta-Based Bidirectional Model Transformation: the Asymmetric Case. Journal of Object Technology, Volume 10, pp. 6:1-25, June 2011. DOI
  • Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei: "Supporting automatic model inconsistency fixing". ESEC/SIGSOFT FSE 2009: 315-324 DOI

Lenses

  • J. Gibbons, M. Johnson: "Lenses‚ coalgebraically: View updates through the looking glass", draft
  • J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt: Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29(3): (2007) DOI

Applications

  • Triple Graph Grammars (TGGs):
    • F. Klar, M. Lauder, A. Königs, A. Schürr: "Extended Triple Graph Grammars with Efficient and Compatible Graph Translators", in: A. Schürr, C. Lewerentz, G. Engels, W. Schäfer, B. Westfechtel (eds.): Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, Heidelberg: Springer Verlag, Lecture Notes in Computer Science (LNCS), Vol. 5765, November 2010, 141-174.
    • Further Triple Graph Grammar Related Publications

Bidirectionalization:

  • J. Voigtländer, Z. Hu, K. Matsuda, and M. Wang: "Combining Syntactic and Semantic Bidirectionalization", International Conference on Functional Programming, Proceedings, ACM Press, September 2010. SIGPLAN Notices, Vol. 45(9), 181-192. DOI: 10.1145/1863543.1863571
  • Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda: "Bidirectionalizing Graph Transformations", International Conference on Functional Programming, Proceedings, ACM Press, September 2010. SIGPLAN Notices, Vol. 45(9) 205-216. DOI: 10.1145/1932681.1863573
  • J. Voigtländer: "Bidirectionalization for Free!", Principles of Programming Languages, Proceedings, ACM Press, January 2009. SIGPLAN Notices, Vol. 44(1), 165-176. DOI: 10.1145/1480881.1480904
  • Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei: “Towards automatic model synchronization from model transformations”. ASE 2007: 164-173 DOI

Synchronization (Concurrent changes in multiple locations)

  • Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi. Synchronizing Concurrent Model Updates Based on Bidirectional Transformation. Software and Systems Modeling, Springer, January 2011. DOI
  • Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio: JTL: A Bidirectional and Change Propagating Transformation Language. SLE 2010: 183-202 DOI
  • Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei: "Supporting automatic model inconsistency fixing". ESEC/SIGSOFT FSE 2009: 315-324 DOI
  • Zinovy Diskin: “Model Synchronization: Mappings, Tiles, and Categories”. GTTSE 2009: 92–165 DOI
  • J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt: Exploiting schemas in data synchronization. J. Comput. Syst. Sci. 73(4): 669-689 (2007) DOI
  • Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei: “Towards automatic model synchronization from model transformations”. ASE 2007: 164-173 DOI

Model-Code Round-Trip Engineering:

  • Antkiewicz, M., K. Czarnecki, and M. Stephan, "Engineering of Framework-Specific Modeling Languages", IEEE Transactions on Software Engineering, vol. 35, issue 6, pp. 795 - 824, 11/2009. DOI: 10.1109/TSE.2009.30
Unless otherwise stated, the content of this page is licensed under GNU Free Documentation License.