Result Details

Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC

VAŠÍČEK, O.; FIEDOR, J.; KRATOCHVÍLA, T.; KŘENA, B.; SMRČKA, A.; VOJNAR, T. Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC. In ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Singapore: Association for Computing Machinery, 2022. p. 1408-1418. ISBN: 978-1-4503-9413-0.
Type
conference paper
Language
English
Authors
Vašíček Ondřej, Ing., DITS (FIT)
Fiedor Jan, Ing., Ph.D., DITS (FIT)
Kratochvíla Tomáš, Mgr.
Křena Bohuslav, Ing., Ph.D., DITS (FIT)
Smrčka Aleš, Ing., Ph.D., DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Abstract

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.

Keywords

Transformation to web services, OSLC, OSLC Automation, Software analysis, Tool integration, Eclipse Lyo

URL
Published
2022
Pages
1408–1418
Proceedings
ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Conference
30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022
ISBN
978-1-4503-9413-0
Publisher
Association for Computing Machinery
Place
Singapore
DOI
EID Scopus
BibTeX
@inproceedings{BUT181498,
  author="Ondřej {Vašíček} and Jan {Fiedor} and Tomáš {Kratochvíla} and Bohuslav {Křena} and Aleš {Smrčka} and Tomáš {Vojnar}",
  title="Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC",
  booktitle="ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering",
  year="2022",
  pages="1408--1418",
  publisher="Association for Computing Machinery",
  address="Singapore",
  doi="10.1145/3540250.3558939",
  isbn="978-1-4503-9413-0",
  url="https://dl.acm.org/doi/pdf/10.1145/3540250.3558939"
}
Projects
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
Departments
Back to top