A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV.
Melissa KovaJamal BentaharZakaria MaamarHamdi YahyaouiPublished in: SoMeT (2009)
Keyphrases
- formal verification
- symbolic model checking
- composite web services
- model checker
- model checking
- web services composition
- service composition
- web services
- service selection
- temporal logic
- web service composition
- formal specification
- quality of service
- description language
- formal methods
- control flow
- service oriented
- artificial intelligence
- business processes