Publication result detail

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

KOČÍ, R.; JANOUŠEK, V.

Original Title

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

English Title

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

Type

Peer-reviewed article not indexed in WoS or Scopus

Original Abstract

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.

English abstract

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.

Keywords

Oriented Petri Nets, debugging, tracing, reverse debugging, requirements validation

Key words in English

Oriented Petri Nets, debugging, tracing, reverse debugging, requirements validation

Authors

KOČÍ, R.; JANOUŠEK, V.

RIV year

2020

Released

30.12.2019

ISBN

1942-2628

Periodical

International Journal on Advances in Software

Volume

12

Number

3

State

United States of America

Pages from

191

Pages to

200

Pages count

10

URL

http://www.iariajournals.org/software/tocv12n34.html

BibTex

@article{BUT161470,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="Possibilities of the Reverse Run of Software Systems Modeled by Petri Nets",
  journal="International Journal on Advances in Software",
  year="2019",
  volume="12",
  number="3",
  pages="191--200",
  issn="1942-2628",
  url="http://www.iariajournals.org/software/tocv12n34.html"
}

Documents

soft_v12_n34_2019_1