The design of dynamic workflows needs adequate modeling/specification formalisms and tools to soundly handle possible changes occurring during workflow operation. A common approach is to pollute design with details that do not regard the current workflow behavior, but rather its evolution. That hampers analysis, reuse and maintenance in general. We propose and discuss the adoption of a recent Petri Net based reflective model (based on classical PN) as a support to dynamic workflow design, by addressing a localized problem: how to determine what tasks should be redone and which ones do not when transferring a workflow instance from an old to a new template. Behind there is the idea that keeping functional aspects separated from evolutionary ones, and applying evolution to the (current) workflow template only when necessary, results in a simple reference model on which the ability of formally verifying typical workflow properties is preserved, thus favoring a dependable adaptability.
A Reflective PN-based Approach to Dynamic Workflow Change / L. Capra, W. Cazzola - In: Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing SYNASC 2007 : proceedings : Timișoara, Romania, September 26-29, 2006[s.l] : IEEE Computer Society, 2007 Sep. - ISBN 0-7695-3078-8. - pp. 533-540 (( convegno International Symposium in Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'07) tenutosi a Timisoara, Romania nel 2007 [10.1109/SYNASC.2007.64].
A Reflective PN-based Approach to Dynamic Workflow Change
L. CapraPrimo
;W. CazzolaUltimo
2007
Abstract
The design of dynamic workflows needs adequate modeling/specification formalisms and tools to soundly handle possible changes occurring during workflow operation. A common approach is to pollute design with details that do not regard the current workflow behavior, but rather its evolution. That hampers analysis, reuse and maintenance in general. We propose and discuss the adoption of a recent Petri Net based reflective model (based on classical PN) as a support to dynamic workflow design, by addressing a localized problem: how to determine what tasks should be redone and which ones do not when transferring a workflow instance from an old to a new template. Behind there is the idea that keeping functional aspects separated from evolutionary ones, and applying evolution to the (current) workflow template only when necessary, results in a simple reference model on which the ability of formally verifying typical workflow properties is preserved, thus favoring a dependable adaptability.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.