Verification for Time Consistency of Web Service Flow.
Rujuan LiuChangjun HuChongchong ZhaoZhong GaoPublished in: ACIS-ICIS (2008)
Keyphrases
- web services
- model checking
- colored petri nets
- flow field
- flow patterns
- service providers
- business processes
- verification method
- service oriented architecture
- loosely coupled
- maintaining consistency
- web service selection
- service architecture
- fluid flow
- global consistency
- path consistency
- face verification
- web service composition
- quality of service
- cryptographic protocols
- asynchronous circuits
- web service discovery
- description language
- information flow
- service composition
- temporal logic
- constraint satisfaction problems
- composition of web services
- xml technology
- web applications