Skip to content The Open University

Runtime Traceability for an Adaptive Time Machine

Time travel is the dream of archaeologists to verify their hypotheses of our history, also the subject of science fiction writers to propose their speculations of our destiny. Featured by change management and backup file systems, even imperfect, travelling to the past of a project is no longer a dream. However, travelling to the future software world remains largely so. On basis of various advances in the theory and practice of requirements engineering  [salifu12jss, wang09jase, yu05re], especially the progress in the active maintenance of runtime traceability relationships [yu11ase, yu12icse] between problems and solutions, we speculate that travelling to the future may be enabled by (a collection of) carefully designed software systems [wermelinger11ese].


[yu12icse]Y. Yu, Y. Lin, Z. Hu, S. Hidaka, H. Kato, and L. Montrieux, ``Maintaining invariant traceability through bidirectional transformations'', in ICSE, 2012, pp. 540--550.
[wermelinger11ese]M. Wermelinger, Y. Yu, A. Lozano, and A. Capiluppi, ``Assessing architectural evolution: a case study'', Empirical Software Engineering, vol. 16, no. 5, pp. 623--666, 2011.
[salifu12jss]M. Salifu, Y. Yu, A. K. Bandara, and B. Nuseibeh, ``Analysing monitoring and switching problems for adaptive systems'', Journal of Systems and Software, vol. 85, no. 12, pp. 2829--2839, 2012.
[yu11ase]Y. Yu, T. Tun, and B. Nuseibeh, ``Specifying and detecting meaningful changes in programs'', in ASE, 2011, pp. 273--282.
[yu05re]Y. Yu, Y. Wang, J. Mylopoulos, S. Liaskos, A. Lapouchnian, and J.C.S.P. Leite, ``Reverse Engineering Goal Models from Legacy Code,'' in RE, 2005, pp. 363--372.
[wang09jase]Y. Wang, S. A. McIlraith, Y. Yu, and J. Mylopoulos, ``An automated approach to monitoring and diagnosing requirements,'' emph{Automated Software Engineering Journal}, vol. 16, no. 1, pp. 3--35, 2009.