Formal verification of composite service recovery mechanisms consistency.
Walid GaaloulSami BhiriManfred HauswirthMohsen RouachedClaude GodartPublished in: CollaborateCom (2007)
Keyphrases
- formal verification
- composite services
- model checking
- web service composition
- service composition
- automated verification
- symbolic model checking
- bounded model checking
- model checker
- web services
- service selection
- composite web services
- temporal logic
- petri net
- business applications
- real time
- service discovery
- service delivery
- quality of service
- knowledge based systems