|
|||||
|
|
| 基于Petri网的Web服务组合时间验证分析 | |
| 引用本文： | 陈琨,韩燕波. 基于Petri网的Web服务组合时间验证分析[J]. 计算机工程与设计, 2007, 28(20): 4938-4942 |
| 作者姓名： | 陈琨 韩燕波 |
| 作者单位： | 山东科技大学,信息科学与工程学院,山东,青岛,266510;中国科学院计算技术研究所,北京,100080 |
| 摘 要： | 由于各服务的分散性和自治性,Web服务组合需要建立可靠的表达和分析方法.针对Web服务组合时间一致性上的限制,用库所含时间因素的Petri网对服务组合模型的基本逻辑结构进行分析,对服务组合模型的执行时间和各服务可用时间进行有效性验证,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了用这些规则可对复杂的服务组合模型进行逐步化简和分析,能有效地去除存在时间限制冲突的服务组合方案,减少了因执行不合理的服务组合方案所造成的Web服务资源浪费. |
| 关 键 词： | Web服务 Web服务组合 库所含时间因素的Petri网 服务可用时间 时间限制一致性 |
| 文章编号： | 1000-7024（2007）20-4938-05 |
| 修稿时间： | 2006-11-15 |
Verification and analysis of timing constraints on Petri net-based web service composition models |
|
| CHEN Kun,HAN Yan-bo. Verification and analysis of timing constraints on Petri net-based web service composition models[J]. Computer Engineering and Design, 2007, 28(20): 4938-4942 | |
| Authors: | CHEN Kun HAN Yan-bo |
| Affiliation: | 1. College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266510, China; 2. Institute of Computing Technology, Chinese Academy of Science, Beijing 100080, China |
| Abstract: | The modeling techniques are desired for reliable web service composition because of the decentralization and autonomy of each service.In order to solve the time constraints conflict in the plan of web service composition,timed place petri nets are used to model basic service composition as well as analyze and verify static and dynamic availability of the model.Finally,a case study is used to illustrate that using these rules,we can simplify the complicated model step by step and verify the rationality of a service composition plan to help avoiding the waste of web service resources. |
| Keywords: | web services web service composition timed place petri net available time of a service timing constraints consistency |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |