Repository and meta-data design for efficient component consistency verification

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F15%3A43925252" target="_blank" >RIV/49777513:23520/15:43925252 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1016/j.scico.2014.06.013" target="_blank" >http://dx.doi.org/10.1016/j.scico.2014.06.013</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.scico.2014.06.013" target="_blank" >10.1016/j.scico.2014.06.013</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Repository and meta-data design for efficient component consistency verification

Popis výsledku v původním jazyce

Composing a complete component-based application as well as updating a subset of its components may involve complex issues of maintaining application consistency. Its verification is a computationally-intensive problem, especially for behavioural compatibility or extra-functional property assessment. This poses serious challenge on resource-constrained devices which represent an important future computing platform. This work describes an approach that addresses this challenge by separating the tasks ofobtaining the results of component consistency evaluation and using them in deployment and update processes. The first task in our approach is performed by a repository with sufficient computational resources. The results are transformed into rich, remotely accessible meta-data which are easily checked by the component frameworks and application management agents on the devices. Experiences with a prototype implementation called CRCE as well as validation measurements suggest that the ap

Název v anglickém jazyce

Repository and meta-data design for efficient component consistency verification

Popis výsledku anglicky

Composing a complete component-based application as well as updating a subset of its components may involve complex issues of maintaining application consistency. Its verification is a computationally-intensive problem, especially for behavioural compatibility or extra-functional property assessment. This poses serious challenge on resource-constrained devices which represent an important future computing platform. This work describes an approach that addresses this challenge by separating the tasks ofobtaining the results of component consistency evaluation and using them in deployment and update processes. The first task in our approach is performed by a repository with sufficient computational resources. The results are transformed into rich, remotely accessible meta-data which are easily checked by the component frameworks and application management agents on the devices. Experiences with a prototype implementation called CRCE as well as validation measurements suggest that the ap

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP103%2F11%2F1489" target="_blank" >GAP103/11/1489: Metody pro tvorbu a ověřování komponentových systémů ze specifikací v přirozeném jazyce</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2015

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Science of Computer Programming

ISSN

0167-6423

e-ISSN

—

Svazek periodika

97

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

17

Strana od-do

349-365

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—