Detail publikace

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

KOČÍ Radek a JANOUŠEK Vladimír. Possibilities of the Reverse Run of Software Systems Modeled by Petri Nets. International Journal on Advances in Software, roč. 12, č. 3, 2019, s. 191-200. ISSN 1942-2628. Dostupné z: http://www.iariajournals.org/software/tocv12n34.html
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
angličtina
Autoři
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
URL
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
Vydavatel
Mezinárodní asociace univerzit, výzkumu a průmyslu
BibTeX 
@ARTICLE{FITPUB12136,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
   title = "Possibilities of the Reverse Run of Software Systems Modeled by Petri Nets",
   pages = "191--200",
   journal = "International Journal on Advances in Software",
   volume = 12,
   number = 3,
   year = 2019,
   ISSN = "1942-2628",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12136"
}
Nahoru