Evolutionary design through reflective Petri nets: an application to workflow. (English) Zbl 1157.68396

Pahl, C. (ed.), Software engineering. Proceedings of the IASTED international conference (SE 2008), as part of the 26th IASTED international multi-conference on applied informatics, Innsbruck, Austria, February 12–14, 2008. Calgary: International Association of Science and Technology for Development (IASTED); Anaheim, CA: Acta Press (ISBN 978-0-88986-716-1/CD-ROM). 200-207 (2008).
Summary: The design of dynamic workflows needs adequate modeling/specification formalisms and tools to soundly handle possible 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 netbased 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 on-the-fly characterization of sound dynamic workflows is adopted. An application is presented to 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.
For the entire collection see [Zbl 1154.68022].


68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)