A Formal Specification-Based Testing Approach to Accurate Web Service Selection.
Weikai MiaoShaoying LiuPublished in: APSCC (2011)
Keyphrases
- formal specification
- web service selection
- model checking
- specification language
- service selection
- object oriented design
- specification languages
- formal methods
- process algebra
- reverse engineering
- web services
- service oriented
- concurrent systems
- grid workflow
- web service composition
- software components
- information systems
- formal verification
- database
- artificial intelligence
- real time