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%2F67985807%3A_____%2F08%3A00317215" target="_blank" >RIV/67985807:_____/08:00317215 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/00216208:11320/08:00206201

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. Component applications often involve complex interactionpatterns such as callbacks and autonomous activities that can be properly modeled only by a formalism that (i) supports independent atomic events for method invocation and return from a method and (ii) allows to specify interleaving of events on component's provided and required interfaces. This paper attempts to answer the question whether a model involving only events on provided interfaces (calling protocol) could be valid under certain constraints on component behavior. The key contribution are theconstraints on interleaving of events related to callbacks and autonomous activities, which are expressed via syntactical patterns, and evaluation of the proposed constraints on real-life component applications.

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. Component applications often involve complex interactionpatterns such as callbacks and autonomous activities that can be properly modeled only by a formalism that (i) supports independent atomic events for method invocation and return from a method and (ii) allows to specify interleaving of events on component's provided and required interfaces. This paper attempts to answer the question whether a model involving only events on provided interfaces (calling protocol) could be valid under certain constraints on component behavior. The key contribution are theconstraints on interleaving of events related to callbacks and autonomous activities, which are expressed via syntactical patterns, and evaluation of the proposed constraints on real-life component applications.

Druh

D - Stať ve sborníku

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

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 statě ve sborníku

Objects, Components, Models and Patterns

ISBN

978-3-540-69823-4

ISSN

—

e-ISSN

—

Počet stran výsledku

20

Strana od-do

—

Název nakladatele

Springer-Verlag

Místo vydání

Berlin

Místo konání akce

Zurich

Datum konání akce

30. 6. 2008

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000257465300002