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.
Perdita Stevens received her PhD in algebra from the University of Warwick. After spending three years in industry as professional software engineer, she joined the Laboratory for Foundations of Computer Science at Edinburgh. Since 2014 she is Professor of Mathematics of Software Engineering in the School of Informatics of the University of Edinburgh. Currently, she works on mathematical aspects of software modelling and model-driven development, including foundations of bidirectionality and the semantics of the bidirectional transformation language QVT-R. She wrote the first textbook on UML, Using UML, which has been translated into seven languages. She has sat on over 50 international programme committees and has over 50 publications. She is on the Editorial Boards of both Theoretical Computer Science and Software and Systems Modeling, and has chaired conferences including UML (now MODELS), TACAS, FMOODS and FASE, and the Educators' Symposium at MODELS.