The design of dynamic workﬂows needs adequate model ing/speciﬁcation formalisms and tools to soundly handle possible changes during workﬂow operation. A common approach is to pollute workﬂow 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 reﬂective model as a support to dynamic workﬂow design. Keeping separated functional aspects from evolu tion, results in a dynamic workﬂow model merging ﬂexibil ity and ability of formally verifying basic workﬂow prop erties. A structural on-the-ﬂy characterization of sound dy namic workﬂows 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 work ﬂow instance from an old to a new template.
Evolutionary Design through Reflective Petri Nets : an Application to Workflow / L. Capra, W. Cazzola - In: Software engineering / [a cura di] C. Pahl. - Calgary : ACTA Press, 2008 Feb. - ISBN 9780889867154. - pp. 200-207 (( convegno IASTED International Conference on Software Engineering (SE'08) tenutosi a Innsbruck nel 2008.
|Titolo:||Evolutionary Design through Reflective Petri Nets : an Application to Workflow|
CAPRA, LORENZO (Primo)
CAZZOLA, WALTER (Ultimo)
|Parole Chiave:||Dynamic workflow; Evolution; Petri nets; Reflection|
|Settore Scientifico Disciplinare:||Settore INF/01 - Informatica|
|Data di pubblicazione:||feb-2008|
|Tipologia:||Book Part (author)|
|Appare nelle tipologie:||03 - Contributo in volume|