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

Jana Koehler Giuliano Tirenni Santhosh Kumaran From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods. 96- 2002 conf/edoc/2002 EDOC http://computer.org/proceedings/edoc/1742/17420096abs.htm db/conf/edoc/edoc2002.html#KoehlerTK02