基于Petri网的Web服务流程建模方法研究

随着网络应用的蓬勃发展,Web服务越来越普及。在实际应用中,往往需要对已有Web服务进行集成。目前通常的企业Web服务集成过程,都是先根据企业的业务流程建立相应的Web服务流程模型,再由此建立应用系统。而目前已有的建模手段的共同问题是：无法确保模型的正确性和与具体业务的紧密吻合。该文提出一种基于Petri网的Web服务流程建模方法。该建模方法通过将Petri网引入建模过程弥补了原建模过程中无法直观感受模型的不足,通过建立一套完备的形式化定义保证了建立模型的正确性,通过将紧同步随机Petri网引入建模过程可以更好的描述实际业务。通过使用该方法, 可以很好地解决现在Web流程建模过程中存在的问题。此方法也为其他领域中的流程建模仿真提供了一种很好的解决问题的方法和思路。     

基于时间Petri网的Web服务建模技术研究

Web服务是微软和IBM公司为能够解决当前的信息的整合而提出的,是一种部署在Web上、面向Intemet的、基于XML的对象/组件技术;其目标是能够自动和统一地封装服务信息、服务行为、数据表示以及商务流程.商务流程的建立对于Web服务是至关重要的,因为Web服务之间的信息协调是以商务流程为基础的.因此IBM为解决该问题,提出了Web服务流程语言（web services flow language,WSFL）.但是IBM提出的WSFL没有能够从并发协调的角度来阐述商务流程的建模方法,所以提出利用Petri网为模型描述工具,用于描述与分析商务流程模型,同时给出Petri网与WSFL之间的转换算法,并以实例证明了该模型用于商务流程的建模方法是切实可行的.     

Web服务组合的层次颜色Petri网描述模型

针对Web服务组合流程资源的表达及组合流程正确性验证问题,提出一个基于层次颜色Petri网的Web服务组合描述模型,该模型在描述组合流程控制流的同时还能描述流程中的数据流,能较全面地刻画Web服务组合流程,并且支持对组合流程正确性的验证分析、实例化流程的仿真运行。建模实例验证了该模型的有效性和实用性。     

BPEL到PNML文件转换框架的设计与实现

针对Web服务组合流程的Petri网自动建模问题,以Web服务组合流程为研究对象,采用BPEL4WS作为Web服务组合流程描述语言,设计并实现一个BPEL文件到PNML(Petri Net Markup Language)文件的转换框架,自动实现Web服务组合的Petri网建模。该框架利用XSLT实现基于XML的BPEL文件到PNML文件的转换,转换结果导入到支持PNML的Petri网工具,自动完成Petri网建模。结合一个Web服务组合实例,验证该框架的有效性。     

一种基于扩展颜色Petri网的Web服务组合验证机制

Web服务技术日趋成熟,它提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。随着Web服务组合流程日趋复杂,组合流程设计越来越容易出错。给出了一个描述Web服务组合流程的扩展层次颜色Petri网模型,它独立于具体的流程描述语言,支持流程的层次表达且能较全面地刻画Web服务组合流程。还给出了模型的控制流网正确性、数据流网正确性、流程实例正确性的验证方法,从3个层面确保了Web服务组合流程的正确性。     

Web服务的颜色Petri网模型及验证

利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求.针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组合结构的模型表达,用于构造满足实际需求的Web服务组合流程.该模型能较全面地描述Web服务组合,同时还能够对组合流程正确性进行分析验证,最后通过建模实例说明了所提模型的实用性.     

基于Petri网的语义Web服务流程一致性验证

提出一种基于Petri网的语义Web服务流程一致性验证方法。该方法将语义Web服务流程转换为Petri网模型,通过分析Petri网的可达标识图,得到所有可并行执行的服务对,根据领域本体和服务功能的语义描述判断2个并行服务对之间是否存在冲突,并计算每个服务在执行前可能处于的状态,以判断服务的可执行性。通过一个实际案例验证了该方法的正确性和有效性。     

基于有色Petri网的Web服务合成建模

分析了用一般Petri网进行Web服务合成建模的不足,提出用有色Petri网进行改进.利用有色Petri网原理给出了Web服务的形式化定义,描述了Web服务合成的五种基本结构的Petri网模型,通过一个行程规划实例,分析了行程中的不同Web服务,描述了行程规划服务由不同Web服务合成的有色Petri网模型,展示了有色Petri网在Web服务合成建模中的优势.     

基于有色Petri网的BPEL中flow活动建模*

面向 Web 服务的业务流程执行语言BPEL本身缺乏健壮的语义,构建Web组合服务又是一种易于出错的任务。基于有色赋时Petri网,提出了从BPEL描述的Web组合服务流程中Flow活动到有色Petri网模型的转换方法。在转换过程中考虑了BPEL活动的执行方式和执行环境,如环境属性、活动之间的相互作用等,给出更为精确的模型,为更好地使用工具和现有方法验证以及测试Web组合服务奠定了基础。     

基于Petri网的OWL-S流程模型的验证与分析

广泛研究使用的OWL-S Web服务交互规范作为一种半形式化的描述语言,在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言,尤其适合并发系统的描述。因此,使用Petri网对OWL-S流程模型进行建模,通过将工作流信息转化为Petri网描述,从而对OWL-S流程模型进行安全性(safeness)和活性(liveness)检验,是一个非常有意义的尝试。此外,对Petri网的分析与优化,能够反作用于OWL-S流程模型,消除原有模型的冗余并提高流程模型的合理性。     

基于BPEL的Web Service组合的数据流分析测试方法

随着Web Service组合变得越来越复杂,通过测试来保证服务质量和可靠性也变得越来越重要.将传统数据流分析方法扩展用于Web Service组合测试,提出了一种基于BPEL的Web Service组合的数据流分析测试方法.该方法基于一个测试模型:Web Service组合测试模型WSCTM,该测试模型可以捕获Web Service组合的数据流接口.采用基于服务的模型WSCTM,数据流可以从3个视点来分析:服务间、服务内和服务实现构件间.从而,Web Service组合的数据流测试可以在三层上得到实现.基于以上方法,可得到Web Service组合的定义-使用链,最终可产生满足既定测试标准以获得需求Web服务组合质量要求的测试路径.     

面向服务领域软件系统的模型驱动建模方法

面向服务体系结构(SOA)的工程化和建模对现有的建模技术和方法提出了新的挑战.提出了一种基于web服务的领域服务原型系统的快速模型驱动建模框架.从服务构件的概念和标准统一建模语言(UML)2.0的建模构造出发,给出了一个综合的服务软件建模过程.在此基础上,讨论了模型驱动的web服务的特性描述,重点是介绍一种基于UML扩充机制的面向web服务描述语言(WSDL)的建模技术.通过一个流通领域的面向服务企业资源计划(ERP)系统的实际建模,展示了所提方法是切实可行的.     

基于面向对象Petri网的Web服务合成

主要讨论了基于面向对象Petri网的Web服务合成技术。利用此技术,不仅可以精确描述Web服务与合成运算的形式化语义,还可以建立合成Web服务的控制流模型。研究了Web服务组件与OOPN(面向对象Petri网)元素之间的映射关系,讨论了基于OOPN的Web服务合成的各种运算,并给出了建模步骤。最后结合应用实例进一步验证了本文的工作。     

基于BPMN辅助构建Web Services的研究

介绍了Web Services以及业务流程建模标记(BPMN)和Web服务的业务流程执行语言(BPEL4WS)，并且利用BPMN和BPEL4WS构建Web Services组件，建立Web服务模型，以整合各种企业应用平台，把企业业务由企业内部拓展到Internet上，从而达到企业资源的优化配置，实现了应用程序间的通用的互操作性以及企业间的信息交流，以适应复杂多变的商务环境。     

基于XML相关规范集的动态Web Service框架系统

介绍7XML相关规范集：XML—SIG、XML—Encryption、XKMS、SOAP、WSDL、UDDI，分析7各规范的技术特性和工作原理。基于XML相关规范技术，设计了一个可扩展动态Web Service框架系统X—WebServS，包括构建于底层PKI公钥基础设施之上的XKMS安全模块组件和基于服务定向模型SOA的服务发布、查找和绑定的Web Service动态交互模块组件。通过X—WebServS的体系结构和工作流程剖析，探讨了基于XML相关规范的动态Web Service实现技术。     

基于Web Service的网上社保系统设计

本文探讨了最新的技术趋势Web Service以及其关键技术XMI、SOAP、WSDL、UDDI,然后对网上社保系统进行了详细的分析,给出了系统操作流程图,对系统模块的功能做了详尽的描述,同时还给出了系统中的服务分布及其功能描述,接着采用Web Service技术对网上社保系统进行设计,给出了系统设计说明。     

基于Petri网的动态Web服务组合建模

基于广义随机Petri网,提出了一种动态Web服务组合建模的方法.利用广义随机Petri网(GSPN)以及OWL-S组合过程对Web服务组合过程构建动态组合模型,实现Web服务的动态组合.并通过一个实例证明该方法的可行性.与现有的方法相比,该方法可以更有效地描述动态Web服务组合.     

事件驱动的服务工作流的数据流模型

随着业务领域和网格技术的发展,以应用网络服务的活动为主构成的服务工作流得到广泛重视和使用。服务工作流的数据流建模必须考虑服务的实现方式和人工活动对文件传输的需求。提出基于XML和事件驱动的数据和数据流模型,分析利用XSLT(Extensible Stylesheet Language Transformations)进行XML、HTML的转换以实现服务和人工活动间数据传递的机制,从而克服BPEL4WS固有的在数据机制上的缺陷。同时实现了支持该模型的服务工作流系统。     

基于. NET平台的网上营业厅系统设计

电信运营商重组带来新的格局变化,网上营业厅作为网络化发展战略的重要载体,已经为各省市运营商所重视并实践。在现有网上营业厅系统研究的基础上分析,采用Power Designer进行数据建模、SQL Server2005作为后台数据库、。 NET为开发平台,开发了一套网上营业厅系统。该系统包括登录/注册模块、客户服务模块、营业员管理模块和留言回复模块等,其中用户登录模块运用Web Service相关技术,利用Web Service短信平台实现手机即时验证码功能,保障用户登录的安全。通过实际应用表明,该系统在三层架构基础上,结合。 NET与Web Service两者优势,操作方便快捷且安全性较高,提升了客户的满意程度。     

.NET Remoting在分布式建模与仿真环境中的应用

.NET Remoting作为一种新的分布式解决方案较Web Service等其他分布式开发技术具有效率高、功能强大、配置灵活等特点。融合.NET Remoting技术的分布式建模与仿真环境可以实现网络环境下以浏览器作为系统入口进行复杂系统的多学科协同建模和仿真应用。文章介绍了一种基于.NET Remoting的分布式建模与仿真环境的设计与实现。