Property specifications for workflow modelling.

Peter Y. H. Wong Jeremy Gibbons

Published in: Sci. Comput. Program. (2011)

Keyphrases

control flow
data flow
formal specification
information retrieval
website
high level
object oriented
business processes
business process
petri net
workflow management systems
specification language
database
web services
scientific workflows
concurrent systems