Strengthening Component Architectures by Modeling Fine-Grained Entities

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F11%3A10102931" target="_blank" >RIV/00216208:11320/11:10102931 - isvavai.cz</a>

Výsledek na webu

<a href="http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6068334" target="_blank" >http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6068334</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/SEAA.2011.25" target="_blank" >10.1109/SEAA.2011.25</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Strengthening Component Architectures by Modeling Fine-Grained Entities

Popis výsledku v původním jazyce

Component-based software engineering (CBSE) defines components as basic software building blocks with strongly formalized behavior and interactions. The key benefits of structuring code into components include good analyzability of performance and behavioral correctness, simpler code generation, and high documentation value. However, a sufficiently detailed formalization including all relevant parts of application behavior often requires finer granularity than of a software component - a typical exampleis component''s data exposed to other components that can circulate through the application, e.g., opened files, client sessions. In order to propagate all the mentioned benefits of CBSE to this level of granularity, we propose a conservative componentmodel extension which allows to capture those concepts on the architecture level. Our main goal is to define a model allowing seamless integration in existing behavior specification formalisms and implementation in current component syste

Název v anglickém jazyce

Strengthening Component Architectures by Modeling Fine-Grained Entities

Popis výsledku anglicky

Component-based software engineering (CBSE) defines components as basic software building blocks with strongly formalized behavior and interactions. The key benefits of structuring code into components include good analyzability of performance and behavioral correctness, simpler code generation, and high documentation value. However, a sufficiently detailed formalization including all relevant parts of application behavior often requires finer granularity than of a software component - a typical exampleis component''s data exposed to other components that can circulate through the application, e.g., opened files, client sessions. In order to propagate all the mentioned benefits of CBSE to this level of granularity, we propose a conservative componentmodel extension which allows to capture those concepts on the architecture level. Our main goal is to define a model allowing seamless integration in existing behavior specification formalisms and implementation in current component syste

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP202%2F11%2F0312" target="_blank" >GAP202/11/0312: Vývoj a verifikace softwarových komponent v zapouzdřených systémech</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2011

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 statě ve sborníku

Proceedings of 37th Euromicro Conference on Software Engineering and Advanced Applications

ISBN

978-1-4577-1027-8

ISSN

—

e-ISSN

—

Počet stran výsledku

5

Strana od-do

124-128

Název nakladatele

IEEE CS

Místo vydání

Los Alamitos, USA

Místo konání akce

Oulu, Finland

Datum konání akce

30. 8. 2011

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—