Web服务组合的层次化建模

目的形式化地描述Web服务组合流程,为更好地使用工具和现有方法验证以及测试Web服务组合奠定基础。方法用有色Petri网对BPEL的每种活动建模,分析BPEL中、、和几种活动的共同作用,分析BPEL流程的错误处理机制和补偿机制;从网资源流动的角度完善现有的层次化有色Petri网定义,将BPEL流程的层次关系映射成层次化有色Petri网的层次关系。结果完善了层次化有色Petri网定义,提出了Web服务组合的层次化建模方法。结论层次化构建Web服务组合模型是一种可以用于大型BPEL流程的方法,所构建的模型有利于从抽象层面和细节上分析Web服务组合。     

一种Web服务组合模型合理性验证方法

为了更加有效地对Web服务组合进行分析验证,设计BPEL到PNML语言的文件转换规则,实现Web服务组合流程的Petri网建模。针对Web服务组合流程设计中可能存在死锁及不正确的流程,在不破坏原Petri网模型结构性质与系统行为的基础上,将其调整映射为自由选择网。在自由选择Petri网理论基础上,设计了一种Web服务组合Petri网模型的合理性验证规则,能在多项式时间内分析网模型的结构活性与有界性,从而避免采用传统的可达树等分析方法出现的状态空间爆炸问题。最后,使用两个具体的Web服务组合Petri网模型证明了本文方法的有效性。     

基于Petri网的语义Web服务组合方法

Web服务的自动组合是一个具有挑战性的任务,因为独立开发的Web服务相互组合并不都是兼容的。为了解决Web服务之间的异质性和提高Web服务组合的质量,文中提出了一个基于语义Web服务组合的的新途径,它广泛应用Petri网和本体。文中构建一个语义Web服务组合框架,该框架中扩展其本体内知识领域和建立了交互式Web服务的Petri网模型,该模型并结合本体配有调解能力。最后用一个具体实例验证Web服务组合的办法是可行的。     

一种基于Petri的服务组合测试模型和分析方法

测试用例选择是服务组合测试的重要内容,将直接影响服务测试的效率和正确性。采用Petri网分别对基本服务、组件和测试用例等组成部分建立形式化模型,进行形成整个服务组合的测试模型。基于模型的状态空间分析测试用例的选择和实施。借助Petri网的操作语义及相关理论,分析了该方法的有效性及正确性。具体实例结果表明:该方法能有效地简化服务组合的测试过程,有助于提高测试的质量和效率。     

基于Petri网的服务组合模式的提取

在SOC中,往往利用已有的服务进行组合,产生用户需求的组合服务.为满足用户的需求,服务组合的模式可能是多种多样的.针对这一问题,用环境本体语言描述需求和服务组合,结合Petri网的相关理论,构造了一种服务组合需求的Petri网模型.通过对服务组合的Petri网模型分析,结合库所吸收规则,将其简化.构造可达树的算法,进而提取功能上等效的服务组合模式.最后,结合旅游安排经典案例验证了算法的可行性.     

基于Petri网的Web服务组合分析方法

为提高Web服务组合的运行效率,提出了基于有色Petri网的Web服务组合网系统概念,用于Web服务组合的建模和性能分析.以电子资源跨库查询过程为实例,构建实例的理想模型和缓存限制模型.模型支持Web服务组合协调节点间的网络延迟、数据依赖、控制依赖等因素.基于CPN Tools仿真平台,验证了模型的正确性,并在仿真实验中监测了查询延迟、查询成功率、缓存占用率等指标.结果表明,实施缓存限制策略前后,分布式模型比集中式模型均有更好的性能.     

旅游信息服务组合的Petri网建模及其实现

目前,用户查找旅游相关信息还缺乏一个有效的自动化信息服务整合工具.本文根据用户提供的出行时间、目的地、出行方法等信息,利用Petri网建立了一个旅游信息服务组合模型.该模型较全面地刻画了旅游相关信息的Web服务组合流程.原型系统的实现直观地说明了该模型是有效的.     

基于着色Petri网的语义Web服务组合形式化验证

为了对语义Web服务组合进行形式化验证,提出一种语义Web服务组合模型到着色Petri网组合模型的转换方法,定义了语义Web服务着色Petri网(SWS-net)。转换后的模型不仅能清晰表示服务组合中各子过程之间的逻辑关系,而且能用着色Petri网的形式化方法进行服务组合正确性验证。给出了组合服务的语义一致性验证算法,最后以一个协同设计过程为例对组合服务流程进行仿真验证并在工作流引擎中部署执行。仿真及执行结果表明,服务组合后的流程无死锁并且能够顺利执行。     

基于Petri网的语义Web服务过程模型匹配算法研究

为了在服务发现中提高效率及准确率,在服务匹配过程中引入了服务执行状态的变迁等因素即服务的过程模型。而Petri网能够把Web服务的过程模型进行形式化描述．在服务发现中引入Petri网,通过Petri网描述web服务的过程模型,再对Petri网进行语义标注,最后通过计算过程模型的相似度来实现基于Petri网的语义Web服务发现匹配．这种方法结合现有采用功能性参数匹配的语义web服务发现对提高服务发现率,尤其对改善服务发现准确率起到了一定的作用．     

一种面向语义的普适服务自动合成方法

为了解决普适环境下服务自动化组合问题,该文采用了有色Petri网对普适服务进行建模,该模型良好地描述了普适服务的功能性语义,提出了普适服务自动合成算法。用户提交预期的服务行为、输入和输出信息,系统可以自动化地构建服务路径,将可用普适服务按照一定的逻辑顺序组合成为一个合成服务。该算法根据用户不精确的需求,将可用服务自动生成能够覆盖用户需求的服务合成路径,具有更大的灵活性。     

一种基于主副备份的微服务可靠性建模与分析方法

微服务架构（MSA）将云应用构建为独立的组件，通过解耦来提高软件更新的灵活性和敏捷性，然而微服务在时延和可靠性方面仍面临许多挑战。本文使用谓词Petri网（PrT网）对基于事件总线的微服务组合进行建模，建立微服务之间的逻辑关系。采用主版本和备份部署微服务实例，提高了微服务组合整体的可靠性。基于PrT网的相关理论，验证了微服务可靠性模型和PB(Primary-Backup)副本部署策略的正确性。将微服务执行的保证率作为可靠性的参数，通过实验分析验证了本文方法的有效性。     

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

基于Petri网技术提出了一个Web服务模型,针对电子商务中的Web服务进行动态组合,形成复杂的业务服务. 给出了一种实现方案,分析了活动图的生成过程、任务指派、服务绑定等关键技术.     

独立全局约束的Web服务组合模型的验证与分析

利用Petri网的分析方法对独立全局约束服务组合模型的正确性和可靠性进行科学的验证.首先根据该模型中约束条件的特点,对变迁t的发生规则改进后利用可达树的方法来验证模型的正确性.然后通过构造服务组合的可靠性验证图来检验模型的可靠性,最后通过一个实例分析了具体的验证过程,并说明该方法是可行的.     

环境约束下Web服务正确性判定

本文首先提出Web服务域和Web环境域的概念并使用开放Petri网对Web服务域和Web环境域进行建模。然后通过分析Web环境域模型与Web服务域模型组合后的交互行为情况,给出了二者可组合的前提条件以及组合后的正确性判定算法．从而实现在环境约束下Web服务组合的正确性分析和判定。     

基于语义Web服务组合的旅游调度问题研究

运用了一种基于语义Web服务组合的方法来解决web服务组合问题.首先,用户的需求被建模为一组事实和目标的子句,并基于Horn子句的形式化模型进行阐述.然后,用Petri网来建模一个Horn子句集,并且检测满足用户需求的组合服务的存在性.最后,通过一个旅游计划安排案例来验证本文提出方法的合理性.     

基于Petri网的语义Web服务组合模型

针对现有的语义Web服务组合的描述语言本身缺乏明确的操作语义,无法准确的描述其组合流程的问题,就此提出了一种基于Petri网的语义对Web服务组合流程进行形式化建模的方法,并通过实例验证了该方法的有效性和可行性.     

广义随机Petri网下的组合Web服务建模与评价

为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则和转换方法,然后针对得到的GSPN模型,采用S-不变量、T-不变量,通过可达性等分析方法验证OWL-S过程模型的正确性,最后构造与GSPN同构的马尔可夫链,并根据其稳定状态概率进行系统性能评价.经数学工具验证结果表明,所建模型是正确、可靠的,并发现了组合服务中的瓶颈.所提方法可支持组合Web服务的重建、优化和决策.     

ASBS适应行为稳定性分析

研究了基于服务的自适应软件系统的适应策略构建中适应行为的稳定性分析问题.主要采用了基于反射Petri网模型的分析方法,在反射Petri网模型中系统的业务行为与适应行为在不同的层次分离建模,适应行为模型相对业务行为模型透明.结合系统的反射Petri网模型提出了适应行为稳定性的具体定义,给出了适应策略中适应规则的建模方法以及应用反射Petri网模型对系统适应行为进行稳定性验证的方法,并通过一个实例对方法的可行性以及有效性进行了说明.     

一站式政务环境中的服务动态组合算法

提出了一种基于语义服务链的服务动态组合算法.该算法采用面向语义的Petri网来表示政务服务,并给出了组合服务的生成实例及其控制执行的本体服务链.实验结果表明,该算法在可接受的链接时间内,自动组合出复杂政务服务的链接成功率达到80%以上,有效提高了服务组合的质量和效率.     

基于UML和Petri网的系统服务获取流程建模

在流程建模中,UML技术和Petri网技术各自发挥着十分重要的作用.分析了UML技术和Petri网技术各自的优缺点及在流程建模中的应用,提出了一种基于UML技术和Petri网技术相结合建立系统流程模型的方法,并给出了相应的技术路线.在此基础上,以兵团空间信息系统服务获取流程建模为例,对所提出的方法和技术路线进行了验证.