Login / Signup

Verifying Composite Service Transactional Behavior with EVENT-B.

Lazhar HamelMohamed GraietMourad KmimechMohamed Tahar BhiriWalid Gaaloul
Published in: ECSA (2011)
Keyphrases
  • transactional properties
  • composite services
  • service composition
  • web service composition
  • web services
  • petri net
  • workflow management systems
  • database
  • real time
  • composite web services