工作流逻辑模型分析

摘要：

本文对工作流逻辑模型进行了分析。文章从工作流过程逻辑人手，用向量的形式来表示活动间的逻辑关系，利用迹(变迁序列)理论讨论了工作流的模型性质，并用规约的思想分析了结构的正确性。

关键词： 计算机网络 工作流逻辑 逻辑模型

作者: 徐春香 黄雨 王捍贫

作者单位: 北京大学信息科学技术学院,北京,100871

会议类型: 国内会议

会议名称: 2006年全国理论计算机科学学术年会

会议地点: 长春

会议语种:中文

页码: 60-62,77

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