• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. Preserving Validity of Batch-job Nets under Change at Runtime
 
  • Details
  • Full
Options
2015
Conference Paper
Title

Preserving Validity of Batch-job Nets under Change at Runtime

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.
Author(s)
Apfelbeck, C.
Fritz, M.
Jürjens, J.
Zweihoff, J.
Mainwork
IEEE 39th Annual Computer Software and Applications Conference, COMPSAC 2015. Vol.2  
Conference
International Computer Software and Applications Conference (COMPSAC) 2015  
DOI
10.1109/COMPSAC.2015.100
Language
English
Fraunhofer-Institut für Software- und Systemtechnik ISST  
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024