• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Proceedings of the 5th International Conference on Computer Science and Education >Verifying web services of OWL-S with Petri net
【24h】

Verifying web services of OWL-S with Petri net

机译：用Petri网验证OWL-S的Web服务

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The Web service technology is becoming the mainstream for implementing the distributed applications based on architecture oriented service. Simple Web service couldn't deal with the requirements of complicated distributed system. Some relevant Web services have to be integrated to a composite service to overcome it. Now, more attentions are paid to the quality of service of composite Web service. The OWL-S is an important specification to construct composite Web service for realizing the goals of discovering, composing and executing Web services automatically, but it doesn't provide the ways to verify its correctness. Petri net is a mature and visual formal method to verifying the distributed systems based on rigid mathematical ground. This paper focuses on verifying the correctness of composite Web services defined by OWL-S. The rules are presented for translating the composite Web service defined by OWL-S into corresponsive Petri Net described by xml style, and a prototype is implemented based on these rules. With an open source Petri net analyzing tool, the correctness and other properties could be verified and analyzed. An example shows that the presented method is feasible.
机译：Web服务技术正成为基于面向体系结构的服务实现分布式应用程序的主流。简单的Web服务无法满足复杂的分布式系统的需求。一些相关的Web服务必须集成到复合服务中才能克服。现在，更多的注意力放在了复合Web服务的服务质量上。 OWL-S是构建复合Web服务的重要规范，用于实现自动发现，组合和执行Web服务的目标，但是它没有提供验证其正确性的方法。 Petri网是一种成熟且直观的形式化方法，可以基于刚性数学基础来验证分布式系统。本文着重于验证OWL-S定义的复合Web服务的正确性。给出了将OWL-S定义的组合Web服务转换为xml样式描述的相应Petri Net的规则，并基于这些规则实现了原型。使用开源的Petri网分析工具，可以验证和分析正确性和其他属性。实例表明，该方法是可行的。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号