• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Expert Systems with Application >A formal and visual modeling approach to choreography based web services composition and conformance verification
【24h】

A formal and visual modeling approach to choreography based web services composition and conformance verification

机译：基于编排的Web服务组合和一致性验证的形式化和可视化建模方法

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

摘要

Web services have emerged as the building blocks of a service-oriented architecture that supports not only enterprise application integration (EAI) and business process management (BPM) within an organization but also B2B collaboration based on business process integration. The web services choreography approach to B2B process integration allows business partners to orchestrate their own web services privately, while conforming with an agreed specification of the common ordering conditions and constraints under which messages are exchanged among partners' web services. In this approach, choreography conformance is an essential requirement for the successful implementation of collaborative processes. A formal approach to web services composition and conformance verification based on WS-CDL and WS-BPEL is presented. This approach involves model checking as an automated means of verifying choreography conformance. The main contributions include a precise notion of choreography conformance on which verification is based as well as support for the complementary use of visual modeling (e.g. UML) and standard WS-* notations in composition.
机译：Web服务已成为面向服务的体系结构的构建块，该体系结构不仅支持组织内的企业应用程序集成（EAI）和业务流程管理（BPM），而且还支持基于业务流程集成的B2B协作。 B2B流程集成的Web服务编排方法使业务合作伙伴可以私密地编排自己的Web服务，同时符合商定的共同订购条件和在合作伙伴的Web服务之间交换消息的约束条件。在这种方法中，编排一致性是成功实施协作过程的基本要求。提出了一种基于WS-CDL和WS-BPEL的正式的Web服务组合和一致性验证方法。这种方法涉及将模型检查作为验证编排一致性的自动化手段。主要的贡献包括基于验证的精确的编排符合性概念，以及支持视觉建模（例如UML）和标准WS- *组成中的补充使用。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号