时态工作流中时间冲突地探究.pdf

题目：时态工作流中时间冲突的研究 专业：计算机软件理论 硕士生：杨毅 指导教师：余阳副教授 摘要 时间是工作流中的重要属性。近年来研究人员提出的大量的工作流模型虽 然也具有一定的时间描述能力但大多数工作流管理系统没有提供对时间管理的 支持或支持不足，时间约束管理成为越来越多的工作流管理系统的瓶颈。本文开 展时间建模研究，对于确保工作流计划的高效执行有着重要的意义。 在各种建模技术中，由于Petri网具有严格的数学基础和规范化的语义， 对于工作流的建模与分析研究人员来讲有很大的诱惑力。用Petri网方法进行工 作流模型分析有明显的优势。 (1)本文针对目前工作流管理系统中时间管理研究现状，以基于时间Petri 网的工作流建模方法为基础，把时态逻辑引入到控制流中，并给出其形式化定义。 用显示时间约束和隐式时间约束描述活动之间的约束关系，该方法能有效的将企 业过程建模和时间建模结合．它不仅能像wF—net一样较好地描述工作流业务过程 的控制结构，还对控制结构的时态信息有较强的描述能力。