Verification of communicating data-driven web services.
Alin DeutschLiying SuiVictor VianuDayou ZhouPublished in: PODS (2006)
Keyphrases
- data driven
- web services
- web applications
- model checking
- service oriented
- face verification
- service composition
- service discovery
- model driven
- web services composition
- automatic discovery
- formal verification
- service oriented computing
- web service composition
- real time
- communication channels
- semantic web services
- business processes
- service providers
- colored petri nets
- composition of web services
- xml technology
- description language
- fingerprint verification
- person identification
- signature verification
- service architecture
- web service selection
- data intensive
- service oriented architecture
- databases