• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International Journal of Business Process Integration and Management >Formal model of mobile BPEL4WS process
【24h】

Formal model of mobile BPEL4WS process

机译：移动BPEL4WS流程的正式模型

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

摘要

Web services technology provides the basis for interoperability, dynamic discovery and integration of distributed components. On the other hand, mobile agents have been utilised for achievement of local interactions with distributed components or selection of resources to use. with their ability to migrate from one host to another. This work presents a general framework for 'Mobile Web Services' (MWSs), which is a web service with migration ability. In our framework, a MWS is composed of a combination of (1) Business Process Execution Language for Web Services (BPEL4WS) process description as interaction flow, (2) service components to carry and (3) rules for migration behaviours. This paper focuses on a formal model of our framework, which helps us discuss whether our introduction of migration behaviours meets desirable properties. In this paper, we show that our framework preserves the original semantics of BPEL4WS. We also discuss extension of our framework for fault tolerance of hosts and its satisfaction of desirable properties.
机译：Web服务技术为分布式组件的互操作性，动态发现和集成提供了基础。另一方面，移动代理已被用于实现与分布式组件的本地交互或选择要使用的资源。具有从一台主机迁移到另一台主机的能力。这项工作提出了“移动Web服务”（MWS）的通用框架，该框架是具有迁移功能的Web服务。在我们的框架中，MWS由以下各项的组合组成：（1）Web服务业务流程执行语言（BPEL4WS）作为交互流的流程描述，（2）携带的服务组件和（3）迁移行为规则。本文着重于我们框架的正式模型，该模型有助于我们讨论我们对迁移行为的介绍是否符合理想的特性。在本文中，我们证明了我们的框架保留了BPEL4WS的原始语义。我们还将讨论主机容错框架的扩展及其对理想属性的满足。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号