制造网格中基于服务的工作流研究

为了实现制造网格平台中业务流程的构建、执行和管理监控，分析了制造网格环境下工作流的特点，在传统的工作流框架上进行扩充，提出了制造网格工作流框架和基于服务的抽象工作流模型。根据工作流查找和绑定服务的时机，将工作流分为服务模型建立、服务发现、服务绑定和服务调用4个阶段。根据工作流抽象模型中活动说明的服务质量需求和服务描述中的服务质量（QoS）属性，选用不同的服务发现策略，使同一个活动的不同实例能够绑定不同的服务，提高了制造网格工作流的柔性和自适应性。结合一个实例予以了验证。     

计算机化制造网格的工作流管理研究

为了实现制造网格平台中业务流程的构建、执行和管理监控,研究了计算机化制造网格中工作流管理的体系架构,并对传统的工作流模型进行了扩充,设计了计算机化制造网格平台下的工作流模型.     

基于Web服务与资源模型的动态工作流互操作框架

为解决构建在Microsoft．net、通用对象请求代理体系结构和J2EE平台上工作流应用的互操作问题,实现分布异构环境的集成,提出了基于Web服务与资源模型的动态工作流互操作框架。基于网格服务技术的Web服务与资源模型,将Web服务作为工作流机原子级的调用单元,以基于可扩展标记语言的简单对象访问协议消息为工作流底层通信机制,屏蔽了系统的异构性,并通过Web服务与资源模型容器管理工作流机的消息队列、事务、系统维护、故障恢复和可靠性执行;互操作框架构建了支持企业间集成的全局工作流机、支持企业内异构平台集成的工作流机、企业内同一平台下的工作流机等3个工作流层次,以解决动态联盟内异构工作流机的动态互操作性。     

云际协作环境下能耗与成本感知的工作流调度方法

为解决云计算中的效费比、平台锁定和跨域资源管理等问题,目前已提出云际计算模式以便多个云服务实体之间的开放协作并创造云价值.在云际协作环境中,如何高效实现兼顾成本与能耗的云工作流调度是涉及多方云资源管理的一个重要问题.针对该问题,构建了云际协作环境下能耗与成本感知的工作流调度模型,并提出一种相应的云工作流调度方法(ECO).该方法主要包含任务组选择、虚拟机复用和资源动态管理等策略,可在云际协作环境下调度多个云工作流应用,并在满足截止时间约束的前提下,优化工作流执行成本与能耗.通过仿真实验说明了该算法的有效性.     

面向服务的工作流管理系统研究

为降低系统内部的耦合度,依据工作流管理联盟提出的参考模型,结合面向服务的思想,提出了面向服务的工作流管理系统体系结构.详细设计了数据层中的流程定义工具,以及服务层中的工作流引擎、服务代理中间件和管理监控工具.将服务引入到工作流管理系统中,实现系统内部协作,给出了服务代理中间件模型,并分析了该模型的作用及应用过程.开发的原型系统成功应用于中国医科大学附属盛京医院办公自动化系统中,通过门诊患者诊断实例的分析,证明了该设计方案的可行性.     

基于模糊层次分析法的工作流任务排序研究

为了解决含有模糊特征的工作流任务排序问题,提出了一种工作流任务排序模型。在该模型中,根据工作流任务的特点,在建立了基于任务本身的时间特性、案例全局时间特性和任务关键性的特征体系基础上,运用模糊层次分析法,实现工作流任务的合理排序,提高了工作流系统的服务能力。最后,给出了一个算例。     

工作流模型时间有界性验证与分析研究

对工作流模型分析进行了层次划分后，提出了工程流模型时间有界性的问题，从完成工作流管理联盟给出的工作流图形化模型向工作流网的模型映射之后，利用绝大多数描述业务过程的工作流模型都具有自由选择性的特点，提出了一种将映射得到的自由选择工作流网分解为一组变迁组件网的分解算法，在此基础上，结合工作流模型的资源视图，详细阐述了基于Petri网理论的工作流模型时间有界性分析与验证方法。     

时间约束工作流模型的简化分析与可调度性验证

为解决复杂工作流的时间建模与可调度性验证问题,提出了将简化规则应用到Petri网工作流模型中的方法.首先,给出了时问约束Petri网的相关定义和基于此的工作流建模方法,实现了工作流模型及其时间信息建模.然后,为了对工作流网的可调度性进行验证和分析,给出了时间约束Petri网时间可调度的概念,并根据时间约束等价变换原则,提出了基于时间约束Petri网的四种基本工作流组件模型的简化规则和压缩推理方法.该方法可以对复杂的工作流模型进行简化,计算模型节点的时间参数,从而完成含有时间信息工作流结构或流程的时间建模和可调度性分析.最后,以保险索赔为例验证了所提方法的可行性.     

基于层次时间Petri网的工作流模型可达性分析方法

为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法.证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的.在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性.     

基于Ontology和工作流的主动式应用服务系统

针对企业人员如何提高利用应用服务的效率问题,提出了基于Ontology和工作流的主动式应用服务系统框架.首先利用Ontology实现对目前无语义Web服务的集成,同时提出了服务组件的概念.然后结合工作流技术,建立了基于业务过程的应用服务需求元模型,实现了服务的主动推送.最后给出了一个应用实例.     

网格环境下多服务质量约束的复合服务调度机制

目前,由于没有一个动态、可扩展的服务组合模型,在服务网格环境中缺乏满足多性能目标约束的、复合服务的调度机制。为此,在分析动态服务调度机制基础上,将服务质量约束引入到状态图工作流模型中,提出一种多服务质量约束的动态组合服务模型,给出了在服务组合过程中保持服务组件之间服务质量一致性的方法,并将复合服务的调度问题（即执行路径的动态选择问题）归结为多属性决策问题。采用简单加权法,以保证组合后的服务满足综合服务质量约束。通过实现的服务调度组件验证了该机制的可行性和有效性。     

模糊时态工作流网的建模和时间可能性分析

现有的工作流模型中很少考虑时间不确定性,以及资源和变迁的有效时间约束问题。为此,通过对模糊时间Petri网的各个元素中引入时间约束,提出了一种工作流模型,即模糊时态工作流网,给出了该工作流网中各种时态元素的计算方法,并讨论了利用该网对工作流中的时态现象进行时间建模和时间可能性分析的方法。最后,用一个实例解释了这些方法的使用。模糊时态工作流网可以对带有时间不确定性和时间约束的工作流模型中的时态信息进行建模,并对一些典型的时间约束进行时间可能性分析。     

A peer-to-peer-based multi-agent framework for decentralized grid workflow management in collaborative design

Identifying the shortcomings of traditional centralized workflow architecture, this paper describes a preliminary attempt at using a peer-to-peer (P2P)-based multi-agent framework for decentralized grid workflow management in semantic grid enabled collaborative design. A decentralized, scalable semantic service registry is laid out in the P2P network for semantic discovery of distributed, heterogeneous grid services with multi-agent support. The service-oriented, decentralized problem solving strategy for grid workflow construction makes it possible for the decentralized peer agents to utilize the formal semantics to interact and cooperate with each other to support the users in constructing the grid workflow of a complex engineering design process from widely dispersed multidisciplinary design resources effectively. A prototype system is built and validated with an illustrative example from metal stamping industry to demonstrate the feasibility of the proposed approach.     

面向服务的工作流性能评价及指标相关度分析

为说明服务的性能与工作流性能的关系,提出服务及面向服务的工作流的定义,并以一个示例说明面向服务环境下工作流的特点及运行机制.在此基础上,提出了面向服务的工作流性能评价模型,并将战略层、业务层、服务层与IT层的性能很好地加以结合.定义了各层的关键性能指标及形式化表达方式,提出相关度的概念.最后,通过改进层次分析法,对关键性能指标的相关度进行分析,并将其用于服务的选择.     

工作流时间性能分析方法

工作流性能分析是对工作流进行评价和优化的基础,时间则是反映工作流性能的一个重要方面。工作流管理系统中通常有属于不同工作流的多个实例同时运行,从而在不同工作流的多个实例之间造成资源竞争。对此,从资源的角度出发,利用排队论提出了一种通用的工作流时间性能分析方法,其中采用工作流实例平均响应时间作为工作流时间性能的分析与评价的指标。最后,通过实例说明了该方法的可行性和有效性,并提出了未来的研究方向。     

基于Web的轻量级工作流管理系统

工作流管理针对控制、监控、优化和支持业务过程提出了一种新的解决方案。遵循工作流管理联盟参考模型,研发了一个基于Web的轻量级工作流管理系统,阐述了其基于J2EE架构的体系结构的设计,用形式化方法详细描述了其工作流理论模型。提出了一个时间约束有向图模型,并根据提出的动态角色分配方法,给出了一个基于公钥基础设施技术的条件化基于角色的访问控制方法。最后,给出了工作流实例的引擎驱动算法。实际监测和用户反馈结果表明,采用该工作流管理系统作为框架的应用系统,能够显著缩短流程信息应用系统的开发周期,大大提高用户的办事效率。     

工作流系统时间异常处理研究

为有效地处理工作流运行中出现的时间异常,分析了工作流系统对时间异常处理的需求,给出了工作流时间异常处理和工作流时序约束相关活动的定义,提出了时间异常的分类方法和时间异常传播的计算方法,并在此基础上提出了一套行之有效的时间异常处理方法.该方法能够预测由活动延迟异常引起的其他类型的时间异常,并在这些异常实际发生之前对其进行处理.该项研究成果已在产品创新设计领域的工作流系统中得到了验证,并且针对领域特点给出了该领域内时间异常处理方法的具体操作和算法.     

运用中间件技术的制造网格数据资源集成系统的设计与实现

针对目前制造网格数据资源共享与集成技术方面的研究仍比较少且一些研究还有一定局限性的现状,在对中间件OGSA-DAI内部结构和工作流程研究的基础上,提出基于OGSA-DAI的制造网格数据资源集成系统模型,详细设计了该模型中3个主要功能模块:OGSA-DAI数据资源管理服务模块、数据库资源访问服务模块和文件传输服务模块.对原型系统进行实现,证明该模型的正确性,为制造网格数据资源的集成提供了一种有效的解决方案.     

支持时间管理的工作流元模型与系统实现

分析了时间管理对工作流模型和工作流系统功能的需求，基于元建模技术提出了一种符合MOF规范的工作流时间元模型，设计了支持时间管理的工作流系统框架，按照该框架开发了工作流原型系统，该系统在工程项目的实际应用中取得了良好的效果。