Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F22%3APU146988" target="_blank" >RIV/00216305:26230/22:PU146988 - isvavai.cz</a>
Result on the web
<a href="https://dl.acm.org/doi/pdf/10.1145/3540250.3558939" target="_blank" >https://dl.acm.org/doi/pdf/10.1145/3540250.3558939</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1145/3540250.3558939" target="_blank" >10.1145/3540250.3558939</a>
Alternative languages
Result language
angličtina
Original language name
Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC
Original language description
This paper describes Unite, a new tool intended as an adapter for transforming non-interactive command-line analysis tools to OSLC-compliant web services. Unite aims to make such tools easier to adopt and more convenient to use by allowing them to be accessible, both locally and remotely, in a unified way and to be easily integrated into various development environments. Open Services for Lifecycle Collaboration (OSLC) is an open standard for tool integration and was chosen for this task due to its robustness, extensibility, support of data from various domains, and its growing popularity. The work is motivated by allowing existing analysis tools to be more widely used with a strong emphasis on widening their industrial usage. We have implemented Unite and used it with multiple existing static as well as dynamic analysis and verification tools, and then successfully deployed it internationally in the industry to automate verification tasks for development teams in Honeywell. We discuss Honeywells experience with using Unite and with OSLC in general. Moreover, we also provide the Unite Client (UniC) for Eclipse to allow users to easily run various analysis tools directly from the Eclipse IDE.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
20206 - Computer hardware and architecture
Result continuities
Project
<a href="/en/project/GA20-07487S" target="_blank" >GA20-07487S: Scalable Techniques for Analysis of Complex Properties of Computer Systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2022
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
ISBN
978-1-4503-9413-0
ISSN
—
e-ISSN
—
Number of pages
11
Pages from-to
1408-1418
Publisher name
Association for Computing Machinery
Place of publication
Singapore
Event location
Singapore
Event date
Nov 14, 2022
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—