期刊文献+
共找到168篇文章
< 1 2 9 >
每页显示 20 50 100
基于开放Petri网的Web服务行为弱合理性分析 被引量:1
1
作者 王娟 方贤文 《微电子学与计算机》 CSCD 北大核心 2012年第5期77-80,85,共5页
目前,组合Web服务的正确性主要是通过合理性来判定,判定服务组合模型是否满足行为一致相关性是判定合理性的有效方法,而已提出的行为一致相关性判定算法仅在T-不变量存在的情况是可行的.文中利用开放Petri网对Web服务进行建模,基于服务... 目前,组合Web服务的正确性主要是通过合理性来判定,判定服务组合模型是否满足行为一致相关性是判定合理性的有效方法,而已提出的行为一致相关性判定算法仅在T-不变量存在的情况是可行的.文中利用开放Petri网对Web服务进行建模,基于服务树理论,提出了判定多个Web服务组合后满足行为弱合理性的算法,实现对组合Web服务的正确性分析.最后通过具体实例分析了该方法的有效性. 展开更多
关键词 开放petri网web服务行为 弱合理性 行为相关性
下载PDF
基于Petri网的Web服务交互行为一致性检测方法 被引量:2
2
作者 朱俊 郭长国 吴泉源 《计算机工程与科学》 CSCD 北大核心 2013年第1期24-29,共6页
在复杂多变且不可预知的因特网环境中,Web组合服务的实际交互行为和它本身定义的规约之间的一致性是难以确保的。为了解决这个问题,提出了一种将服务组合实例的服务交互行为Petri网模型应用于交互行为一致性检测的方法。首先,提出了一个... 在复杂多变且不可预知的因特网环境中,Web组合服务的实际交互行为和它本身定义的规约之间的一致性是难以确保的。为了解决这个问题,提出了一种将服务组合实例的服务交互行为Petri网模型应用于交互行为一致性检测的方法。首先,提出了一个Web服务交互行为的运行时监控框架,从行为抽象和提取方法、服务交互行为的捕获机制以及交互行为一致性运行时检测方法三方面进行了详细介绍。还详细描述了基于服务交互行为Petri网模型的一致性检测机制。最后,对一致性检测方法的负载和性能进行了充分的评估。 展开更多
关键词 web服务 一致性检测 服务交互行为 petri 运行时监控
下载PDF
基于Petri网的语义Web服务自动组合方法 被引量:22
3
作者 汤宪飞 蒋昌俊 +1 位作者 丁志军 王成 《软件学报》 EI CSCD 北大核心 2007年第12期2991-3000,共10页
Web服务组合使得开发人员可以快速地创建自己的应用程序.但是,随着Internet上可用的Web服务数目的增加,Web服务组合是一项高度复杂的任务.针对语义Web服务的自动组合问题,提出了一种既考虑服务输入/输出又考虑服务行为约束的自动组合方... Web服务组合使得开发人员可以快速地创建自己的应用程序.但是,随着Internet上可用的Web服务数目的增加,Web服务组合是一项高度复杂的任务.针对语义Web服务的自动组合问题,提出了一种既考虑服务输入/输出又考虑服务行为约束的自动组合方法.首先,注册服务被转化为一组Horn子句形规则,用户的输入和输出请求分别被转化为Horn子句中的事实和目标,从而将寻找满足用户输入/输出请求的合成服务问题转化为Horn子句的逻辑推理问题;然后,用Petri网来为该Horn子句集建模,T-不变量技术被用来判定是否存在满足用户输入/输出请求的合成服务;最后给出了两种算法来获取既满足用户输入/输出请求又满足用户行为约束的合成服务的Petri网模型. 展开更多
关键词 web服务 web服务组合 HORN子句 petri T-不变量
下载PDF
基于Petri网的Web服务自动组合研究 被引量:60
4
作者 钱柱中 陆桑璐 谢立 《计算机学报》 EI CSCD 北大核心 2006年第7期1057-1066,共10页
根据Web服务中消息和行为的关系,Web服务被描述为面向消息的基于行为Petri网模型(Moap).该模型包括消息域和服务过程,前者是服务协同以及和用户通信的通道,后者是基于Petri网的Web服务行为过程描述.Moap支持组合服务的重用,可以很好... 根据Web服务中消息和行为的关系,Web服务被描述为面向消息的基于行为Petri网模型(Moap).该模型包括消息域和服务过程,前者是服务协同以及和用户通信的通道,后者是基于Petri网的Web服务行为过程描述.Moap支持组合服务的重用,可以很好地描述可用服务的并行调用,另外元消息机制也有利于服务的自动组合.在Moap基础上,定义了服务组合系统和服务的协同;给出了服务自动组合规则,并证明了其有效性和完备性.最后,通过一个实例直观描述了服务组合系统的工作方式. 展开更多
关键词 web服务 petri web服务自动组合
下载PDF
基于Petri网的Web服务组合模型描述和验证 被引量:20
5
作者 张佩云 黄波 孙亚民 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第12期2872-2876,共5页
Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向。分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、... Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向。分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析。最后是对一个具体的业务流程的建模和验证分析。由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力。 展开更多
关键词 web服务 服务组合 服务组合验证 petri
下载PDF
基于Petri网的Web服务组合建模 被引量:11
6
作者 陈丁剑 吴健 +1 位作者 马满福 胡正国 《计算机科学》 CSCD 北大核心 2006年第5期128-130,135,共4页
针对 Web 服务组合流程进行建模,可以实现可靠的服务组合。文中首先提出了一种基于 Petri 网理论的Web 服务组合建模方法,对服务组合进行形式化建模,然后通过分析 Web 服务网的可达性和活性对 Web 服务组合进行验证,最后举例说明此方法... 针对 Web 服务组合流程进行建模,可以实现可靠的服务组合。文中首先提出了一种基于 Petri 网理论的Web 服务组合建模方法,对服务组合进行形式化建模,然后通过分析 Web 服务网的可达性和活性对 Web 服务组合进行验证,最后举例说明此方法的应用。 展开更多
关键词 web服务 web服务组合 petri
下载PDF
一个基于Petri网的Web服务组合模型 被引量:7
7
作者 高勇 刘瑜 +1 位作者 谢昆青 邬伦 《计算机工程》 EI CAS CSCD 北大核心 2006年第6期17-18,27,共3页
作为企业应用集成的重要手段,Web服务组合需要建立可靠的表达和分析方法。因此,基于Petri网技术定义一个Web服务组合模型,将组合Web服务的要素映射到Petri网结构。利用Petri网提供的分析技术,辅助复杂业务流程的建模,并分析验证其正确... 作为企业应用集成的重要手段,Web服务组合需要建立可靠的表达和分析方法。因此,基于Petri网技术定义一个Web服务组合模型,将组合Web服务的要素映射到Petri网结构。利用Petri网提供的分析技术,辅助复杂业务流程的建模,并分析验证其正确性和性能。 展开更多
关键词 web服务 web服务组合 petri
下载PDF
基于Petri网的Web服务组合与分析 被引量:16
8
作者 闫春钢 蒋昌俊 李启炎 《计算机科学》 CSCD 北大核心 2007年第2期100-103,124,共5页
Web服务为互联网提供了一种新的应用环境。然而,Web服务还有许多需要进一步研究的问题。Web服务的组合及其验证就是需要深入研究的问题。本文针对通用构件描述语言(UCDL)提出一种Petri网模拟和验证方法,即对于Web服务的元活动和构件,提... Web服务为互联网提供了一种新的应用环境。然而,Web服务还有许多需要进一步研究的问题。Web服务的组合及其验证就是需要深入研究的问题。本文针对通用构件描述语言(UCDL)提出一种Petri网模拟和验证方法,即对于Web服务的元活动和构件,提出相应的Petri网模型和建模方法。在此基础上进一步研究了Web服务系统Petri网的语言表达式生成算法,从而为Web服务系统的验证分析提供了有效工具。 展开更多
关键词 petri 化简技术 web服务组合 语言 表达式
下载PDF
基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法 被引量:4
9
作者 鲍爱华 袁金平 +1 位作者 姚莉 张维明 《计算机集成制造系统》 EI CSCD 北大核心 2008年第9期1856-1864,共9页
针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网... 针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网。将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础。 展开更多
关键词 web服务 语义web 过程语义 web服务本体描述语言 本体演化 过程模型 着色petri
下载PDF
基于颜色Petri网的Web服务组合建模及应用 被引量:12
10
作者 李景霞 侯紫峰 《计算机应用研究》 CSCD 北大核心 2006年第9期149-151,154,共4页
给出了用颜色Petri网来对W eb服务及服务组合建模,在描述服务内部控制结构的同时兼顾了数据流的描述,而且还给出了模拟W eb服务执行的引发规则,从静态、动态两方面描述了W eb服务及服务组合,最后还给出了一个应用颜色Petri网建模的实例。
关键词 web服务 web服务组合 petri 颜色petri
下载PDF
一种基于随机Petri网的Web服务组合性能瓶颈定位策略 被引量:13
11
作者 何炎祥 沈华 《计算机学报》 EI CSCD 北大核心 2013年第10期1953-1966,共14页
Web服务组合的性能对推动以服务为核心的价值链的良性融合起着重要作用.针对如何有效发现Web服务组合中性能瓶颈的问题,提出一种基于随机Petri网的Web服务组合性能分析模型,根据库所和变迁之间的直接关系总结出模型的4种基本结构,通过... Web服务组合的性能对推动以服务为核心的价值链的良性融合起着重要作用.针对如何有效发现Web服务组合中性能瓶颈的问题,提出一种基于随机Petri网的Web服务组合性能分析模型,根据库所和变迁之间的直接关系总结出模型的4种基本结构,通过结构转换得到性能瓶颈定位分析结构集{顺序结构,分支结构,汇聚结构},在此基础上提出一种Web服务组合性能瓶颈定位策略.该策略首先根据库所中token消耗的速度将库所分成主动受阻库所、被动受阻库所和流通库所3类,然后分别基于3类库所在3种分析结构中的不同分布情况,通过顺向结构分析和逆向结构分析相结合的方法,讨论瓶颈可能存在的位置,并给出如何确定3种分析结构的结构发现定理.实验证明策略的预测结果是有效的. 展开更多
关键词 随机petri web服务 web服务组合 性能瓶颈 瓶颈定位
下载PDF
一种基于有色Petri网的语义Web服务组合验证机制 被引量:8
12
作者 罗楠 严隽薇 刘敏 《计算机集成制造系统》 EI CSCD 北大核心 2007年第11期2203-2210,共8页
Web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行。针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模,通过服务组... Web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行。针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模,通过服务组合代数定义组合运算的基本规则。在此基础上,根据Web服务本体语言组合要素的相关语义建立其对应的有色Petri网结构。另外,给出了分析验证所生成的有色Petri网模型的具体方法,使用该方法可以检验组合系统的各项动态性能,探测死锁等错误,从而提高组合的可靠性,避免执行失败。最后,通过实例直观地描述了建模与验证的工作过程。 展开更多
关键词 web服务组合 web服务本体描述语言 有色petri 形式化验证
下载PDF
基于主体的语义Web服务的Petri网模拟方法(英文) 被引量:4
13
作者 马炳先 吴哲辉 谢能付 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第1期120-123,共4页
语义web上的服务在执行时可以将其视为一个智能主体的行为执行的过程,并且能够通过智能主体管理语义web上的服务。将语义web上存在的主体分为用户主体,媒介主体和服务主体三类。当一个用户主体需要多个不同的web服务来完成其目标时,这... 语义web上的服务在执行时可以将其视为一个智能主体的行为执行的过程,并且能够通过智能主体管理语义web上的服务。将语义web上存在的主体分为用户主体,媒介主体和服务主体三类。当一个用户主体需要多个不同的web服务来完成其目标时,这些服务将被组装为一个组合服务。对组合服务的动态执行进行准确的模拟和全面的分析是保证用户目标实现的关键问题,利用Petri网的方法对组合语义web服务进行模拟和动态执行分析是关于此问题的一种实用并且有效的方法。 展开更多
关键词 语义web 语义web服务 智能主体 petri
下载PDF
一种基于逻辑Petri网的Web服务簇组合方法 被引量:8
14
作者 吴洪越 杜玉越 《计算机学报》 EI CSCD 北大核心 2015年第1期204-218,共15页
Web服务组合是实现快速服务增值和软件重用的重要方式,但现有的静态服务组合和动态服务组合方式都有待于进一步完善.文中集成静态服务组合和动态服务组合的优点,提出了一种在虚拟层面上基于服务簇进行服务组合的思想;研究并提出了一种... Web服务组合是实现快速服务增值和软件重用的重要方式,但现有的静态服务组合和动态服务组合方式都有待于进一步完善.文中集成静态服务组合和动态服务组合的优点,提出了一种在虚拟层面上基于服务簇进行服务组合的思想;研究并提出了一种基于服务簇的服务组合方法,并应用逻辑Petri网对其进行形式化建模描述;给出了服务簇网的基本组合模型,并分别对其完备性继承作了分析;研究了服务簇网组合的代数运算性质.最后,通过实验证明了服务簇网组合运算的可行性和有效性. 展开更多
关键词 web服务 服务 服务组合 逻辑petri 服务
下载PDF
广义随机Petri网下的组合Web服务建模与评价 被引量:9
15
作者 门鹏 段振华 《西安交通大学学报》 EI CAS CSCD 北大核心 2008年第8期967-971,共5页
为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则... 为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则和转换方法,然后针对得到的GSPN模型,采用S-不变量、T-不变量,通过可达性等分析方法验证OWL-S过程模型的正确性,最后构造与GSPN同构的马尔可夫链,并根据其稳定状态概率进行系统性能评价.经数学工具验证结果表明,所建模型是正确、可靠的,并发现了组合服务中的瓶颈.所提方法可支持组合Web服务的重建、优化和决策. 展开更多
关键词 语义web服务标记语言 广义随机petri 组合web服务 性能评价 形式化验证
下载PDF
基于Petri网的Web服务流程建模 被引量:10
16
作者 阎志华 丁秋林 《计算机应用》 CSCD 北大核心 2003年第12期55-57,共3页
Web服务流程模型的建立是实现Web服务集成的重要环节。研究了Web服务流程Petri网模型的建立及其正确性检验的方法,并给出了Petri模型中基本路由的BPEL4WS描述。
关键词 web服务流程 petri 建模
下载PDF
基于Petri网的Web服务组合分析方法 被引量:2
17
作者 张常有 曹元大 +2 位作者 胡晶晶 靳军 于炯 《北京理工大学学报》 EI CAS CSCD 北大核心 2009年第7期618-621,629,共5页
为提高Web服务组合的运行效率,提出了基于有色Petri网的Web服务组合网系统概念,用于Web服务组合的建模和性能分析.以电子资源跨库查询过程为实例,构建实例的理想模型和缓存限制模型.模型支持Web服务组合协调节点间的网络延迟、数据依赖... 为提高Web服务组合的运行效率,提出了基于有色Petri网的Web服务组合网系统概念,用于Web服务组合的建模和性能分析.以电子资源跨库查询过程为实例,构建实例的理想模型和缓存限制模型.模型支持Web服务组合协调节点间的网络延迟、数据依赖、控制依赖等因素.基于CPN Tools仿真平台,验证了模型的正确性,并在仿真实验中监测了查询延迟、查询成功率、缓存占用率等指标.结果表明,实施缓存限制策略前后,分布式模型比集中式模型均有更好的性能. 展开更多
关键词 petri web服务组合 络延迟 缓存限制策略
下载PDF
基于有色Petri网和分类服务的Web服务组合模型 被引量:5
18
作者 黄小庆 夏安邦 《计算机集成制造系统》 EI CSCD 北大核心 2009年第1期53-62,共10页
为更好地集成众多以N层结构开发的遗产资源,提高服务建模的重用性和通用性,提出对面向服务的Web资源分类,并采用有色Petri网研究分类服务的组合建模。在该方法中,以服务目标、资源、状态、数据信息作为描述服务的基本要素,引入控制库所... 为更好地集成众多以N层结构开发的遗产资源,提高服务建模的重用性和通用性,提出对面向服务的Web资源分类,并采用有色Petri网研究分类服务的组合建模。在该方法中,以服务目标、资源、状态、数据信息作为描述服务的基本要素,引入控制库所表达外因事件对服务组合的影响,建立了基于基本服务构建组合服务的算法和简化规则,讨论了服务组合Petri网的分析验证方法。最后,应用有色Petri网工具,建立和验证了基于分类服务的电网故障诊断有色Petri网模型。 展开更多
关键词 web服务 petri 服务组合 有色petri
下载PDF
基于Petri网的Web服务的创建与描述 被引量:3
19
作者 张正明 马炳先 相东明 《系统仿真学报》 CAS CSCD 北大核心 2011年第B07期19-25,共7页
为了更好的支持Web服务组合的Petri网系统的自动生成,提出了在发布Web服务的时候即建立该服务的PNML(Petri Net Markup Language)+OWL(Ontology Web Language)的方法,在建立Web服务领域本体的基础上,通过创建Web服务的Petri网模型,为Pe... 为了更好的支持Web服务组合的Petri网系统的自动生成,提出了在发布Web服务的时候即建立该服务的PNML(Petri Net Markup Language)+OWL(Ontology Web Language)的方法,在建立Web服务领域本体的基础上,通过创建Web服务的Petri网模型,为Petri网中库所元素添加相应的语义标记,得到Web服务的类似OWL-S(Ontology Web Language for Services)的服务描述,不仅提高了对Web服务操作语义描述的能力,同时为Web服务组合的Petri网系统的自动生成奠定了基础。 展开更多
关键词 web服务 petri 本体 PNML OWL-S
下载PDF
着色Petri网模型检测工具的扩展及其在Web服务组合中的应用 被引量:8
20
作者 门鹏 段振华 《计算机研究与发展》 EI CSCD 北大核心 2009年第8期1294-1303,共10页
Web服务组合的形式化描述和验证是一个重要的研究问题.为了更好地完成验证工作,提出了扩展着色Petri网的模型检测方法.首先,在着色Petri网原有的基于CTL的局部模型检测算法基础上,给出了获取模型检测证据/反例的算法,并在着色Petri网模... Web服务组合的形式化描述和验证是一个重要的研究问题.为了更好地完成验证工作,提出了扩展着色Petri网的模型检测方法.首先,在着色Petri网原有的基于CTL的局部模型检测算法基础上,给出了获取模型检测证据/反例的算法,并在着色Petri网模型检测工具——CPNTools——中使用ML(metalanguage)语言实现了这些算法,然后将扩展后的CPN模型检测工具应用在Web服务组合的验证问题中.该方法不仅可以验证Web服务组合是否存在逻辑错误,还能告诉用户发生错误的原因,为Web服务组合的验证提供了技术上的保障.实验表明对着色Petri网的模型检测工具的扩展是正确、有效的. 展开更多
关键词 着色petri web服务组合 形式化验证 模型检测 时序逻辑
下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部