A Formal Specification-Based Testing Approach to Accurate Web Service Selection.

Weikai Miao Shaoying Liu

Published 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