@@ -30,7 +30,7 @@ Furthermore, there are some result viewers (contract analysys trace, model check
### OSLC
Let's go back to the Adapter. In addition to the local invocation of the analysis tools, there is also the possibility to interact remotely with the analysis tools through the use of OSLC specifications (or better, an implementation of OSLC for Java, namely [Lyo](https://www.eclipse.org/lyo/)).
[OSLC](https://open-services.net/)(Open Services for Lifecycle Collaboration) is a set of specifications that enable integration of software development.
[OSLC](https://open-services.net/)(Open Services for Lifecycle Collaboration) is a set of specifications that enable integration of software development. It is based on several web standards, like the W3C Resource Description Framework (RDF), Linked Data and REST, enabling integration at data level via links between related resources. OSLC resources are defined in terms of RDF properties. Operations on resources are performed using HTTP.
