Result Details

Integrating OSLC Services into Eclipse

FIEDOR, J.; KŘENA, B.; SMRČKA, A.; VAŠÍČEK, O.; VOJNAR, T. Integrating OSLC Services into Eclipse. In Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science. Las Palmas de Gran Canaria: Springer International Publishing, 2023. p. 240-249. ISBN: 978-3-031-25311-9.
Type
conference paper
Language
English
Authors
Fiedor Jan, Ing., Ph.D., DITS (FIT)
Křena Bohuslav, Ing., Ph.D., DITS (FIT)
Smrčka Aleš, Ing., Ph.D., DITS (FIT)
Vašíček Ondřej, Ing., DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
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

URL
Published
2023
Pages
240–249
Proceedings
Computer Aided Systems Theory - EUROCAST 2022
Series
Lecture Notes in Computer Science
Volume
13789
Conference
Eurocast 2022 -- 18th International Conference on Computer Aided Systems Theory
ISBN
978-3-031-25311-9
Publisher
Springer International Publishing
Place
Las Palmas de Gran Canaria
DOI
10.1007/978-3-031-25312-6_28
EID Scopus
2-s2.0-85151137148
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"
}
Projects
Arrowhead Tools for Engineering of Digitalisation Solutions, EU, Horizon 2020, 8A19010, start: 2019-05-01, end: 2022-07-31, completed
Scalable Techniques for Analysis of Complex Properties of Computer Systems, GACR, Standardní projekty, GA20-07487S, start: 2020-01-01, end: 2022-12-31, completed
Spolehlivé, bezpečné a efektivní počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-20-6427, start: 2020-03-01, end: 2023-02-28, completed
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Departments
Department of Intelligent Systems (DITS)
Back to top