Detail publikace

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

KOČÍ, R.; JANOUŠEK, V. Possibilities of the Reverse Run of Software Systems Modeled by Petri Nets. International Journal on Advances in Software, 2019, vol. 12, no. 3, p. 191-200. ISSN: 1942-2628.
Název česky
Možnosti reverzního běhu softwarových systémů modelovaných Petriho sítěmi
Typ
článek v časopise
Jazyk
anglicky
Autoři
Kočí Radek, Ing., Ph.D. (UITS)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
URL
Klíčová slova

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

Abstrakt

Sledování a krokování běhu aplikací jsou nedílnou součástí procesu ladění. V mnoha případech by ladění bylo komfortnější a rychlejší, pokud by bylo možné vrátit se zpět a prozkoumat stav systému před tím, než se dostane do nesprávného nebo chybného stavu. V současné době není taková technika rozšířená, ale existují experimentální implementace, které však zatěžují běh aplikace ukládáním informací potřebných k obnovení předchozích stavů, a tím výrazně zvyšují režii. Tento článek se zaměřuje na možnost reverzního běhu systémů, jejichž chování je popsáno Petriho sítěmi. Práce sleduje metodiku návrhu a ověřování systémových požadavků pomocí funkčních modelů, které kombinují formální notaci s objekty produkčního prostředí a lze je použít jako plnohodnotnou aplikaci. Vzhledem k povaze formalismu Petriho sítí je možné definovat reverzní operace a tím snížit režii běhu aplikace.

Rok
2019
Strany
191–200
Časopis
International Journal on Advances in Software, roč. 12, č. 3, ISSN 1942-2628
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"
}
Nahoru