A Formal Semantic Study of the Work Flow Based on Activity Graph Model

• 基于活动图模型的工作流形式化语义研究