Titlebook: Business Process Management; 10th International C Alistair Barros,Avigdor Gal,Ekkart Kindler Conference proceedings 2012 Springer-Verlag Be

Certainty

絆住

glucagon

BIDE

The Difficulty of Replacing an Inclusive OR-Join obtained by any combination of AND and XOR gateways. The proof reveals an intrinsic limitation on the replaceability of IOR-joins and hence the translatability of BPMN-like control flow into Petri nets.

莎草

A Business Process-Driven Approach for Requirements Dependency Analysismore dependencies than other participants using text-based requirements only. Though many of these additional dependencies are highly difficult to spot from the text-based requirements, they are however very useful for change impact analysis.

鐵砧

Defining Process Performance Indicators by Using Templates and Patternss model. Furthermore, since it relies on a formal ontology based on Description Logics, it is possible to perform automated analysis and infer knowledge regarding the relationships between PPI definitions and other process elements.