期刊文献+
共找到176篇文章
< 1 2 9 >
每页显示 20 50 100
Web Service Automatic Composition Model Based on Colored Petri Nets
1
作者 Kai Nie Houxiang Wang +1 位作者 Xiaopei Jing Zhihao Xie 《Communications and Network》 2013年第1期101-105,共5页
As the capability of an individual Web service is limited, it’s necessary to create new functionalities with existing Web services. Web services composition is the ability to create a new value-added service by incor... As the capability of an individual Web service is limited, it’s necessary to create new functionalities with existing Web services. Web services composition is the ability to create a new value-added service by incorporating some existing web services together. A model based colored Petri net (CPN) to provide semantic support for web service composition is proposed. The basic composite constructs in the model are sequence, concurrent, choice and loop. A closed composing algebra is defined to obtain a framework which enables declarative composition of web services. Finally modeling composite processes of Web services based on CPN is applied to a case of naval vessel command and control system. 展开更多
关键词 web service COLORED petri Net (CPN) web service Composition WS-BPEL
下载PDF
A colored Petri net-based model for web service composition 被引量:1
2
作者 张昭理 洪帆 肖海军 《Journal of Shanghai University(English Edition)》 CAS 2008年第4期323-329,共7页
In this paper, a model based colored Petri net (CPN) to provide semantic support for web service composition is proposed, and the reliability and maintainability of composite services are improved. The composite con... In this paper, a model based colored Petri net (CPN) to provide semantic support for web service composition is proposed, and the reliability and maintainability of composite services are improved. The composite constructs in the model are sequence, concurrent, choice, loop and replace. The web service is formally defined by a CPN. A closed composing algebra is defined to obtain a framework which enables declarative composition of web services. Availability, confidentiality, and integrity of composite service are analyzed within the framework of the model based CPN. 展开更多
关键词 web service colored petri net (CPN) web service composition MODEL
下载PDF
A User Requirement Oriented Web Service Discovery Approach Based on Logic and Threshold Petri Net 被引量:5
3
作者 Jing Sha Yuyue Du Liang Qi 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2019年第6期1528-1542,共15页
In recent years, the number of Web services has increased significantly. Web service discovery has drawn much attention with the development of Web service applications and big data analysis. Under this circumstance, ... In recent years, the number of Web services has increased significantly. Web service discovery has drawn much attention with the development of Web service applications and big data analysis. Under this circumstance, traditional Web service discovery strategies cannot adequately meet high user requirements due to the efficiency and precision of service discovery is low. In order to improve the accuracy and efficiency of service discovery, a user requirement oriented Web service discovery approach based on Petri nets is proposed in this study. A data preprocessing strategy of Web service is first designed. Then, a service clustering method is proposed based on Petri nets, which can conduct service cluster head generation, service cluster composition, and service discovery. The proposed method utilizes a superior data preprocessing method. Using simulation experiments,the efficiency and precision of Web service discovery are illustrated. Finally, the application value of the approach on real Web service is discussed. 展开更多
关键词 petri net(PN) service cluster head service clustering service DISCOVERY web service
下载PDF
Web Service与工作流技术在构建高校图书馆信息化平台中的应用研究 被引量:6
4
作者 孙雷 许满武 《现代情报》 北大核心 2008年第3期48-50,共3页
介绍了Web服务和工作流技术,提出了一个基于Web服务和工作流技术的高校图书馆信息化平台架构,以建立江苏广播电视大学图书馆信息化平台为实例,设计了基于Web Services的图书馆集成模型和基于Petri网的图书采购管理工作流模型,关联矩阵... 介绍了Web服务和工作流技术,提出了一个基于Web服务和工作流技术的高校图书馆信息化平台架构,以建立江苏广播电视大学图书馆信息化平台为实例,设计了基于Web Services的图书馆集成模型和基于Petri网的图书采购管理工作流模型,关联矩阵分析证实了图书采购管理模型的可靠性,最后给出了图书采购体系结构。 展开更多
关键词 web服务 工作流 petri 关联矩阵 图书采购
下载PDF
基于Web Services服务管理协议的设计与分析
5
作者 任兴田 黄小红 +1 位作者 苏玉洁 马严 《电子与信息学报》 EI CSCD 北大核心 2007年第10期2460-2465,共6页
该文提出基于Web Services的服务管理协议(WSSMP),用于有效地管理跨不同管理域的服务。利用Petri网对WSSMP进行了形式化描述,并利用Petri网的可达性分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、完整性、前进性等性... 该文提出基于Web Services的服务管理协议(WSSMP),用于有效地管理跨不同管理域的服务。利用Petri网对WSSMP进行了形式化描述,并利用Petri网的可达性分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、完整性、前进性等性质,从而减少了协议设计中潜在的错误。并在仿真平台上进行了协议测试,测试表明读取大量对象时,随着读取对象数的增多,压缩WSSMP所使用的带宽增加很少,该协议适应服务管理需要大量处理数据的特性。 展开更多
关键词 互联网服务管理 web serviceS UML(Unified Modeling Language) petri
下载PDF
基于Petri网的语义Web服务自动组合方法 被引量:22
6
作者 汤宪飞 蒋昌俊 +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
7
作者 钱柱中 陆桑璐 谢立 《计算机学报》 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
8
作者 张佩云 黄波 孙亚民 《系统仿真学报》 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
9
作者 陈丁剑 吴健 +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
10
作者 高勇 刘瑜 +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
11
作者 闫春钢 蒋昌俊 李启炎 《计算机科学》 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服务组合建模及应用 被引量:12
12
作者 李景霞 侯紫峰 《计算机应用研究》 CSCD 北大核心 2006年第9期149-151,154,共4页
给出了用颜色Petri网来对W eb服务及服务组合建模,在描述服务内部控制结构的同时兼顾了数据流的描述,而且还给出了模拟W eb服务执行的引发规则,从静态、动态两方面描述了W eb服务及服务组合,最后还给出了一个应用颜色Petri网建模的实例。
关键词 web服务 web服务组合 petri 颜色petri
下载PDF
基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法 被引量:4
13
作者 鲍爱华 袁金平 +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服务组合验证机制 被引量:8
14
作者 罗楠 严隽薇 刘敏 《计算机集成制造系统》 EI CSCD 北大核心 2007年第11期2203-2210,共8页
Web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行。针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模,通过服务组... Web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行。针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模,通过服务组合代数定义组合运算的基本规则。在此基础上,根据Web服务本体语言组合要素的相关语义建立其对应的有色Petri网结构。另外,给出了分析验证所生成的有色Petri网模型的具体方法,使用该方法可以检验组合系统的各项动态性能,探测死锁等错误,从而提高组合的可靠性,避免执行失败。最后,通过实例直观地描述了建模与验证的工作过程。 展开更多
关键词 web服务组合 web服务本体描述语言 有色petri 形式化验证
下载PDF
一种基于随机Petri网的Web服务组合性能瓶颈定位策略 被引量:13
15
作者 何炎祥 沈华 《计算机学报》 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
16
作者 张琳霞 李茵 李小丽 《微电子学与计算机》 CSCD 北大核心 2006年第3期150-152,共3页
面向Web服务的工作流系统能很好地满足现代企业应用集成和协作的需求,Web服务流程模型的建立是实现Web服务集成的重要环节。Petri网具有形式化的描述的基础和正确性分析的优点。文章将这两方面结合起来,对工作流网中控制流结构进行了分... 面向Web服务的工作流系统能很好地满足现代企业应用集成和协作的需求,Web服务流程模型的建立是实现Web服务集成的重要环节。Petri网具有形式化的描述的基础和正确性分析的优点。文章将这两方面结合起来,对工作流网中控制流结构进行了分析,给出了由Petri网向WSFL转化的方法,并给出Petri模型中控制流结构的WSFL描述。 展开更多
关键词 Petrl-net WSFL web服务 工作流
下载PDF
基于Petri网的Web服务BPEL4WS建模与分析 被引量:9
17
作者 孙健 陶晓峰 《计算机工程》 CAS CSCD 北大核心 2004年第22期14-16,共3页
描述了Web 服务业务流程执行语言( BPEL4WS 或 BPEL)的Petri网建模方法,利用网结构描述基于Web服务业务流程的行为特性。在对BPEL4WS的结构性活动和故障补偿处理机制进行逐层分析的基础上,提出了一个利用Petri网的逐步求精技术对流程进... 描述了Web 服务业务流程执行语言( BPEL4WS 或 BPEL)的Petri网建模方法,利用网结构描述基于Web服务业务流程的行为特性。在对BPEL4WS的结构性活动和故障补偿处理机制进行逐层分析的基础上,提出了一个利用Petri网的逐步求精技术对流程进行建模的算法。然后结合具体实例阐述了利用该算法建模的详细过程,并对所生成的Petri网模型进行了完整性(soundness)验证。 展开更多
关键词 petri web 建模方法 BPEL4WS 工作流网
下载PDF
一种基于逻辑Petri网的Web服务簇组合方法 被引量:8
18
作者 吴洪越 杜玉越 《计算机学报》 EI CSCD 北大核心 2015年第1期204-218,共15页
Web服务组合是实现快速服务增值和软件重用的重要方式,但现有的静态服务组合和动态服务组合方式都有待于进一步完善.文中集成静态服务组合和动态服务组合的优点,提出了一种在虚拟层面上基于服务簇进行服务组合的思想;研究并提出了一种... Web服务组合是实现快速服务增值和软件重用的重要方式,但现有的静态服务组合和动态服务组合方式都有待于进一步完善.文中集成静态服务组合和动态服务组合的优点,提出了一种在虚拟层面上基于服务簇进行服务组合的思想;研究并提出了一种基于服务簇的服务组合方法,并应用逻辑Petri网对其进行形式化建模描述;给出了服务簇网的基本组合模型,并分别对其完备性继承作了分析;研究了服务簇网组合的代数运算性质.最后,通过实验证明了服务簇网组合运算的可行性和有效性. 展开更多
关键词 web服务 服务簇 服务组合 逻辑petri 服务簇网
下载PDF
基于主体的语义Web服务的Petri网模拟方法(英文) 被引量:4
19
作者 马炳先 吴哲辉 谢能付 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第1期120-123,共4页
语义web上的服务在执行时可以将其视为一个智能主体的行为执行的过程,并且能够通过智能主体管理语义web上的服务。将语义web上存在的主体分为用户主体,媒介主体和服务主体三类。当一个用户主体需要多个不同的web服务来完成其目标时,这... 语义web上的服务在执行时可以将其视为一个智能主体的行为执行的过程,并且能够通过智能主体管理语义web上的服务。将语义web上存在的主体分为用户主体,媒介主体和服务主体三类。当一个用户主体需要多个不同的web服务来完成其目标时,这些服务将被组装为一个组合服务。对组合服务的动态执行进行准确的模拟和全面的分析是保证用户目标实现的关键问题,利用Petri网的方法对组合语义web服务进行模拟和动态执行分析是关于此问题的一种实用并且有效的方法。 展开更多
关键词 语义web 语义web服务 智能主体 petri
下载PDF
基于Petri网的Web服务流程建模 被引量:10
20
作者 阎志华 丁秋林 《计算机应用》 CSCD 北大核心 2003年第12期55-57,共3页
Web服务流程模型的建立是实现Web服务集成的重要环节。研究了Web服务流程Petri网模型的建立及其正确性检验的方法,并给出了Petri模型中基本路由的BPEL4WS描述。
关键词 web服务流程 petri 建模
下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部