Conference paper

KOČÍ Radek and 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, pp. 1-6. ISBN 978-1-61208-668-2. Available from: http://www.thinkmind.org/index.php?view=article&articleid=icsea_2018_6_20_10095
Publication language:english
Original title:Tracing and Reversing the Run of Software Systems Implemented by Petri Nets
Title (cs):Sledování a reverzní ladění softwarových systémů implementovaných Petriho sítěmi
Pages:1-6
Proceedings:Software Engineering Advances
Conference:The Thirteenth International Conference on Software Engineering Advances
Place:Nice, FR
Year:2018
URL:http://www.thinkmind.org/index.php?view=article&articleid=icsea_2018_6_20_10095
ISBN:978-1-61208-668-2
Publisher:Xpert Publishing Services
Keywords
Object Oriented Petri Nets, debugging, tracing, reverse debugging, requirements validation
Annotation
Application run tracing and application interactive debugging are integral part of the software systems development process. In many cases, the possibility to execute reverse steps of the system run would make debugging easier and quicker due to examination of the system state before it got into the wrong or disabled state. Currently, techniques of reversing the system run are not widespread, but there are experimental implementations. Nevertheless, these solutions increase overhead of the application run due to the logging of the information needed to restore previous states. Moreover, many of them increase overhead in a significant way. This article 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 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.
BibTeX:
@INPROCEEDINGS{
   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 = {1--6},
   booktitle = {Software Engineering Advances},
   year = {2018},
   location = {Nice, FR},
   publisher = {Xpert Publishing Services},
   ISBN = {978-1-61208-668-2},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=11795}
}

Your IPv4 address: 54.234.227.202
Switch to https