From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods.

Jana Koehler Giuliano Tirenni Santhosh Kumaran

Published in: EDOC (2002)

Keyphrases

process model
business processes
business process
formal verification
post processing
databases
real world
data mining
preprocessing