Process Model Validation - Transforming Process Models to Extended Checking Models.

Elke Pulvermüller Andreas Speck Sven Feja Sören Witt

Published in: ENASE (2010)

Keyphrases

process model
model validation
business process models
process mining
business processes
business process
formal models
event logs
software process
domain models
dynamic behaviors
control flow
design patterns
petri net
reference models
workflow technology
user interface
expert systems