Extraction of Component-Environment Interaction Model Using State Space Traversal

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F10%3A10002274" target="_blank" >RIV/00216208:11320/10:10002274 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Extraction of Component-Environment Interaction Model Using State Space Traversal

Popis výsledku v původním jazyce

Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if a model of interaction between each component and its environment (rest ofthe system) is available. Since constructing formal models of interaction by hand is hard and tedious, techniques and tools for automated inference of the models from code are needed. We present a technique for automated extraction of models of component-environment interaction from multi-thread-ed software systems implemented in Java, which is based on state space traversal. Models are captured in the formalism of behavior protocols, which allows to express parallel behavior explicitly. Java PathFinder is used to perform the state space traversal.

Název v anglickém jazyce

Extraction of Component-Environment Interaction Model Using State Space Traversal

Popis výsledku anglicky

Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if a model of interaction between each component and its environment (rest ofthe system) is available. Since constructing formal models of interaction by hand is hard and tedious, techniques and tools for automated inference of the models from code are needed. We present a technique for automated extraction of models of component-environment interaction from multi-thread-ed software systems implemented in Java, which is based on state space traversal. Models are captured in the formalism of behavior protocols, which allows to express parallel behavior explicitly. Java PathFinder is used to perform the state space traversal.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA201%2F08%2F0266" target="_blank" >GA201/08/0266: Metody a modely pro ověřování konzistence aplikací založených na pokročilých komponentových modelech</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í

2010

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

Proceedings of the 25th ACM Symposium on Applied Computing

ISBN

978-1-60558-639-7

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

—

Název nakladatele

ACM

Místo vydání

New York, NY, USA

Místo konání akce

Sierre, Švýcarsko

Datum konání akce

22. 3. 2010

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

WRD - Celosvětová akce

Kód UT WoS článku

—