论文研究基于贪心策略的网格工作流费用优化算法.pdf

描述了基于时间考虑的工作流模型重构的算法，以petri网为理论分析基础

基于域改进的工作流访问控制模型的研究与实现，李静梅，王彬，针对现有访问控制模型在工作流系统应用中管理复杂的局限性，提出一种基于域改进的工作流访问控制模型（D-TRBAC），给出其形式化描��

基于工作流的智能卡测试系统的研究与设计,黄长霞,张晓莹,随着ICT技术的发展,智能卡广泛应用于各个领域。为了提高智能卡的质量,需要对其进行测试并对测试过程进行合理地管理。本文设计了

提出了一个工作流管理中基于规则策略的访问控制模型，给出了规则模型的集合表达和定义，重点分析了规则解释器的实现和关键算法，最后给出了一个应用。

针对跨组织协同环境下的业务流程建模技术的不足，提出了一个新的用于跨组织业务流程的形式化建模方法。首先根据工作流管理联盟（WfMC）的有关工作流过程定义接口规范，利用PiCalculus技术对跨组织业

一种基于本体的柔性工作流组织模型，袁锋，李旭东，该文提出了一种基于本体的柔性工作流组织模型。首先，采用本体图描述模型中机构、部门、工作组、人员、职位和职务等概念及其之间

阐述了软件测试流程的相关概念，论述了基于工作流技术实现软件测试流程定义与监控的概念模型，详细探讨了软件测试流程定义与实例化和软件测试流程的执行与监控所涉及的主要内容及其具体实现方案。

对传统的工作流合理性验证方法进行了阐述, 并分析了这些方法的优缺点, 着重针对国内外学者用Petri网对工作流合理性验证方法进行综述, 分析其特点, 并指出了工作流的合理性验证的发展方向。

传统的基于令牌机制的Petri网工作流模型虽然被广泛应用，但不能完整准确地反映工作流引擎运行时的实际情况。在充分考虑了系统运行时的实际场景之后，提出了一种基于反应型机制的Petri网工作流模型；然后分

提出了一种利用弧函数上的绑定变量来实现的子流调用机制，并且以参数映射的方式达到了流程独立性基础上的调用。