摘要 |
The described workflow analysis techniques generalize activity instance information into activity context information so that activities can be analyzed in the presence of other possible activities, and by extension, other workflows. Generalization is made possible by deriving an action model for each activity, in which each model specifies contexts for preconditions and postconditions. These contexts are necessary and sufficient in defining each activity, and can be further populated with metadata. The derived activity contexts can be used for analyses that are not possible using existing approaches.
|