• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Engineering MIS >A mediation based approach for formal verification of web services composition
【24h】

A mediation based approach for formal verification of web services composition

机译：基于中介的Web服务组成的正式验证方法

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

摘要

An important issue that remains is how to ensure a correct Web services composition. Different approaches have been proposed to obtain a correct composition, but they ignore the problem of heterogenities between web services. Solutions have been proposed to solve these problems. These approaches are based on mediation. Our work is to propose an approach for the formal verification of Web service composition by integrating the mediation protocol. This paper introduces a WSDL extension metamodel for the description of mediation characteristics of a web service. The proposed WSDL extension is introduced as a new architectural style and then transformed into the ACME Architecture Description Language metamodel to verify the Web services composition. Then, we provide after that an MDE process that uses the concepts of models and metamodels in order to guide developers through a series of transformations to obtain a formal code.
机译：一个重要的问题是如何确保正确的Web服务组成。已经提出了不同的方法来获得正确的组成，但它们忽略了Web服务之间的异质问题。提出了解决这些问题的解决方案。这些方法基于调解。我们的作品是通过整合中介协议提出一种正式验证Web服务组合的方法。本文介绍了WSDL扩展元模型，用于描述Web服务的中介特性。提出的WSDL扩展被引入为新的架构风格，然后转换为ACME架构描述语言元模型以验证Web服务组合。然后，我们提供之后，使用模型和元模型概念的MDE进程，以便通过一系列转换来引导开发人员来获取正式代码。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号