基于J2EE面向服务的工作流管理系统

Web服务技术的蓬勃发展,进一步促进了面向服务架构(SOA)的繁荣,越来越多的组织机构已经或正在准备接纳这一新技术来构建基于Web服务的应用.传统的工作流管理系统已经不能满足业务集成的需要,新一代的工作流管理系统必须提供对Web服务的支持.文中提出了一个称为"SOFlow"的面向服务的工作流管理系统,并对该系统的体系架构进行了分析,给出了该系统的一个具体实现.     

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

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

基于SOA和BPEL的移动运维流程管理系统的设计与实现

业务流程管理系统BPMS能够协助移动运营商设计和实施流程,提升管理效率,为用户带来更优质的服务.本文引入了面向服务的体系架构(SoA)和Web服务(Web Services),并分析了业务流程执行语言(BPEL)在实现业务流程管理系统BPMS的重要性.在此基础上,提出了一种基于SOA架构和BPEL语言、结合了工作流技术的移动业务流程管理系统的建模与控制方案.结合一个具体的业务流程实例,介绍了通过Web服务描述语言WSDL实现业务流程与Web服务之间的通信,最后介绍了该系统目前的运营应用情况.     

面向服务的门诊药房系统建模

SOA就是面向服务的架构,是一种以通用为目的、可扩展、具有联合协作性的架构。SOA技术在门诊信息系统中的应用,用以解决传统软件开发所带来的修改、维护困难,难以推广和移植的缺点。使用UML等建模工具对门诊信息系统中药房功能子系统进行建模,并基于SOA技术,发现、定义其所包含的服务组件,并定义各服务的功能,为下一步的代码实现奠定了基础。     

基于扩展Petri网的工作流建模及应用

为了更好地对工作流模型的验证和性能分析,采用扩展Petri网作为工作流建模工具,给出了工作流模型向扩展Petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性。实践证明,用扩展Petri网建立工作流模型能提高模型的准确度,减少应用传统建模方法的冗余工作量。     

基于SOA的NGOSS构架的研究

本文通过对移动运营商下一代业务运营支撑系统（NGOSS）的建模分析,阐述了面向服务架构（SOA）框架的设计理念,提出基于SOA的NGOSS的架构,并通过设计举例说明如何实现该架构。     

利用SOA架构的思想进行准实时计费系统的设计

首先介绍了SOA架构的概念,并介绍了目前广泛使用的实现方式Web Service技术及企业服务总线(ESB).然后对准实时计费系统的结构和流程进行了分析,并就准实时计费系统SOA整合架构进行了详细探讨.     

基于家态的多事务工作流完整性分析

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.基于工作流的Petri网结构化建模方法,研究了同一品质多事务工作流的Petri网模型,分析了模型处理多种事务的能力,对以往研究中的不足和错误进行了补充和更正,给出了基于家态的模型结构完整性验证的一个充要条件.所得结果为工作流模型分析和验证提供了理论基础和依据,对于分析工作流系统处理事务的能力,提高事务处理效率有重要意义.     

基于SOA的服务动态扩展机制研究

针对SOA应用系统中的服务动态扩展问题进行研究,提出了基于SOA的服务动态扩展系统模型,该模型在SOA架构的基础上,引入了服务资源池和服务动态扩展思想,把系统可用服务放入资源池中供系统调用,通过调整资源池的服务组成和规模实现服务动态扩展.本文给出了系统模型框架和服务动态扩展的功能逻辑,并使用ASML语言描述模型中的动态扩展规则,最后使用Spec Explorer对系统模型进行仿真测试,验证了系统的可行性和有效性.     

SOA架构下基于Petri网的Web服务协商模型

针对SOA实施过程中Web服务协商的需要,提出了一种Web服务协商协议,定义了通信原语,在服务提供者和服务消费者之间动态地协商服务信息,并采用Petri网模型对该协议进行了形式化描述,对Web服务组合进行建模及元素映射,给出了Petri网模型生成算法.     

基于SOA和工作流技术的食品安全监管系统

本文首先介绍了食品安全监管系统产生的背景,接着描述SOA架构及工作流技术,最后详细介绍了该系统的架构、设计及实现。     

基于本体和工作流的网络工程实训管理系统研究

首先分析了当前管理系统开发过程中存在的重复规划问题,然后对管理系统开发所采用的本体和工作流进行了研究。对本体建模常用的IDEF-5方法和工作流建模常用的Petri网方法进行了修改,针对网络工程实训管理系统的实际应用需要进行了本体建模和工作流建模,并在此基础上设计开发了网络工程实训管理系统。该系统开发过程中所建立的本体库在教务管理系统、学生学籍管理系统等的建立过程中具有实用价值。该系统的开发过程对管理系统建立过程中存在的重复规划问题的解决具有参考意义。     

基于SOA的密码服务系统研究

在分析密码服务系统固有缺陷的基础上,从面向服务系统集成的特点出发,运用SOA的思想方法,提出基于SOA的密码服务体系架构,并给出了一种基于密码服务基础套件的密码能力扩展方法,以密码服务系统在通信系统中的应用为例,给出了基于SOA架构的密码服务系统组成构件以及密码服务系统工作的基本流程,同时给出了SOA架构密码系统与传统架构密码系统保密互通的实现思路。     

基于SOA的教学管理系统web服务的设计与实现

面向服务的SOA架构能通过将教学管理系统需要共享的信息封装成服务发布和调用,可以解决原有教学管理系统的信息孤岛问题。本文研究了用SOA架构对教学管理系统进行web服务封装的设计和实现,有效地实现了基于SOA架构的教学管理系统应用层次的设计与实现。     

基于染色Petri网的工作流引擎实现

工作流引擎是工作流管理系统的核心,主要负责流程定义解析、案例创建、流程过程调度、任务的执行等功能。文章用Petri网进行建模,并利用层次染色Petri网优化工作流模型,安排流程,描述同步事件。在本模型中,使用Token的颜色来控制流程实例对象的调度与运行。整个工作流引擎系统的目的在于通过利用触发对变迁的控制,实现流程之间的简单协同;同时也利用不同流程之间库所的约束规则,实现流程的协同功能。     

基于Petri网建模的Web型MIS系统的研究

文中提出了基于MVC架构的web型信息管理流程模型,并通过定义的模型五元组来描述各层之间数据传递的关系和结果．给出了基于MVC架构的web型MIS系统Petri网建模基本步骤,为web型MIS系统的业务流程的分析、验证与优化提供了理论依据．以井冈山大学科研管理信息系统为例,讨论了Petri网理论在建模中的应用,实验结果表明采用Petri网理论对科研管理信息系统建模是可行且有效的．     

基于SOA的企业应用集成研究

分析了企业信息系统集成的必要性和传统EAI解决方案所面临的不足。介绍了面向服务架构（SOA）的基本概念、基本工作原理,并从SOA架构模型出发,提出了一种基于Web Ser-vice的SOA集成方案。论证了基于SOA实现企业信息集成的优越性：将应用系统看作一组服务构件的集合,对服务构件有序编排融合便能够部署到现有的应用系统中,从而支持动态实现将来未知的企业应用集成。     

计算机应用

0323729一个基于 TWF-net 的扩展时间工作流模型及其应用[刊]/杜栓柱//计算机研究与发展.—2003,40(4).—524～530(L)时间约束是分布式企业工作流程建模中的一个重要因素。基于时间 Petri 网工作流模型(TWF-net),通过分析 TWF-net 模型不足之处,建立了一种新的时间Petri 网工作流模型——扩展时间 Petri 网工作流模型(XTWF-net),通过构建规则,可将多个 TWF-net 合并     

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

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

基于Petri网的测井资料处理工作流建模

基于Petri网的建模方法,具有直观的图形表示和坚实的数学基础,是工作流建模和分析的有力工具。文中通过对测井资料处理流程的描述,提出了一个基于Petri网的测井资料处理流程的工作流模型,并利用Murata化简技术对该模型进行了合理性验证。