@inproceedings{f7c0011e1e5742ecaed6289d7379082a,
title = "Event-B formalisation of web services for dynamic composition",
abstract = "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.",
keywords = "Dynamic reconfiguration, Event-B, Web Service, formal verification, structural and behavioral properties",
author = "Lazhar Hamel and Mohamed Graiet and Walid Gaaloul",
year = "2012",
month = dec,
day = "1",
doi = "10.1109/SKG.2012.31",
language = "English",
isbn = "9780769547947",
series = "Proceedings - 2012 8th International Conference on Semantics, Knowledge and Grids, SKG 2012",
pages = "150--156",
booktitle = "Proceedings - 2012 8th International Conference on Semantics, Knowledge and Grids, SKG 2012",
note = "2012 8th International Conference on Semantics, Knowledge and Grids, SKG 2012 ; Conference date: 22-10-2012 Through 24-10-2012",
}