Detail publikačního výsledku

Integrating OSLC Services into Eclipse

FIEDOR, J.; KŘENA, B.; SMRČKA, A.; VAŠÍČEK, O.; VOJNAR, T.

Original Title

Integrating OSLC Services into Eclipse

English Title

Integrating OSLC Services into Eclipse

Type

Paper in proceedings (conference paper)

Original Abstract

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.

English abstract

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.

Keywords

OSLC, Unite, UniC, Eclipse, Analysis tools, Verification tools

Key words in English

OSLC, Unite, UniC, Eclipse, Analysis tools, Verification tools

Authors

FIEDOR, J.; KŘENA, B.; SMRČKA, A.; VAŠÍČEK, O.; VOJNAR, T.

RIV year

2024

Released

10.02.2023

Publisher

Springer International Publishing

Location

Las Palmas de Gran Canaria

ISBN

978-3-031-25311-9

Book

Computer Aided Systems Theory - EUROCAST 2022

Edition

Lecture Notes in Computer Science

Volume

13789

Pages from

240

Pages to

249

Pages count

10

URL

https://link.springer.com/content/pdf/10.1007/978-3-031-25312-6_28.pdf

Full text in the Digital Library

http://hdl.handle.net/

BibTex

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