• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>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 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号