Verifying Composite Service Transactional Behavior with EVENT-B.

Lazhar Hamel Mohamed Graiet Mourad Kmimech Mohamed Tahar Bhiri Walid Gaaloul

Published in: SKG (2011)

Keyphrases

transactional properties
composite services
service composition
web service composition
petri net
model checking
composite web services