Tracing and Reversing the Run of Software Systems Implemented by Petri Nets

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F18%3APU130676" target="_blank" >RIV/00216305:26230/18:PU130676 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.thinkmind.org/index.php?view=article&articleid=icsea_2018_6_20_10095" target="_blank" >http://www.thinkmind.org/index.php?view=article&articleid=icsea_2018_6_20_10095</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Tracing and Reversing the Run of Software Systems Implemented by Petri Nets

Popis výsledku v původním jazyce

Application run tracing and application interactive debugging are integral part of the software systems development process. In many cases, the possibility to execute reverse steps of the system run would make debugging easier and quicker due to examination of the system state before it got into the wrong or disabled state. Currently, techniques of reversing the system run are not widespread, but there are experimental implementations. Nevertheless, these solutions increase overhead of the application run due to the logging of the information needed to restore previous states. Moreover, many of them increase overhead in a significant way. This article focuses on the possibility of reversing the run of systems whose behavior is described by Petri nets. The work follows the methodology of designing and validating system requirements using functional models that combine formal notation with objects of production environment and can be used as a  full-fledged application. Due to the nature of Petri Nets formalisms, it is possible to define reverse operations to reduce the overhead of application run.

Název v anglickém jazyce

Tracing and Reversing the Run of Software Systems Implemented by Petri Nets

Popis výsledku anglicky

Application run tracing and application interactive debugging are integral part of the software systems development process. In many cases, the possibility to execute reverse steps of the system run would make debugging easier and quicker due to examination of the system state before it got into the wrong or disabled state. Currently, techniques of reversing the system run are not widespread, but there are experimental implementations. Nevertheless, these solutions increase overhead of the application run due to the logging of the information needed to restore previous states. Moreover, many of them increase overhead in a significant way. This article focuses on the possibility of reversing the run of systems whose behavior is described by Petri nets. The work follows the methodology of designing and validating system requirements using functional models that combine formal notation with objects of production environment and can be used as a  full-fledged application. Due to the nature of Petri Nets formalisms, it is possible to define reverse operations to reduce the overhead of application run.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/LQ1602" target="_blank" >LQ1602: IT4Innovations excellence in science</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2018

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

Software Engineering Advances

ISBN

978-1-61208-668-2

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

1-6

Název nakladatele

Xpert Publishing Services

Místo vydání

Nice

Místo konání akce

Nice

Datum konání akce

14. 10. 2018

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

WRD - Celosvětová akce

Kód UT WoS článku

—