基于组件级化简的语义验证方法在电子商务过程中的应用

工作流过程语义验证是保证过程完成其最终目的的必要方法,基于组件的语义验证方法有利于提高验证效率,适合验证大型过程的语义正确性.文章描述了在一个实际的工作流系统中,如何使用基于组件级化简的语义验证方法,对一个电子商务过程订货购买过程的三维工作流网表示进行语义验证.证明了该语义验证方法的有效性.     

基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法.实验证明,该算法在实际应用中具有可操作性,有较强的现实意义.     

网格工作流及其关键技术研究综述

网格技术意在驱动互联网上所有资源的全面共享与协同工作.网格工作流技术是近年来兴起的又一研究热点.简述了网格发展,提出网格系统层次模型,并分析总结其中的关键技术.接着,分析网格工作流的起因.概述其概念,并提出其区别于传统工作流的特点.最后,综述网格工作流的研究现状,分析并提出其中的关键技术及发展方向,力图为网格工作流在描述、实现和应用方面的技术创新提供基础和依据.     

基于规范化工作流网建模的模型验证方法

在比较分析已有工作流模型验证算法优缺点的基础上,提出一种新的工作流模型验证方法.该方法基于规范化工作流网,不仅可以检测死锁、孤立点等常规模型错误结构,而且能够检测隐蔽性很强的AND-split→OR-join(A→O)结构.为了成功检测A→O结构,详尽分析了不同A→O结构的特点,并找到它们之间的共同特征,进而通过探测该共同特征来检测是否存在A→O结构,从而克服已有算法无法验证A→O结构的缺陷.此外,还给出模型规范化规则,使得方法能够验证不规范的业务流程.通过实例分析,表明算法有效可靠.     

基于全序语义结构化工作流的研究

针对业务过程的规范化建模问题,研究结构化工作流.证明了基于全序语义的任意工作流均可转化为与其等价的结构化形式,提出了一种结构化工作流代数,并给出了其语义解释模型.在此基础上,形式化地定义了结构化工作流过程和结构化工作流过程函数,从理论上提供了构建规范化、合理化和柔性化业务工作流概念模型的表示方法和操作语言.医疗实例分析证明了结构化工作流理论在过程建模、再造和动态重组中的有效应用.     

基于Petri网的研究生培养工作流模型

工作流技术作为实现过程集成管理的有效手段,广泛应用于各种场合,Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示,该文简要介绍了工作流、工作流模型以及Petri网的理论,然后对研究生培养过程进行了基于Petri网的模型设计,并对模型进行了化简和合理性证明,结果表明,利用Petri网能够对研究生培养过程进行建模和优化设计。     

网格工作流的语义模型及其查询机制

目前对网格工作流模型的描述侧重于形式化的定义出任务之间的相互关系以及各个任务的属性的语法描述，为了便于知识获取和重用，提供一个网格工作流知识的形式化语义描述框架显得尤为重要．针对网格工作流的描述方法提出了一个新的视角：运用知识表达技术提供一个网格工作流的语义模型和查询机制，并将面向对象的继承思想引入到网格工作流表达的语义框架中，该框架是可扩充、可配置的，用户可以对新的类别定义新的语义框架，并可基于该继承结构的语义框架，进行有层次的工作流的查询．     

工作流模型验证及分解的多项式算法分析

基于工作流的Petri网结构化建模方法,证明了工作流网的T-不变量和P-不变量的存在性、可覆盖性,给出了一个工作流模型完整性的充要条件,进一步得到了基于T-不变量的多项式分解算法,与以往非多项式分解算法相比,克服了遍历的不足,降低了算法复杂度,给出的实例验证了算法的有效性.     

基于Petri网的工作流模型合理性研究

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法.     

基于工作流网的过程模型的合理性分析

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网(WF-net)。基于两种不破坏原工作流网络结构特性和系统行为的调整映射,将工作流网调整为完全的扩展自由选择网(EFC-net),结合秩定理,给出了验证工作流合理性的算法。     

工作流机的操作语义

针对还没有工作流模型的执行过程的形式化描述的问题,给出工作流机处理步骤的操作语义描述.由于对过程实例和活动实例进行形式化描述,使得工作流机具有清晰的结构,易于不同的工作流机之间的协同工作,并且对工作流机的程序实现具有指导意义.     

语义Web技术在基金数据校验中的应用

语义Web技术通过定义公共原语的方式,使得数据能够被不同的程序、企业应用和行业领域共享与重用.FundRegulator将语义Web技术应用于金融行业,使基金各项指标的自动校验成为可能.该系统以Web服务体系结构为蓝本,以语义级功能模块为计算单元,并借鉴了信息系统集成的研究成果,采用了分布式计算框架使该系统结构能有效地容纳新的数据源和校验规则.同时,对该类系统存在的不足之处和未来的改进方向提出了建设性的意见.     

网格工作流的语义模型及其查询机制

针对网格工作流的描述方法提出了一个新的视角:运用知识表达技术提供一个网格工作流的语义模型和查询机制,并将面向对象的继承思想引入到网格工作流表达的语义框架中,该框架是可扩充、可配置的,用户可以对新的类别定义新的语义框架,并可基于该继承结构的语义框架,进行有层次的工作流的查询.     

基于现代企业应用的工作流过程模型研究

针对现代企业的实际经营状况,分析了工作流过程元模型在现代企业过程建模应用中存在的不足.在此基础上,对工作流元模型以及工作流定义语言作了适当的改进和扩展,以适应现代企业过程建模的需求和新技术的使用.     

基于PETRI网的政府办公系统工作流建模研究

提出了一种基于PETRI网的政府办公系统工作流建模研究方法。讨论了该工作流程的控制关系及约束条件等。用一个实例对所提出的建模方法进行了说明。实际表明该建模方法简单、可行，并能保证工作流模型的有效性。     

UML在商业工作流程建模中的应用

随着商业软件的发展,传统的系统分析设计的方法已不能很好地适应现在的要求。为解决在商业工作流程建模中存在的问题,提出了使用UML进行建模,并结合实例论述了如何在商业工作流程中具体应用UML建模。实践表明在应用软件开发中应用UML对提高应用软件的开发效率和质量有很大的帮助,它很好地解决了现存的问题。     

制造系统工作流设计的校验和性能分析方法

基于广义随机Petri网提出了对工作流的 流程和资源角色分配的转化规则。在此基础上, 得出了在虚拟企业中，重组流程、资源和角色的网模型正确性和稳定性应该具备的条件是：安全、活性和标记守恒。对制造系统重组变化性能的定量分析，可以通过对工作流转化的广义随机Petri网的稳定状态概率进行模拟计算和评价，它为敏捷化快速重组优化找到了有效的手段。最后，通过实例说明了判定和分析的一般步骤。