Commit 089ce86d authored by Pietro Braghieri's avatar Pietro Braghieri
Browse files


parent 2e9cfb33
......@@ -32,6 +32,17 @@ Furthermore, there are some result viewers (contract analysys trace, model check
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](
[OSLC]( (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 and enables 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.
OSLC is organized into individual topics such a change management, test management, requirements management and configuration management.
These topics have [specifications]( called **domains** which leverage the OASIS OSLC lifecycle integration Core Specification and enable interoperation through the specification of standard domain vocabularies, constraints, and services.
For the integration with our tools, we select the [Automation]( specifications. The Automation domain define resources as automation plan, automation request and automation result; they are in relationship as shown below
### Dependencies
Currently EATA has been tested for Eclipse `Neon`, `2020-06` and `2021-03`
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment