| 语义标记Petri网的组合Web服务建模与验证(英文) |
| |
| 引用本文： | 雷丽晖,段振华.语义标记Petri网的组合Web服务建模与验证(英文)[J].计算机科学与探索,2009,3(2):173-187. |
| |
| 作者姓名： | 雷丽晖 段振华 |
| |
| 作者单位： | 1. 西安电子科技大学,计算理论与技术研究所,西安,710071;武汉大学,软件工程国家重点实验室,武汉,430072
2. 西安电子科技大学,计算理论与技术研究所,西安,710071 |
| |
| 基金项目： | 国家自然科学基金，the Defense Pre-Research Project of China，the Specialized Research Foundation for the Doctoral Program of Chinese Higher Education，the Foundation of State Key Laboratory of Software Engineering of Wuhan University |
| |
| 摘 要： | 随着Web服务组合的发展,整合业务过程成为可能。组合Web服务可以被看作是基于过程的工作流。由于死锁、不安全和不可达等流的设计错误会影响组合Web服务的有效执行,因此这些错误应在组合Web服务执行前被检测出并修改。提出了基于语义标记Petri网的组合Web服务建模与验证方法。首先提出语义标记Petri网(SaPNs),并给出其语义;用受限描述逻辑tableau算法获得组合Web服务;使用SaPNs描述组合Web服务及其组成部分;最后,使用基于SaPNs的分析方法验证了组合Web服务。使用该方法在开放的Internet环境下可以获得满足客户需求的、可靠的组合Web服务。
|
| 关 键 词： | Petri网 Web服务 语义匹配 |
| 修稿时间： | |
Modeling and Verifying Composite Web Services Based on Semantic Annotated Petri Nets |
| |
| LEI Lihui,DUAN Zhenhua.Modeling and Verifying Composite Web Services Based on Semantic Annotated Petri Nets[J].Journal of Frontier of Computer Science and Technology,2009,3(2):173-187. |
| |
| Authors: | LEI Lihui DUAN Zhenhua |
| |
| Affiliation: | LEI Lihui1,2,DUAN Zhenhua1 1.Institute of Computing Theory , Technology,Xidian University,Xi'an 710071,China 2.State Key Laboratory of Software Engineering,Wuhan University,Wuhan 430072,China |
| |
| Abstract: | Integrating business processes becomes practicable along with the development of Web services composition.Composite Web services can be regarded as process -based workflows.Since error design of flow structures,such as deadlock,unsafeness,non -reachability and so on,will affect composite Web services performance,these errors should be detected and corrected before composite Web services are executed.An approach for modeling and verifying composite Web services based on semantic annotated Petri Nets is propo... |
| |
| Keywords: | Petri Nets Web services semantic matching |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学与探索》浏览原始摘要信息 |
|
点击此处可从《计算机科学与探索》下载全文 |
|
