0103386 - UIVT-O 20040127 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Adámek, Jiří - Plášil, František
Erroneous Architecture is a Relative Concept.
[Kontextově závislé chyby v softwarových architekturách.]
Software Engineering and Aplications. Anaheim: ACTA Press, 2004 - (Hamza, M.), s. 715-720. ISBN 0-88986-425-X. ISSN 1482-7905.
[IASTED. International Conference on Software Engineering and Applications /8./. Cambridge (US), 09.11.2004-11.11.2004]
Grant CEP: GA ČR GA201/03/0911
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: faulty software architecture * framework * component behavior
Kód oboru RIV: JD - Využití počítačů, robotika a její aplikace

The problem this paper addresses is that an architecture formed of software components can contain composition errors (introduced, for instance, as a result of the choice of a framework's parameters). The title "Erroneous architecture is a relative concept" is to emphasize that whether a composition error occurs in an architecture depends on the way the architecture is used in its environment. An important issue is finding a way to possibly statically verify that, for a given setup containing the architecture, no composition errors can occur in any run. The contribution of the paper is bringing an evidence that this can be done by employing behavior protocols and their consent operator.

Architektura vytvořená ze softwarových komponent může obsahovat chyby (například v důsledku volby parametrů architektury). Zda-li se tyto chyby při běhu aplikace skutečně projeví, závisí na tom, jakým způsobem bude tato architektura využívána (otázka prostředí). Klíčovým problémem je nalézt postup, který staticky (tj. v době tvorby aplikace, nikoliv v době jejího běhu) ověří, zda se při použití dané architektury v daném prostředí chyby projeví nebo ne. Tento článek ukazuje, že daný problém může být vyřešen pomocí "behavior protocols".
Trvalý link: http://hdl.handle.net/11104/0010694