Modelování komponentového prostředí za výskytu zpětných volání a autonomních aktivit

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F08%3A00101298" target="_blank" >RIV/00216208:11320/08:00101298 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Modeling of Component Environment in Presence of Callbacks and Autonomous Activities

Popis výsledku v původním jazyce

A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an environment for each component. Real-life component applications often involve complex interaction patterns like callbacks and autonomous activities, which have to be considered by the model of environment's behavior. In general, such patterns can be properly modeled only by a formalism that (i) supports independent atomic events for methodinvocation and return from a method and (ii) allows to specify explicit interleaving of events on component's provided and required interfaces - the formalism of behavior protocols satisfies these requirements. This paper attempts to answer the questionwhether the model involving only events on provided interfaces (calling protocol) could be valid under certain constraints on component behavior. The key contribution are the constraints on interleaving of events related to callbacks and

Název v anglickém jazyce

Modeling of Component Environment in Presence of Callbacks and Autonomous Activities

Popis výsledku anglicky

A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an environment for each component. Real-life component applications often involve complex interaction patterns like callbacks and autonomous activities, which have to be considered by the model of environment's behavior. In general, such patterns can be properly modeled only by a formalism that (i) supports independent atomic events for methodinvocation and return from a method and (ii) allows to specify explicit interleaving of events on component's provided and required interfaces - the formalism of behavior protocols satisfies these requirements. This paper attempts to answer the questionwhether the model involving only events on provided interfaces (calling protocol) could be valid under certain constraints on component behavior. The key contribution are the constraints on interleaving of events related to callbacks and

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA201%2F06%2F0770" target="_blank" >GA201/06/0770: Formální metody prakticky použitelné pro vývoj systémů složených ze softwarových komponent</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2008

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Lecture Notes in Business Information Processing

ISSN

1865-1348

e-ISSN

—

Svazek periodika

11

Číslo periodika v rámci svazku

Neuveden

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

20

Strana od-do

—

Kód UT WoS článku

000257465300002

EID výsledku v databázi Scopus

—