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
International Computer Software and Applications Conference (COMPSAC) <39, 2015, Taichung>
Fraunhofer ISST ()

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.