Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Fiedor Jan, Ing., Ph.D., UITS (FIT)
Křena Bohuslav, Ing., Ph.D., UITS (FIT)
Smrčka Aleš, Ing., Ph.D., UITS (FIT)
Vašíček Ondřej, Ing., UITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Abstrakt

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.

Klíčová slova

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

URL
Rok
2023
Strany
240–249
Sborník
Computer Aided Systems Theory - EUROCAST 2022
Řada
Lecture Notes in Computer Science
Svazek
13789
Konference
Eurocast 2022 -- 18th International Conference on Computer Aided Systems Theory
ISBN
978-3-031-25311-9
Vydavatel
Springer International Publishing
Místo
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"
}
Projekty
Nástroje Arrowhead pro inženýrství a řešení digitalizace, EU, Horizon 2020, 8A19010, zahájení: 2019-05-01, ukončení: 2022-07-31, ukončen
Spolehlivé, bezpečné a efektivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-20-6427, zahájení: 2020-03-01, ukončení: 2023-02-28, ukončen
Škálovatelné techniky pro analýzu komplexních vlastností počítačových systémů, GAČR, Standardní projekty, GA20-07487S, zahájení: 2020-01-01, ukončení: 2022-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru