0103389 - UIVT-O 20040130 RIV IE eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR GA201/03/0911
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: software components * interface bindings * behavior protocols
Kód oboru RIV: JD - Využití počítačů, robotika a její aplikace

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).
Trvalý link: http://hdl.handle.net/11104/0010697