The design of dynamic workflows needs adequate modeling formalisms and tools to soundly handle changes during workflow operation. A common approach is to pollute workflow design with details that do not regard the current behavior, but rather evolution. That hampers analysis, reuse and maintenance in general. We propose and discuss the adoption of a recent Petri net-based reflective model as a support to dynamic workflow design. Keeping separated functional aspects from evolution, results in a dynamic workflow model merging flexibility and ability of formally verifying basic workflow properties. A structural characterization of sound dynamic workflows is adopted. An application to a well localized problem is presented: 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.
Addressing soundness and efficiency issues in dynamic processes : a reflective PN-based modeling approach / L. Capra - In: SpringSim '08 : proceedings of the 2008 Spring simulation multiconference : Ottawa, Canada, april 14-17, 2008San Diego : Society for Computer Simulation International, 2008. - ISBN 1565553195. - pp. 256-264 (( convegno Spring simulation multiconference tenutosi a Ottawa, Canada nel 2008 [10.1145/1400549.1400584].
Addressing soundness and efficiency issues in dynamic processes : a reflective PN-based modeling approach
L. CapraPrimo
2008
Abstract
The design of dynamic workflows needs adequate modeling formalisms and tools to soundly handle changes during workflow operation. A common approach is to pollute workflow design with details that do not regard the current behavior, but rather evolution. That hampers analysis, reuse and maintenance in general. We propose and discuss the adoption of a recent Petri net-based reflective model as a support to dynamic workflow design. Keeping separated functional aspects from evolution, results in a dynamic workflow model merging flexibility and ability of formally verifying basic workflow properties. A structural characterization of sound dynamic workflows is adopted. An application to a well localized problem is presented: 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.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.