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

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

面向服务的经济预警系统研究

针对当前经济安全预警领域中计量经济模型集成和重用困难,以及数据采集与传递中存在的异构数据平台、采集不全面、网络流量大、原始数据没有被有效利用等数据效率瓶颈问题,采用面向服务的体系结构(SOA)构建我国宏观经济安全预警系统,并利用Web服务集成数据接口,为系统提供统一的数据采集服务,实现异构数据平台和计量经济模型的有效整合。     

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

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

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

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

基于Petri网的Web服务组合优化方法研究

在实际应用中,需要将各种W eb服务进行组合和集成以创建动态W eb应用。为了使服务组合性能最优,提出一种W eb服务组合优化算法,该算法在满足用户需求的同时,根据已有的W eb服务,自动获取性能最优的服务组合方案。利用Petri网进行建模,采用可达图进行分析,通过提取网中变迁之间以及变迁序列之间的各种并发关系,得到费用最廉的组合结构。     

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

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

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

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

依赖知识的服务组合算法

针对面向服务的体系结构中Web服务和服务组合技术在下一代互联网和云计算领域中的应用问题,提出了一种依据知识对原子服务进行组合的3步服务组合算法,分为相邻节点连接匹配、断枝节点清理和原子服务组合3个步骤.相邻节点连接匹配就是完成相邻的服务节点之间连接匹配,将所有允许的连接都存入弧的连接链表中.通过断枝节点清理,删除所有没有连接的候选原子服务,因为在候选队列中会存在许多断枝服务节点.通过原子服务组合,从清理过断枝节点之后的剩余候选服务中整理出服务组合实例.实验表明:算法可以实现服务的自动化装配,不需要用户参与服务调用过程,通过原子服务间的可连接性以及知识模型生成服务组合实例,从而实现原子服务数量和检测范围的有效控制.     

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

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

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

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

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

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

基于面向对象Petri网的软件体系结构描述语言

以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直观地刻画系统的整体和个体特性 ,同时可以利用相应的Petri网支持工具对软件体系结构进行模拟、分析和验证 .通过OPNADL在公安地理信息系统和柔性制造教学系统开发中的实践证明 ,OPNADL可以有效地辅助软件设计人员在体系结构层次上对系统进行分析和设计 ,从而提高了系统的开发效率 ,具有良好的应用前景     

基于Petri网模型的航空兵仿真研究

研究了航空兵Petri网模型的多线程构建方法和多线程实现方法以及仿真主进程的结构.结果表明,该仿真系统的结构设定为六部分:即用户接口、信息库、仿真主系统、统计结果分析和运行调整部署机制.     

一种基于Petri网的服务组合流程分析方法

虽然业务流程执行语言(BPEL)有很多特征使它适合组合流程的描述,但它缺乏形式化语义,从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程,描述组合流程的基本活动及它们之间关系,进而分析了组合流程结构上的合理性。通过实例网的构建,给出了流程可组合性的判定定理,并提出减少服务搜索空间的算法。最后,应用具体实例模拟组合流程的分析过程,展示了该方法的有效性。     

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

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

一种基于有色Petri网的网格工作流模型

给出了一种基于有色Petri网的网格服务工作流模型——有色服务流程网（Colored Service Flow Net）,在此基础之上分析并提出服务流水线（service Pipelining）的概念．该模型将图像数据传输作为服务运行的触发条件,提高了服务流程处理的效率,减少了用户作业的执行时间．     

基于DAML-S和扩展Petri网的Web业务流程建模方法

为实现Web上业务流程动态装载和调用以及跨企业业务流程的动态集成目标,提出了一种Web上的业务流程建模方法.该方法扩展了具有良好过程建模性能的Petri网,并将其与Web服务描述的本体语言DAML-S相结合.首先将Petri网扩展为业务流程建模,用DAML-S来描述流程模型,然后利用结合了DAML-S的UDDI注册中心来查找最佳服务,并在执行阶段动态调用合作伙伴提供的Web服务,从而实现了在企业间相对通用的一些业务流程的动态集成.通过一个实例对整个过程进行了验证讨论.     

基于Petri网的钢铁企业知识流模型研究

知识流有助于挖掘知识的内涵和实现知识的共享,其顺畅流动能够有效整合供应链中的知识资源,提高链上企业在知识层面上的协作能力及其对市场的快速响应能力。因此,结合钢铁企业供应链知识特点,从知识流理论出发,用Petri网作为工具搭建钢铁企业知识流模型,以期改进钢铁企业知识流效率,实现对钢铁企业供应链知识服务提供支持,提高钢铁企业竞争力。     

基于Petri网的迁移工作流模型研究

利用扩充Petri网对迁移工作流进行抽象描述并建立模型，对Petri网的位置、转移、令牌等要素进行扩充描述，使扩充Petri模型能够体现迁移工作流的迁移特性；还分别对照迁移工作流和弱迁移工作流的广义点火规则进行描述。运用Petri网模型设计出一个迁移工作流实例，用以阐明Petri网模型的建模方法。其中着重说明（1）位置模型与实例中的停靠站和工作域之间的映射关系；（2）如何使工作域内各站点对于停靠站具有位置、功能透明性。