Protocol Compatibility Verification for Web Services Interaction.
Yanping YangMing-an ZhangXiqing YeHouwu ChenXinke LianPublished in: SKG (2009)
Keyphrases
- web services
- colored petri nets
- cryptographic protocols
- petri net model
- formal analysis
- protocol specification
- human computer interaction
- model checker
- description language
- composite web services
- lightweight
- user interaction
- model checking
- formal proof
- automatic discovery
- petri net
- business processes
- service oriented architecture
- web service composition
- service composition
- interaction protocols
- formal verification
- network protocols
- web applications
- loosely coupled
- tcp ip
- authentication protocol
- security analysis
- semantic web services
- web technologies
- database systems