Process Logic for Verifying the Correctness of Business Process Models.

Henry H. Bi J. Leon Zhao

Published in: ICIS (2004)

Keyphrases

business process models
process model
business process
object oriented
software engineering
conceptual model
development process
modal logic