@inproceedings{67d9796bd8014465a46aef14fd73f355,
title = "Event-B based approach for verifying dynamic composite service transactional behavior",
abstract = "Verifying Web service composition in a dynamic environment remains one of the most difficult tasks despite the efforts and the previous proposed research works because new services can be composed during the execution step and others can automatically appear, disappear, or be updated. To achieve the Web service composition specification and verification, we introduce a new concept, called dynamic pattern. A dynamic pattern is an extension of a static one. Then, we propose to formalize dynamic Web Service composition in Event-B using dynamic patterns. The resulting model is progressively verified using proofs. We use animator of model (ProB) to detect a variety of problems, such as deadlocks or other unexpected behavior of a model.",
keywords = "ProB, Web services, dynamic Web service composition, event-B, formal verification, proof, transaction",
author = "Mohamed Graiet and Imed Abbassi and Lazhar Hamel and Bhiri, \{Mohamed Tahar\} and Mourad Kmimech and Walid Gaaloul",
year = "2013",
month = jan,
day = "1",
doi = "10.1109/ICWS.2013.42",
language = "English",
isbn = "9780768550251",
series = "Proceedings - IEEE 20th International Conference on Web Services, ICWS 2013",
publisher = "IEEE Computer Society",
pages = "251--259",
booktitle = "Proceedings - IEEE 20th International Conference on Web Services, ICWS 2013",
note = "2013 IEEE 20th International Conference on Web Services, ICWS 2013 ; Conference date: 27-06-2013 Through 02-07-2013",
}