Formal Model of Workflow Integration and its Application in STISAG.

Zhijun Ding Zhaohui Zhang Changjun Jiang Meiqin Pan

Published in: CSCWD (2006)

Keyphrases

formal model
formal models
business process
workflow management systems
security properties
fully integrated
web services
data integration
petri net
data flow
virtual enterprise