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) |
Soubory připojené k záznamu:
Soubor | Popis | Velikost | Formát | |
---|---|---|---|---|
Brada.pdf | Plný text | 470,8 kB | Adobe PDF | Zobrazit/otevřít |
Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam:
http://hdl.handle.net/11025/21562
Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.