Is Bidirectionality Important?

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10890)


Bidirectional transformations maintain consistency between information sources, such as different models of the same software system. In certain settings this is undeniably convenient – but is it important? I will argue that developing our ability to engineer dependable bidirectional transformations is likely to be crucial to our ability to meet the demand for software in coming decades. I will discuss some of the work that has been done so far, including some I’ve had a hand in, and what challenges remain.


  1. 1.
    Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: Notions of bidirectional computation and entangled state monads. In: Hinze, R., Voigtländer, J. (eds.) MPC 2015. LNCS, vol. 9129, pp. 187–214. Springer, Cham (2015). Scholar
  2. 2.
    Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: Introduction to bidirectional transformations. In: Gibbons and Stevens [9], pp. 1–28 (2018)Google Scholar
  3. 3.
    Beck, K.: Extreme Programming Explained: Embrace Change. Addison-Wesley Longman Publishing Co., Inc., Boston (2000)Google Scholar
  4. 4.
    Betteridge, I.: Techcrunch: irresponsible journalism., February 2009. Accessed via [15] 18 Apr 2018
  5. 5.
    Booch, G.: Object Oriented Analysis and Design with Applications. Benjamin/Cummings, San Francisco (1991)zbMATHGoogle Scholar
  6. 6.
    Brocklehurst, S.: Going off the rails: the Edinburgh trams saga.
  7. 7.
    Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: On principles of least change and least surprise for bidirectional transformations. J. Object Technol. 16(1), Article no. 3, 1–31 (2017)Google Scholar
  8. 8.
    Dijkstra, E.W.: Selected writings on Computing: A Personal Perspective. Chapter On the Role of Scientific Thought, pp. 60–66. Springer (1982). Scholar
  9. 9.
    Gibbons, J., Stevens, P. (eds.): Bidirectional Transformations. LNCS, vol. 9715. Springer, Cham (2018). Scholar
  10. 10.
    Johnson, M., Rosebrugh, R.: Cospans and symmetric lenses. In: Proceedings of the 7th International Workshop on Bidirectional Transformations. ACM (2018)Google Scholar
  11. 11.
    Petricek, T.: What we talk about when we talk about monads. Art Sci. Eng. Program. 2(3), Article no. 12 (2018)Google Scholar
  12. 12.
    Shieber, S.M.: Is this article consistent with Hinchliffe’s rule? Ann. Improbable Res. 21(3), 18–19 (2015)Google Scholar
  13. 13.
    Stevens, P.: Towards sound, optimal, and flexible building from megamodels. Talk at Bx 2018 (paper in preparation)Google Scholar
  14. 14.
    Stevens, P.: Bidirectional transformations in the large. In: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 1–11. IEEE (2017)Google Scholar
  15. 15.
    Wikipedia contributors. Betteridge’s law of headlines—Wikipedia, the free encyclopedia (2018). Accessed 18 April 2018Google Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.School of InformaticsUniversity of EdinburghEdinburghUK

Personalised recommendations