Event-B Formalisation of Web Services for Dynamic Composition

摘要：

　　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 the discovery and the replacement of another service that provides the same functionalities.But,the new service may have the same structure but provide additional features that can make the composite service not behaving as expected.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.

关键词： Web Service Dynamic reconfiguration Event-B formal verification structural and behavioral properties

作者: Lazhar Hamel Mohamed Graiet Walid Gaaloul

作者单位: High School of Computer Science and Mathematics Monastir, Tunisia Computer Science Department Telecom SudParisParis, France

会议类型: 国际会议

会议名称: 第8届语义知识与网络国际会议(2012 Eighth International Conference on Semanties,Knowledge and Grids )(SKG2012)

会议地点: 北京

会议语种:英文

页码: 150-156

在线出版日期: 2012-10-22（万方平台首次上网日期，不代表论文的发表时间）