Počet záznamů: 1  

Behavior Protocols Capturing Errors and Updates

  1. 1.
    0103266 - UIVT-O 20040007 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Adámek, Jiří - Plášil, František
    Behavior Protocols Capturing Errors and Updates.
    [Popis chyb a dynamických změn pomocí protokolů chování.]
    Unanticipated Software Evolution. Bonn: University of Bonn, 2003 - (Constanza, P.; Kniesel, G.), s. 17-25
    [USE'03. International Workshop on Unanticipated Software Evolution /2./. Warsaw (PL), 05.04.2003-06.04.2003]
    Grant CEP: GA AV ČR IAA2030902; GA ČR GA201/03/0911
    Výzkumný záměr: CEZ:AV0Z1030915
    Klíčová slova: software components * composition errors * behavior protocols
    Kód oboru RIV: JC - Počítačový hardware a software

    We show that, resulting from component composition, several types of behavior errors can occur: bad activity, no activity, and divergence. The key idea behind bad activity is that the asymmetry of roles during event exchange typical for real programs should be honored: the caller is considered to be the initiator of the call (callee has only a passive role). In most formal systems, this is not the case. We propose a new composition operator, "consent", reflecting these types of errors by producing erroneous traces. In addition, by using the consent operator, it can be statically determined, whether the atomicity of a dynamic update of a component is implicitly guarantied thanks to the behavior of its current environment.

    Práce demonstruje několik druhů chyb, které mohou vzniknout v důsledku kompozice softwarových komponent: "bad activity", "no activity" a " divergence". Chyba typu "bad activity" vzniká v důsledku asymetrie mezi rolemi původce a příjemce události: role příjemce je pasivní. Většina formálních systémů však tento fakt nezohledňuje. Proto navrhujeme nový operátor pro kompozici chování softwarových komponent, "consent". Navíc lze pomocí tohoto operátoru staticky určit, jestli je zaručena atomicita při dynamické výměny komponent.
    Trvalý link: http://hdl.handle.net/11104/0010578

     
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.