工作流模型的语义及验证

摘要：

提出了一种将以活动网络图描述的工作流模型转换为CCS的思想，利用CCS描述了工作流模型的6种基本逻辑关系，进而将整个工作流模型转化为动程表达式，从而为工作流模型提供了严格的形式化基础。并在此基础上给出了工作流模型正确性的3个约束条件，讨论了带循环的工作流模型的正确性验证，并提出了验证工作流模型结构正确性的方法的步骤。

关键词： 工作流模型 活动网络图 结构正确性 逻辑关系

作者: 肖晶 陈曙

作者单位: 武汉大学计算机学院 武汉 430079

会议类型: 国内会议

会议名称: 2009国际信息技与应用论坛

会议地点: 成都

会议语种:中文

页码: 67-70

在线出版日期: 2009-05-15（万方平台首次上网日期，不代表论文的发表时间）