Specification and Verification of Data-driven Web Services.
Alin DeutschLiying SuiVictor VianuPublished in: PODS (2004)
Keyphrases
- data driven
- web services
- colored petri nets
- formal verification
- asynchronous circuits
- protocol specification
- model checking
- formal methods
- petri net
- business processes
- service oriented architecture
- web service composition
- formal specification
- bpel ws
- service oriented
- web applications
- loosely coupled
- service providers
- semantic web services
- web services composition
- web service discovery
- automatic discovery
- service architecture
- web services discovery
- neural network
- web technologies
- data intensive
- information systems
- composition of web services
- quality of service
- service composition
- service discovery
- temporal logic
- conceptual model
- signature verification
- business process
- verification method
- programming language
- specification language
- xml technology
- high level
- face verification
- database
- security flaws