Possibilities of the Reverse Run of Software Systems Modeled by Petri Nets

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F19%3APU134970" target="_blank" >RIV/00216305:26230/19:PU134970 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.iariajournals.org/software/tocv12n34.html" target="_blank" >http://www.iariajournals.org/software/tocv12n34.html</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Possibilities of the Reverse Run of Software Systems Modeled by Petri Nets

Popis výsledku v původním jazyce

Application run tracing and step-by-step execution are an integral part of the debugging process. In many cases, debugging would be more comfortable and faster if it was possible to go back in the execution and examine the system state before getting into the wrong or disabled state. Currently, such a technique is not widespread, but there are experimental implementations that burden the application run with logging information needed to restore previous states.  Moreover, many of them increase overhead in a significant way. This paper 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 the 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

Possibilities of the Reverse Run of Software Systems Modeled by Petri Nets

Popis výsledku anglicky

Application run tracing and step-by-step execution are an integral part of the debugging process. In many cases, debugging would be more comfortable and faster if it was possible to go back in the execution and examine the system state before getting into the wrong or disabled state. Currently, such a technique is not widespread, but there are experimental implementations that burden the application run with logging information needed to restore previous states.  Moreover, many of them increase overhead in a significant way. This paper 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 the 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

J_ost - Ostatní články v recenzovaných periodicích

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)

Rok uplatnění

2019

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

International Journal on Advances in Software

ISSN

1942-2628

e-ISSN

—

Svazek periodika

12

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

10

Strana od-do

191-200

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—