Model-based Verification of Web Service Compositions.
Howard FosterSebastián UchitelJeff MageeJeff KramerPublished in: ASE (2003)
Keyphrases
- web service compositions
- service composition
- web services
- web service composition
- model checking
- artificial intelligence
- verification method
- information retrieval
- concurrent systems
- model free
- databases
- data driven
- temporal logic
- search algorithm
- face recognition
- database systems
- formal verification
- case study
- website