The following publications are possibly variants of this publication:
- Verifying Composite Service Transactional Behavior with EVENT-BLazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul. skg 2011: 99-106 [doi]
- Event-B Based Approach for Verifying Dynamic Composite Service Transactional BehaviorMohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, Walid Gaaloul. icws 2013: 251-259 [doi]
- Verifying Composite Service Transactional Behavior Using Event CalculusWalid Gaaloul, Mohsen Rouached, Claude Godart, Manfred Hauswirth. otm 2007: 353-370 [doi]
- Event-Based Design and Runtime Verification of Composite Service Transactional BehaviorWalid Gaaloul, Sami Bhiri, Mohsen Rouached. tsc, 3(1):32-45, 2010. [doi]
- Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-BImed Abbassi, Mourad Kmimech, Nejib Ben Hadj-Alouane, Walid Gaaloul. wetice 2014: 313-318 [doi]
- Deadlock-Freeness Verification of Cloud Composite Services Using Event-BAida Lahouij, Lazhar Hamel, Mohamed Graiet. otm 2018: 604-622 [doi]