基于扩展投影时序逻辑的组合Web服务描述与验证

针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务.将组合Web服务视为一个基于过程的工作流,将工作流引擎与组合Web服务组成部分的一次不可分割的消息交互抽象为一个原子过程.用扩展投影时序逻辑公式描述原子过程,用扩展投影时序逻辑操作符定义过程组合规则、连接过程描述公式,得到组合Web服务描述公式.通过模拟组合Web执行,可验证组合Web服务满足系统的需求和性质,为提高组合Web服务设计的可靠性提供了依据.     

一种基于工作流面向服务的分布式远程协同仿真系统

从面向服务的视角对分布式协同工作流进行了分析,提出工作流网格资源化的概念.定义工作流模型资源为网格资源,并遵照网格资源描述的规范描述工作流模型资源,实现从网格基础设施资源层支持协同工作流;同时以该工作流模型为原型,以面向服务的体系结构为基本框架,构建网格环境中协同工作流服务框架,实现了基于工作流的面向服务的分布式远程协同仿真系统.     

基于扩展库所网的工作流过程规约和模式描述

通过扩展库所的属性, 给出了一种新的Petri网模型,用来规约工作流过程和表示工作流模式,并提出了一种称为参数化模式的新模式。通过区别变迁和工作流路由,使得模型中的库所和变迁能够分别表示引擎的动作和需执行的任务。基于传统的Petri网的工作流模型不适合描述工作流过程所代表的行为,因此提出了ST触发规则表达网模型的语义。     

BPEL工作流管理系统中人工交互的研究

Business Process Execution Language(BPEL)成为了W eb服务编排的事实标准。BPEL的缺点是缺少对人工交互的支持。随后的BPEL4Peop le规范试图通过扩展BPEL来支持人工交互;但现有的大多数BPEL引擎只支持BPEL规范,并不支持BPEL4Peop le规范,因此它们也都缺少对人工交互的支持。要使现有BPEL引擎支持BPEL4Peop le规范,必须修改现有BPEL引擎,这实现起来比较困难。提出了一种松耦合的解决方案:它利用现有的BPEL引擎,但不对现有的BPEL引擎做任何修改,通过两个组件即用户门户和任务引擎,使得基于现有BPEL引擎的工作流管理系统能够支持人工交互。     

基于UML活动图的动态工作流过程建模的研究

在形式语义的支持下,提出了一种适合动态工作流过程建模的方法.该方法在扩展UML活动图的基础上给出了一种建模机制,利用扩展的UML活动图来对动态工作流的过程进行建模.最后,将该方法用于一个汽车企业产品研发的过程建模实例,且建模结果证明该方法是适合的.说明了基于扩展的UML活动图的工作流过程建模方法对动态工作流过程建模的有效性.     

基于工作流技术的实验室管理系统开发

本文阐述了传统机房管理系统的缺点,系统地描述了工作流技术及UML建模理论,提出一种基于工流的机房管理系统方案,并对计算机支持的协同工作技术进行研究,设计一种可扩展的协同框架。     

一种基于网格服务的分布式远程协同仿真系统研究

随着面向服务的体系结构(SOA)成为网格研究领域的基本共识,越来越多的应用领域开始涉足网格中来;其中分布式远程协同就是其中的代表. 从全新的视角对分布式协同的重要技术之一--工作流进行了分析,提出工作流网格资源化的概念;定义工作流模型资源为网格资源,并遵照网格资源描述的规范描述工作流模型资源,做到从网格基础设施资源层支持协同工作流. 同时以该工作流模型为原型,以面向服务的体系结构为基本框架,构建网格环境中协同工作流服务框架,从而实现基于工作流的面向服务的分布式远程协同仿真系统.     

基于UML的工作流建模的研究

指出目前大部分工作流建模过程无法对工作流本质特征进行描述,而UML是一种可视化的建模语言.在分析了工作流执行系统和UML的基础上,提出了一种基于UML的工作流建模的建模方法,通过一个具体的实例描述了建模过程,并对模型的执行做了分析.结果表明,UML成功地改进了一些传统工作流建模过程的缺点,能够比较完整、准确地描述工作流建模过程,加速开发进程.     

基于OWL-S描述的web服务工作流模型

web服务工作流是一组按一定顺序执行的web服务的集合。而在工作流的执行过程中,如何更有效地查找满足需要的web服务成为目前急需解决的问题。本文提出一种基于OWL-S描述的web服务工作流模型,它采用语义的方式描述web服务,并且通过语义代理来自动查找满足需要的web服务。     

信牌驱动式Web工作流管理系统计算模型

近年来,随着计算机和网络的广泛使用,支持复杂业务过程,以实现业务流程自动化为目标的工作流管理系统引起了越来越多的关注。工作流的自动化执行有赖于对业务流程的形式化描述,以保证流程参与者之间的协同工作以及数据的一致性和过程的可靠性。因此流程建模(过程定义)是实现整个工作流管理系统的关键。本文提出了一种新的业务流程描述模型-信牌驱动式工作流计算模型,它是一个基于Web的工作流管理系统的理论基础。     

基于本体的工作流抽象模型

基于本体的抽象模型框架, 提出一种工作流的感知建模方法, 通过感知特定领域中实际运行的具体工作流获得构建该领域工作流抽象模型的知识, 既可为工作流模型的设计提供共享和重用机制, 也可直接构造该领域的工作流抽象模性, 实现工作流的部分或全部自动化运行. 并给出了工作流行为本体类和行为关系本体类的定义,  形式化地描述了两个本体类的动态构建和扩展过程, 同时给出了在基于本体抽象模型框架下的工作流抽象建模过程.     

基于工作流的企业过程分析与重组方法研究

为了解决目前大多数过程建模方法都不能够充分满足BPR需要的问题,应用工作流技术,提出了一种附带有过程语义字典的工作流扩展模型。同传统的建模方法相比,工作流扩展模型进一步丰富了过程的语义属性,它不仅满足BPR对流程进行规范化描述的需要,而且还具有描述并发、冲突、同步等复杂关系的能力。同时,它还提供了基于相似性和耦合性的过程分析技术,从而为实现过程的重组提供了重要依据。最后,通过一个应用实例对模型进行了验证。     

WSDL→Radl-WS生成方法及自动转换系统

精确地描述Web服务语义对Web服务的发现、执行、动态组合和交互至关重要.在Radl语言基础上,扩展Radl为Radl-WS,提出一种新型的基于Radl-WS代数规范的Web服务建模语言.该建模语言统一了基于代数公理方法和Hoare公理方法来描述软件规格说明.为支持模型转换,提出了将WSDL语言描述的Web服务通过等价变换生成为Radl-WS建模语言的方法,并设计了相应的WSDL→Radl-WS自动转换系统.最后采用真实案例,验证了该方法的有效性.     

一种工作流形式化建模方法

工作流模式表达了工作流的基本结构特征,对工作流模式的支持是衡量工作流产品在过程表达能力和适用性方面的重要标准.目前的工作流产品对不少复杂的工作流模式尚不能很好的支持,尤其是缺乏对工作流模式进行形式化描述的方法.本文提出了一种新的选择逻辑,和传统的数理逻辑相比,针对工作流建模进行了优化,具有更加简单、易于理解的形式;使用选择逻辑建模时,将工作流模式拆分为汇合逻辑和分支逻辑,不仅能形式化地描述工作流模式,并且能够进一步表达工作流模型中与业务元素有关的要素,从而可以很好地支持业务过程建模.     

一种支持协同设计的工作流模型

协同设计是一个跨地域、跨时间、跨学科的多功能小组协同产品开发工作的模式,支持协同设计的工作流模型可以为现代产品开发提供强大而有序的工作流管理机制。研究了协同产品开发对工作流模型需求后,提出了一种支持各种粒度产品开发活动的工作流元模型,并进一步提出适应该模型的、基于对象关系的组织模型和资源模型。基于该模型,开发了工作流建模工具的原型系统。     

工作流技术及Petri网在教育管理软件建模中的分析及应用

为了实现教育管理中的各个组织部门间的协调工作,提出了在教育管理软件中引入工作流技术作为建模开发的基础,工作流技术是一种协同技术,能理想完成教育管理软件开发中业务流程的建模和业务逻辑的实现,而工作流描述需要一种工作流模型来支持;Petri网是一种适合于描述异步并发现象的系统模型,适合对业务流程建模,结合用Petri网对业务流程进行建模的方法探讨了如何在教育管理软件建模中应用工作流技术。     

基于面向对象工作流网的水利枢纽业务过程模型

结合水利枢纽实际,提出一种基于面向对象工作流网的枢纽抽水站业务过程模型,并实现了工作流网模型向面向对象语言的转化．对工作流网模型中的“变迁”元素进行扩展,面向对象的工作流网模型的结构,工作流网向面向对象的状态转换图及语言的转化等问题进行了研究．     

网格环境下基于QoS的工作流协商模型设计

在网格环境中引入服务技术的典型应用工作流技术,为解决虚拟组织之间的协同工作提供一种全新的框架.如何在网格环境下满足工作流应用对服务质量支持的需要是网格技术与服务技术的关键问题.文中基于现有的工作流框架,按照WSDL标准定义消息类型并建立状态转换图机制,提出在网格环境下基于服务质量建立一个工作流协商模型,并设计该模型的体系结构及4个典型模块.在此模型基础上,实现对用户要求进行评估、并把评估结果返回给用户,从而使得工作流的执行可以紧密围绕用户的要求进行,提高服务选择的准确率,有效的避免服务失效的现象.     

基于工作流机制的办公系统设计

工作流技术是计算机支持的协同工作领域的一个新的研究热点。工作流管理系统是实现网上办公自动化的有力软件工具。分析了当前基于Web技术的工作流管理系统的研发状况，介绍了工作流联盟定义的工作流参考模型及工作流参考模型的接口，并针对基于web环境下的办公自动化系统的要求，提出了将工作流机制与web技术相结合应用到办公自动化管理系统中的思想，描述了工作流管理系统的层次结构和具体实现算法。     

一种基于网格的工作流系统

基于网格的工作流系统采用混合式的体系结构,在工作流引擎上集中管理,在任务处理上进行分布执行.工作流引擎通过解析树实现对过程模型中活动的处理,并给出遍历算法.工作流图形化建模工具支持模型向XML文件的转换,并支持XPDL标准.系统基于开放源码的Globus Toolkit 3.9.1实现,对于过程模型定义工具和工作流引擎,通过Web服务封装技术,把已有工作流系统的相关COM组件实现为网格服务,并把支持工作流的网格资源发布到协同设计环境中.对于工作流过程模型中的XML表示,采用C#实现为Web服务.多个Web服务结合在一起,实现网格环境下的工作流的布置.