Repository and meta-data design for efficient component consistency verification

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
Repository and meta-data design for efficient component consistency verification
Original language description
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
Czech name
—
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—

Project
<a href="/en/project/GAP103%2F11%2F1489" target="_blank" >GAP103/11/1489: Methods of development and verification of component-based applications using natural language specifications</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Similar results(10)