Time warp, an approach for reasoning over system histories

  • Authors:

  • Verónica Uquillas Gómez;Andy Kellens;Johan Brichau;Theo D'Hondt

  • Affiliations:

  • Vrije Universiteit Brussel, Brussels, Belgium;Vrije Universiteit Brussel, Brussels, Belgium;Université catholique de Louvain, Louvain-la-Neuve, Belgium;Vrije Universiteit Brussel, Brussels, Belgium

  • Venue:
  • Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

The version history of a software system contains a wealth of information that can assist developers in their daily implementation and maintenance tasks. By reasoning over the role of certain code entities in previous versions of the system, developers can better understand their current state, assess the required maintenance and avoid making the same mistakes over and over again. Unfortunately, current approaches do not offer a means to easily extract specific information about the source code from such a version history. In this paper we present Time Warp, a library of logic predicates that builds on the SOUL language and the FAMIX and Hismo meta-models and that allows writing queries about the history of a system. By means of a number of concrete examples, we demonstrate how our approach can be used to express interesting queries over the version history of a system.