Název:	Formal specification and practical verification of contextual component compatibility: technical report no. DCSE/TR-2011-06
Autoři:	Brada, Přemysl
Datum vydání:	2011
Nakladatel:	University of West Bohemia in Pilsen
Typ dokumentu:	zpráva report
URI:	http://www.kiv.zcu.cz/publications/ http://hdl.handle.net/11025/21562
Klíčová slova:	komponenty;grafické uživatelské rozhraní;kompatibilita
Klíčová slova v dalším jazyce:	components;graphical user interface;compatibility
Abstrakt v dalším jazyce:	In this report we formally describe and practically verify a method which ensures run-time type consistency of component-based applications, by performing type-based substitutability checks as part of the component binding and update processes. The method takes into account the environment of the currently deployed component version and uses its so-called contextual complement in the checks. This novel approach overcomes the limitations of the standard notion of compatibility by allowing non-contravariant di erences on the required side of the component's surface. The verification of the method uses an implementation for the OSGi component framework together with a simple GUI tool to perform component substitution experiments.
Práva:	© University of West Bohemia in Pilsen
Vyskytuje se v kolekcích:	Zprávy / Reports (KIV)

Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.