OSLC adapter for ANaConDA

Abstract

OSLC (Open Services for Lifecycle Collaboration) is an OASIS Open Project that defines standards for software development tools, and focuses on allowing tools to communicate and integrate through standardized self-describing RESTful APIs. This work is a proof of concept for adding an OSLC interface to academic software tools. We demonstrate and evaluate the process of adding OSLC support by creating an OSLC adapter for ANaConDA using Eclipse Lyo. ANaConDA is a framework for dynamic analysis of multithreaded C/C++ programs, focused on detecting concurrency errors, such as data races. It was created by the VeriFIT research group of the Brno University of Technology in Czech Republic. It provides the means for easy analyser creation, and supports noise injection to introduce controlled thread interleavings. Creating an OSLC adapter will allow ANaConDA to integrate with other software tools. This will make it easier for potential ANaConDA users to try ANaConDA, and hopefully incorporate ANaConDA into their software development life cycles. The result of this work is a demonstration that OSLC can be used for academic tools, such as ANaConDA. We present a working implemented OSLC adapter that allows users to perform the core use cases of ANaConDA through a RESTful API, e.g. using a REST client. The adapter even features persistent storage of resources in a SPARQL database, and allows resources to be queried for using the OSLC Query syntax, which is a functionality that is not required by the OSLC specifications. Apart from demonstrating the viability of OSLC, this work should hopefully be useful as an introduction to OSLC for other academic or commercial programmers who want to add OSLC support to their own software tools. This work is a part of our participation in the AQUAS project [greenaqu] and the AUFOVER project [greenauf].