Publication Details
Integrating OSLC Services into Eclipse
Křena Bohuslav, Ing., Ph.D. (DITS)
Smrčka Aleš, Ing., Ph.D. (DITS)
Vašíček Ondřej, Ing. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
OSLC, Unite, UniC, Eclipse, Analysis tools, Verification tools
Transforming analysis and verification tools to web services can make them more
easily accessible and easier to use, especially if the services use standardized
interfaces. One can use Unite, an adapter, to transform almost any analysis or
verification tool with a command-line interface to an OSLC-compliant web service.
Open Services for Lifecycle Collaboration (OSLC) is a robust and extensible open
standard for integrating tools across the entire development lifecycle which
offers support of data from a wide range of domains. In this paper, we propose
UniC, a plug-in for the Eclipse IDE which serves as a universal client for
utilizing analysis or verification tools hosted as web services using Unite. UniC
allows such tools to be executed directly from the IDE and allows their outputs
to be visualized using its UI. UniC is usable for a very wide range of tools and
use cases thanks to its highly extensible and configurable architecture. It is in
fact a universal OSLC client usable with any OSLC-compliant service. We have
tested UniC with a number of analysis and verification tools and also
successfully deployed it in the industry.
@inproceedings{BUT185134,
author="Jan {Fiedor} and Bohuslav {Křena} and Aleš {Smrčka} and Ondřej {Vašíček} and Tomáš {Vojnar}",
title="Integrating OSLC Services into Eclipse",
booktitle="Computer Aided Systems Theory - EUROCAST 2022",
year="2023",
series="Lecture Notes in Computer Science",
volume="13789",
pages="240--249",
publisher="Springer International Publishing",
address="Las Palmas de Gran Canaria",
doi="10.1007/978-3-031-25312-6\{_}28",
isbn="978-3-031-25311-9",
url="https://link.springer.com/content/pdf/10.1007/978-3-031-25312-6_28.pdf"
}