0103389 - UIVT-O 20040130 RIV IE eng C - Conference Paper (international conference)
Adámek, Jiří - Plášil, František
Partial Bindings of Components - Any Harm?
[Komponentové architektury s neúplně definovaným propojením - ano či ne?]
Asia-Pacific Software Engineering Conference. Piscataway: IEEE, 2004, s. 632-639. ISBN 0-7695-2245-9. ISSN 1530-1362.
[APSEC. Asia-Pacific Software Engineering Conference /11./. Busan (KR), 30.11.2004-03.12.2004]
R&D Projects: GA ČR GA201/03/0911
Institutional research plan: CEZ:AV0Z1030915
Keywords : software components * interface bindings * behavior protocols
Subject RIV: JD - Computer Applications, Robotics

Reuse is one of the key benefits of components. It inherently means that the functionality of a component may be employed only partially. This triggers the issue whether all of the component's interfaces have to be really bound to the other components in its current environment (missing binding problem). Assuming each of the components is equipped by its behavior protocol [19], we show that missing bindings can be statically identified via verification tools, in particular by employing the concept of bad activity error introduced in [1].

Jednou z výhod, kterou přináší koncept softwarových komponent, je opětovné použití kusů kódu vytvořených dříve (a třeba s odlišným účelem). S tím také souvisí otázka, zda-li musí být využita všechna rozhraní takovéto znovu použité komponenty. Za předpokladu, že je každá komponenta vybavena formálním popisem chování (koncept demonstrujeme použitím "behavior protocols"), může být tato otázka zodpovězena staticky (tj. v době sestavování aplikace).
Permanent Link: http://hdl.handle.net/11104/0010697