Compatibility Verification for Web Service Choreography.
Howard FosterSebastián UchitelJeff MageeJeff KramerPublished in: ICWS (2004)
Keyphrases
- web services
- service oriented architecture
- colored petri nets
- service oriented computing
- model checking
- service composition
- semantic web services
- service oriented
- asynchronous circuits
- service providers
- face verification
- neural network
- petri net
- signature verification
- web service selection
- description language
- artificial intelligence
- formal verification
- loosely coupled
- formal methods
- service discovery
- databases
- business process
- business processes
- database
- service architecture
- person identification
- mashup
- multi agent systems
- image sequences
- metadata