Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Preserving Validity of Batch-job Nets under Change at Runtime

 
: Apfelbeck, C.; Fritz, M.; Jürjens, J.; Zweihoff, J.

:

Ahamed, I. ; Institute of Electrical and Electronics Engineers -IEEE-:
IEEE 39th Annual Computer Software and Applications Conference, COMPSAC 2015. Vol.2 : Taichung, Taiwan, 1 - 5 July 2015
Piscataway, NJ: IEEE, 2015
ISBN: 978-1-4673-6565-9
ISBN: 978-1-4673-6563-5
S.169-178
International Computer Software and Applications Conference (COMPSAC) <39, 2015, Taichung>
Englisch
Konferenzbeitrag
Fraunhofer ISST ()

Abstract
In this paper, we develop an approach to preserve validity of executable batch-job specifications during changes at run-time based on Petri-nets. The approach in particular supports changing batch-job specifications while they are being executed, which makes it particularly important to ensure that the change preserves the critical properties. The approach supports verification of the batch-job specifications that are subject to change against these properties and correction of those batch-job specifications that become invalid by the change. The developed approach was implemented and validated in an industrial application context.

: http://publica.fraunhofer.de/dokumente/N-356103.html