• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Science in China, Series F. Information Sciences >Modeling and verifying Web services driven by requirements: An ontology-based approach
【24h】

Modeling and verifying Web services driven by requirements: An ontology-based approach

机译：对由需求驱动的Web服务进行建模和验证：一种基于本体的方法

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Automatic discovery and composition of Web services is an important research area in Web service technology, in which the specification of Web services is a key issue. This paper presents a Web service capability description framework based on the environment ontology. This framework depicts Web services capability in two aspects: the operable environment and the environment changes resulting from behaviors of the Web service. On the basis of the framework, a requirement-driven Web service composition model has been constructed. This paper brings forward the formalization of Web service interactions with psi calculus. And an automatic mechanism converting conceptual capability description to the formal process expression has been built. This kind offormal specification assists in verifying whether the composite Web service model matches the requirement.
机译：Web服务的自动发现和组合是Web服务技术的重要研究领域，其中Web服务的规范是关键问题。本文提出了一种基于环境本体的Web服务能力描述框架。该框架从两个方面描述了Web服务的功能：可操作的环境和由于Web服务的行为而导致的环境变化。在该框架的基础上，构建了一个需求驱动的Web服务组合模型。本文提出了使用psi演算进行Web服务交互的形式化。建立了将概念能力描述转换为正式过程表达的自动机制。这种形式的规范有助于验证组合Web服务模型是否符合要求。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号