All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

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