Detail publikace

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

KOČÍ Radek a JANOUŠEK Vladimír. Tracing and Reversing the Run of Software Systems Implemented by Petri Nets. In: Software Engineering Advances. Nice: Xpert Publishing Services, 2018, s. 122-127. ISBN 978-1-61208-668-2. Dostupné z: http://www.thinkmind.org/index.php?view=article&articleid=icsea_2018_6_20_10095
Název česky
Sledování a reverzní ladění softwarových systémů implementovaných Petriho sítěmi
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
URL
Abstrakt

Interaktivní ladění aplikace je nedílnou součástí procesu vývoje softwarových systémů. V mnoha případech by možnost provedení zpětných kroků běhu systému usnadnila a urychlila ladění díky vyšetření stavu systému předtím, než se dostal do nesprávného nebo nepovoleného stavu. V současné době nejsou techniky reverzace běhu systému příliš rozšířené, ale existují experimentální implementace. Nicméně tato řešení zvyšují režii běhu aplikace kvůli zaznamenávání informací potřebných k obnově předchozích stavů. Tento článek se zaměřuje na možnost reverze běhu systémů, jejichž chování je popsáno Petriho sítěmi. Práce se řídí metodikou návrhu a validace 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 aplikace. Vzhledem k povaze formalismu Petriho sítí je možné definovat reverzní operace s cílem snížit režii běhu aplikace.

Rok
2018
Strany
122-127
Sborník
Software Engineering Advances
Konference
The Thirteenth International Conference on Software Engineering Advances, Nice, FR
ISBN
978-1-61208-668-2
Vydavatel
Xpert Publishing Services
Místo
Nice, FR
UT WoS
000464893200019
BibTeX
@INPROCEEDINGS{FITPUB11795,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
   title = "Tracing and Reversing the Run of Software Systems Implemented by Petri Nets",
   pages = "122--127",
   booktitle = "Software Engineering Advances",
   year = 2018,
   location = "Nice, FR",
   publisher = "Xpert Publishing Services",
   ISBN = "978-1-61208-668-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11795"
}
Nahoru