Bounded Model Checking for Web Service Discovery and Composition.

Zhi Fang Lejian Liao Ruoyu Chen

Published in: SNPD (2010)

Keyphrases

web service discovery
bounded model checking
model checking
formal verification
web services
service description
service discovery
temporal logic
linear temporal logic
multi agent systems
ontology mapping
web service composition
service composition
cooperative
multi agent
transition systems
artificial intelligence