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"
}