Component Substitutability via Equivalencies of Component-Interaction Automata

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Vyměnitelnost komponent na základě ekvivalencí Component-interaction automatů
Autoři

ČERNÁ Ivana VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

Rok publikování 2006
Druh Článek ve sborníku
Konference Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'06)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova component-based systems; reconfiguration correctness; component substitutability; independent implementability
Popis Článek nabízí nový pohled na formální aspekty vyměnitelnosti dvou komponent a nezávislé implementace komponenty (umožnuje použití komponenty v jakémkoli systému kde implementace komponenty vyhovuje specifikaci stanovené prostředím), s využitím formalismu zvaného Component-interaction automaty. Cílem práce je poskytnout formální charakterizaci podmínek, které vedou k rekonfigurační korektnosti (správná substituce komponent a bezpečná nezávislá implementace). Tyto podmínky posléze zaručují, že nový systém (po výměně komponenty) zůstane ekvivalentní původnímu, a tedy není nutné ho opakovaně verifikovat.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.