Towards an approach of formal verification of mediation protocol based on web services.
Mohamed GraietRaoudha MaraouiMourad KmimechMohamed Tahar BhiriWalid GaaloulPublished in: iiWAS (2010)
Keyphrases
- formal verification
- coloured petri nets
- web services
- model checker
- semantic web services
- model checking
- service discovery
- description language
- cryptographic protocols
- bounded model checking
- symbolic model checking
- composite web services
- program slicing
- automated verification
- lightweight
- service oriented
- web applications
- service composition
- web service composition
- service oriented architecture
- description languages
- business process
- business processes
- heterogeneous data sources
- quality of service
- service providers
- service selection
- service architecture
- colored petri nets
- temporal logic