基于工作流的ASP服务组合模型研究

提出了一种基于工作流和数据泵的ASP服务集成的方法，该方法运用工作流技术来实现ASP服务的过程集成，运用数据泵实现数据的集成，ASP服务集成的关键是控制流和数据流，控制流运用工作流技术，而数据流运用数据泵。在基于工作流的ASP组合模型的实现技术中讨论了ASPWF模型的思想、建立步骤，设计了引擎算法。在案例分析中通过电信企业运营中的SLA工单处理的业务过程为例，说明如何将工作流与小粒度ASP组合服务模型的优势相结合，提高系统处理的效率。     

基于扩展型工作流网的网格工作流模型研究

基于传统的工作流网不能满足网格动态性的要求,及其无法体现数据流的不足,提出一种可行的扩展型工作流网(EWFN)的网格工作流模型.该模型适应网格动态变化特点和应用处理需求,并且既能表示出控制流,又能表示出数据流.使用实例表明采用该模型的可行性及其优点.     

CBR:一种支持工作流过程语义验证的组件级 化简方法

目前的工作流过程验证方法多数侧重控制流特性验证,与数据或资源信息相结合的验证尚未得到很好发展.然而,业务过程的目标实现依赖于控制流、数据流和资源三维基本观点的协作.保证过程的目标实现需要验证这三维观点协作的正确性,称为语义验证.该文侧重讨论大型、灵活的过程语义验证问题.首先,形式化定义过程模型,综合体现三维基本观点,表达完整的过程语义,并使用基于组件的思想,具有一定可扩展性和灵活性.然后,通过探讨组件间的协作逻辑,提出基于组件的化简方法(Component Based Reduction,CBR)和化简规则,为过程语义验证提供有力支持.     

基于XCFG的BPEL数据流属性分析与验证

 BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本文提出一种基于扩展控制流图(XCFG)的BPEL流程数据流属性验证方法,利用XCFG对BPEL流程进行形式建模,设计相应的算法来分析和验证典型的数据流属性,如定义-使用一致性,无死锁和可达性.理论分析和实验均表明该方法是有效的.     

电子商务业务流程网的可达分析方法

电子商务业务流程网（E-commerce Business Process Net,EBPN）是一种基于Petri网的形式化模型.该模型面向业务流程的设计阶段和应用层,整合了控制流、数据流及其相关属性,可以较好地刻画现今主流的电子业务流程,有助于描述业务流程执行过程中的数据错误和数据状态的非确定性.针对EBPN的结构和动态属性,进一步研究了EBPN的可达分析方法,给出了可达数据状态图的构造算法及相关结论.为了减少可达分析的难度,借鉴程序切片的思想,研究了EBPN的模型切片方法,定义了切片准则,构造了EBPN的切片算法.EBPN的切片方法可用于降低可达数据状态图的分析复杂度.     

基于Petri网和Web服务的工作流建模方案

面向Web服务的工作流系统能很好地满足现代企业应用集成和协作的需求，Web服务流程模型的建立是实现Web服务集成的重要环节。Petri网具有形式化的描述的基础和正确性分析的优点。文章将这两方面结合起来．对工作流网中控制流结构进行了分析，给出了由Petri网向WSFL转化的方法，并给出Petri模型中控制流结构的WSFL描述。     

一种基于资源约束的工作流建模及分析方法

资源约束是工作流正确实施的一个瓶颈问题,因此工作流系统的资源建模及模型正确性验证方法显得非常重要.为此,基于Petri网和工作流建模方法,提出了一种资源约束的工作流系统的形式化建模和分析技术,定义了资源空间(RS)、资源子网、资源工作流网和资源工作流网完整性(soundness)的概念,建立了资源调用视图以及Petri网影射模型,得到了资源工作流网保持完整性判定的一个充要条件.该方法将系统资源建模和过程建模合成到一个模型中,解决了工作流系统资源和过程分别建模给系统的正确性验证带来的困难,为工作流系统资源状态的可视化和进行有效的系统验证提供了模型依据.给出的实例验证了模型的有效性.     

面向协同审批的工作流模型构建研究

针对协同审批机制的特殊性,提出了协同审批三维工作流模型及构建过程。文中详细分析了组织、数据、过程3类子模型在协同审批机制中的形式化描述,相比其他的模型范例,协同审批三维工作流模型不仅通过IPO模型清楚明了地描述了业务流程。还体现业务过程所访问的关键数据流及组织结构,更利于系统、科学地统筹协同审批工作流开发。     

程序的分层静态分析模型HSAM

论文阐述了程序的一种分层静态分析的模型(HSAM)。在一定的分析精度的要求下,该模型采用一种分层分析的思想:先从整体的角度对程序进行模块结构分析;然后在模块内部进行控制流的分析;最后进行数据流分析。论文提出的逆序path更新算法对于控制流的分析非常有效。     

面向ERP的事件驱动工作流设计与应用

随着市场竞争环境的日益激烈,服务计算和业务流程迅速发展,企业不仅要实施工作流的整合、建模、测试,还需要加强企业资源规划。企业为了提升自身的管理水平和综合竞争力,已经把目光投入到信息化管理,将企业资源规划(ERP)作为典型的信息化集成解决方案。根据ERP自身特点,分析出各种工作流建模方法的特点,总结了目前工作流的不足之处,设计出一种事件驱动的过程链工作流工作模型。通过事件驱动器、过程链及时响应和反馈机制,对工作流管理系统进行改进,能够很好满足ERP系统业务流程需求。实践证明,采取事件驱动的过程链工作流机制,明显提高了系统的可扩展性、柔韧性和处理复杂业务流程的能力。