基于活动预调度的工作流管理研究

在工作流管理中,通过将顺序执行的活动重叠执行来缩短过程执行周期、提高系统的执行效率,是长久以来大家关注的问题。传统支持过程管理的系统在这方面没有提供足够的支持手段。本文通过对实际应用情况的分析抽象,提出了用活动预调度的方法来解决以上问题,并针对项目管理型系统提出了解决方案:基于信息约束驱动执行的工作流管理机制。分析证明,预调度在实际工作流管理中是有意义且可行的。     

基于Agent的工作流管理系统的虚拟企业模型

通过基于Agent的工作流管理系统，提出了实现虚拟企业的一种可能途径，并描述了此系统中虚拟企业模型的体系结构。     

面向软件工程的工作流管理系统

结合CMM思想和RUP技术，提出了以RUP定义的软件开发流程作为模板，以工作流管理系统作为支持环境的软件开发过程管理的新思路，介绍了工作流管理系统的模型基础，即集成化的多视图模型P_PROCE，它以过程视图为核心，集成了产品，资源，组织和控制评价视图，给出了建模，仿真和执行有机集成的工作流管理系统体系结构，在解释了以过程建模，系统维护和模型转换接口三部分组成的工作流建模系统的基础上，阐述了以个人工作台和工作流引擎为主构成的工作流执行和仿真机制。     

基于工作流的PDM应用系统研究

介绍了工作流管理的现状和 PDM系统的体系结构 ,提出一种以工作流管理为核心的PDM系统解决方案 ,通过在 PDM系统中集成 STEP标准建立信息模型和数据交换 ,增强系统在信息和应用集成的过程中的适应性和开放性 ,提供基于 Internet/ Intranet的共享零件库和标准工程手册数据库 ,将工程设计和管理人员解放出来 ,提高产品设计和资源利用率 .     

基于任务的访问控制模型及其实现

分析了基于任务的访问控制原理，参考工作流系统及基于角色的访问控制提出了一个基于任务访问控制的基础模型，讨论了联合任务和职责分离思想，并对该模型在应用中的实现问题进行了研究。     

AOP及其在状态机工作流中的应用

面向切面编程(Aspect-Oriented Programming,简称AOP)作为一种新的编程技术正日益引起人们的关注.文章介绍了AOP产生背景和理论价值,并结合作者所设计的状态机工作流框架,详细讨论了如何通过在该框架中引入AOP机制来克服纯面向对象编程的不足,从中分析了AOP的优势和应用价值,最后对AOP和OOP的关系进行了讨论.     

Model Checking Workflow Net Based on Petri Net

The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with Computation Tree Logic （CTL） allows us to verify the soundness with symbolic model checkers. Therefore the state explosion problem in verifying soundness can be overcome efficiently. When the property is not satisfied by the system, model checking can give a counter-example, which can guide us to correct the workflow. In addition, relaxed soundness is another important criterion for the workflow. We also prove that Computation Tree Logic ＊ （CTL ＊ ） can be used to character the relaxed soundness of the workflow.     

产品数据管理系统实施方法学

提出了产品数据管理系统的实施概念 ,并从系统工程角度提出了产品数据管理实施的策略 ,给出了的产品数据管理系统的实施步骤和技术路线 .探讨了产品数据管理的实施方法 ,并将该方法成功地应用于实际的产品数据管理系统的实施过程中 .     

一种基于着色赋时Petri网的Web服务组合建模方法

为了满足日益复杂的Web服务需求,提出了一种扩展的petri网模型,即着色赋时Petri网模型。该模型通过引入时间集合来表示Web服务的触发及运行时间,通过引入颜色集合来区别不同种类的Web服务,使得对Web服务组合的描述更为准确。针对该模型还详细给出了该组合模型的基本运算规则及图形表示。     

工作流中多粒度时间约束的建模及其一致性分析

对基本工作流网进行了时间属性的扩展,定义了一个可以模拟业务过程多粒度时间约束的工作流模型:多粒度时间约束工作流网,可以很好地模拟与业务过程相关的多粒度时间约束,包括任务的相对就绪时间约束、任务的相对执行时间约束、任务的执行持续时间约束以及任务之间的时间约束,并且给出了这些多粒度时间约束的一致性分析.