• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Business process management workshops >Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case
【24h】

Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case

机译：用于动态组合的Event-B形式化：基于物流的流程作为用例

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

摘要

The capacity of a composite service to change configuration according to the component services behavior is essential. In particular, this reconfiguration should be done dynamically without disturbing the service execution. To the best of our knowledge, few works were interested in verifying the coherence of this dynamic reconfiguration. By dynamic reconfiguration we mean for example, overcome the failure or the unavailability of a service component by the discovery and the replacement of another service that provides the same functionalities. To do so, we propose an approach based on Event-B for a formal verification of the structural and behavioral properties of the component service before dynamically integrated into the composition during the execution. A logistics-based process is used as use case in order to validate our approach.
机译：组合服务根据组件服务行为更改配置的能力至关重要。特别是，应该在不影响服务执行的情况下动态完成此重新配置。据我们所知，很少有作品对验证这种动态重配置的一致性感兴趣。通过动态重新配置，我们的意思是，例如，通过发现和替换提供相同功能的另一服务来克服服务组件的故障或不可用。为此，我们提出了一种基于事件B的方法，用于在执行过程中动态集成到组合之前对组件服务的结构和行为属性进行形式验证。基于物流的过程用作用例，以验证我们的方法。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号