Login / Signup

Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B.

Imed AbbassiMourad KmimechNejib Ben Hadj-AlouaneWalid Gaaloul
Published in: WETICE (2014)
Keyphrases
  • qos aware
  • web services
  • distributed query processing
  • service composition
  • quality of service
  • data management
  • fault tolerant
  • petri net