一种基于产生式的流程模型分析方法

在深入分析业务流程模型和合理的抽象业务活动基础上,提出了一种基于产生式的流程模型形式化分析方法,并提供了一种从一般流程描述到该模型的转换方法;在此基础上,推导了一系列行之有效的流程属性验证规则,并通过应用实际例子证明了所提出方法的有效性.     

基于用户浏览行为挖掘的网站个性化推荐系统

文章介绍了电子商务个性化推荐系统,在此基础上提出了一种基于用户浏览行为进行数据挖掘的个性化推荐系统模型,并给出了详细的挖掘流程及实现算法.     

信牌驱动的多Agent流程协调及异常处理研究

信牌是工作流活动协调的工具,但对参与者的协调分析不足。另一方面,agent具有自主、智能的特点,与流程的参与者类似。在提出信牌驱动的多agent流程模型的基础上,对多agent流程模型中的异常状况进行讨论。运用流程中的知识结合异常案例的相似匹配算法,并对信牌进行进一步扩展,提出一种基于知识流的半主动式流程异常处理机制,为流程中的异常提供了解决方案。     

基于XML的工作流管理系统模型

本文在分析了传统企业管理信息系统的局限性和采用工作流技术带来改变的基础上,讨论了工作流的基本概念,并根据工作流参考模型提出了一种基于XML技术的面向电子商务应用的工作流流程模型,该模型采用状态图来表示,并设计了其XPDL描述.     

工作流管理系统中自适应机制的研究

针对传统工作流管理系统存在灵活性不足、自适应能力缺乏等问题,对自适应机制进行了研究。首先提出了一种基于ECA规则和活动组合的自适应工作流模型,并在此基础上提出了一种自适应机制。设计了基于Agent的自适应工作流管理系统。该系统动态地分派流程中的任务,自主地调整流程执行来适应执行环境的变化。     

基于分组公平控制流结构的流程变体合并方法

合并流程变体模型能够快速地构建满足新需求的单一流程模型,对流程变体进行合并具有较大的实际应用价值,因此,文中提出了一种利用分组公平控制流结构的流程变体合并方法.首先,利用Petri网中的分组公平将流程变体分割为单个的变体片段;其次,提取出变体片段的控制流路径,并在此基础上构建其矩阵表现形式,进而将流程变体合并为单一的流程模型;最后,通过形式化证明验证合并后的流程模型可以捕获输入流程模型的所有行为,并且可以检测在合并模型中是否产生了不期望的行为.     

最小变化区域在流程建模中的应用

针对流程建模过程中缺乏合理性验证以及所建模型过于庞大导致验证复杂的问题,在研究建模过程中结构变化的基础上,提出一种将最小变化区域的思想引入到流程建模过程中的方法。对所提出的方法使用Petri网作为分析工具,以具体系统为例进行了建模应用分析,并在建模过程中进行了合理性验证。分析比较结果表明,利用最小变化区域的思想进行建模可以降低复杂度,并能够在流程建模及模型验证等方面提高工作效率。     

基于工作流技术的OA流程设计

企业OA流程重组是一项复杂的工程,它的实施需要利用先进的流程建模和分析手段来描述、分析和评价经营流程。手工处理工作流程,特别是对于那些需要参与人员审批修改或填写数据的流程,不仅不方便而且还可能出现丢失资料或时间延误等情况。本文研究了工作流技术在企业OA流程中的应用,在基本模型的基础上,结合某国税局OA系统提出了三种表单的流程模型,并设计了该模型的动态实现机制,从而摆脱了传统实现机制灵活性差的缺点。     

供应链流程绩效评估模型及其系统实现

提出一种基于流程分解的供应链流程绩效评估模型。该模型在流程分解的基础上,从质量、时间、成本、协同性和资产利用5个维度出发,对供应链业务流程进行绩效评估。基于该模型设计开发供应链绩效评估系统,通过某航运公司的集装箱航运供应链流程实例验证该模型的可行性。     

WS-BPEL业务流程与访问控制

针对面向服务的体系结构下企业应用安全需求,通过分析WS-BPEL业务流程特点,提出一种面向执行体的访问控制模型。该模型可以动态地进行权限授予与回收,并引入角色和约束机制。在此基础上,将流程活动映射到访问控制模型元素,从而在流程定义和权限管理隔离的情况下,实现WS-BPEL业务流程执行过程中的访问控制策略实施。     

层次工作流Petri网建模与分析

当前,复杂工作流建模和动态工作流建模成为工作流研究中的重点。该文详细论述了一种基于Petri网的、用于复杂工作流模型设计的层次建模方法及其相关规则,并利用四种Petri简化规则对工作流模型的正确性进行了验证。同时提出“区”的概念并藉此分析了工作流的动态建模问题。     

基于WF net的工作流恢复网模型的研究*

针对工作流系统中存在的异常问题,提出了一个基于WF-net和ECA规则的工作流恢复网模型,给出了模型元素与ECA规则的映射关系。模型在设计时采用WF-net结构,运行时通过预定义的操作函数动态调整工作流结构。采用基于任务的恢复策略,利用ECA规则自动处理可预测异常;考虑任务间的数据依赖,采用人工恢复策略处理不可预测异常。     

基于专家系统的协同设计工作流管理系统研究

本文提出了一种支持协同产品设计的以规则为基础的工作流管理系统模型架构,其中以专家系统的推论引擎作为工作流程管理系统的推进机制,利用推论引擎的知识库存储流程的事实与规则,以各任务的输出结果、任务间的关联性并搭配预先定义好的流程规则作为推论的依据,讨论了系统的架构设计、关键技术及系统实现,该系统为复杂的工作流程提供了一种新的管理及控制模式。     

基于扩展有向图的工作流建模的设计与应用

通过对工作流建模对象的分析,提出了一种基于扩展有向图的工作流建模方法,并从节点、有向弧及演化规则三方面对该方法进行了形式化的描述。在此基础之上,建立了一个工作流可视化建模工具,并通过具体的实例说明了该工具在实际流程中的有效运用,为解决传统建模软件开发中的关键问题提出了一种新的解决方案。     

SPEM2XPDL模型转换研究*

将软件过程技术与工作流技术相结合,严格定义了SPEM2XPDL模型转换规则,设计并实现了一个SPEM2XPDL模型转换引擎.此引擎将SPEM描述的软件过程转换为符合工作流定义(XPDL)的工作流过程,从而可基于工作流管理系统对软件过程提供执行支持.SPEM模型经引擎转换后在工作流管理系统Shark上的成功执行表明了引擎的可用性.     

集成化离散生产过程的工作流管理

文章以面向过程的观点,分析了生产过程内活动之间的逻辑关系,提出了以工作流管理系统为集成平台的企业生产过程管理和离散生产过程工作流建模方法。在此基础上建立了过程运行规则和资源约束处理规则。由于生产过程的工作流模型是以活动为组件自下而上建立的有向树结构,它与过程运行规则和资源约束处理规则的结合,使生产过程能够适应内部及外部环境的变化,从而可有效地解决生产过程中各活动之间的协调问题。     

基于语义的工作流过程优化

为改善工作流的性能和效率,一个智能化的工作流系统应该具有动态的分析和优化工作流过程的能力。提出了一种基于语义的工作流优化方法,它使用本体概念来描述工作流,利用本体技术的知识表达能力,给工作流模型赋以相应的动态语义,从而构建工作流事实库;通过制定基于本体的活动分类规则,对工作流的所有活动进行语义分类,从而构建分类规则库;通过执行活动分类规则来获取优化信息,针对不同类别的活动执行相应的操作,从而实现对工作流模型的结构优化。最后,通过实例来说明该方法的可行性和正确性。     

基于图归约法的工作流模型验证

详细论述了对基于有向有环图（DCG图）的工作流模型结构正确性进行验证的图归约法及其五种归约规则，根据这些规则即可判定工作流模型中存在的结构冲突，从而迅速对其进行修正。     

基于ECA规则的工作流模型应用研究

本文以工作流参考模型为基础,结合办公自动化工作流的应用特点,阐明了工作流模型的设计与实现方案,应用ECA规则模型,对工作流模型进行定义和描述.