您的位置:首页  > 论文页面

Web服务编排定义语言的随机Petri网建模

发表时间:2014-08-31  浏览量:1785  下载量:470
全部作者: 夏云霓,王威风
作者单位: 重庆大学计算机学院
摘 要: 提出一种对Web服务本体语言(ontology Web language for services,OWL-S)进行Petri网建模的方法。该方法利用Petri网在精确形式化描述并发、异步、同步、互斥等行为模式上的优势,引入一系列的转换规则,将OWL-S中的各种活动和结构转换为等效的随机Petri网描述,从而实现语义网络服务组合流程级别的精确形式化建模和定义。为验证转换规则的有效性,在实例研究中运用所提规则对一个真实的语义网络组合样例进行了分析。
关 键 词: 计算机软件;Web服务的本体语言;服务组合;随机Petri网
Title: A stochastic-Petri-net-based approach to quantitative modeling of semantic Web service composition
Author: XIA Yunni, WANG Weifeng
Organization: School of Computers, Chongqing University
Abstract: In this work, we present a approach for modeling the semantic Web services described in the ontology Web language for services (OWL-S) language. This approach employs Petri net as the fundamental means of modeling compositional patterns of semantic-Web-based services and defines a set of translation rules to map OWL-S elements into equivalent Petri net representations. They formally capture the main aspect of service invocation sequence and the control flow of the service composition patterns built on semantic Web. A case study based on a real-world OWL-S example is also conducted to examine the effectiveness of our proposed framework.
Key words: computer software; ontology Web language for services; service composition; stochastic Petri net
发表期数: 2014年8月第16期
引用格式: 夏云霓,王威风. Web服务编排定义语言的随机Petri网建模[J]. 中国科技论文在线精品论文,2014,7(16):1645-1650.
 
0 评论数 0
暂无评论
友情链接