Property Specifications for Workflow Modelling.

Peter Y. H. Wong Jeremy Gibbons

Published in: IFM (2009)

Keyphrases

control flow
business process
workflow management systems
workflow systems
databases
artificial intelligence
desirable properties
formal specification
functional requirements