Towards an approach of formal verification of mediation protocol based on web services of MDE type.
Mohamed GraietRaoudha MaraouiMourad KmimechMohamed Tahar BhiriWalid GaaloulPublished in: Int. J. Web Inf. Syst. (2012)
Keyphrases
- formal verification
- model checker
- coloured petri nets
- web services
- model checking
- semantic web services
- description language
- service discovery
- bounded model checking
- cryptographic protocols
- temporal logic
- service oriented
- symbolic model checking
- lightweight
- service oriented architecture
- reinforcement learning
- quality of service
- composite web services
- program slicing
- automated verification
- object oriented
- rough sets
- test suite
- web applications