Model Checking for Web Service Flow Based on Annotated OWL-S.

Rujuan Liu Changjun Hu Chongchong Zhao

Published in: SNPD (2008)

Keyphrases

model checking
web services
temporal logic
model checker
semantic web services
description language
formal verification
temporal properties
web service composition
formal specification

process algebra
automated verification
partial order reduction
computation tree logic
composition of web services
finite state machines
web services composition
service composition
web service discovery
reachability analysis

concurrent systems
business processes
finite state
bounded model checking
transition systems
symbolic model checking
verification method
epistemic logic
service oriented
timed automata

service discovery
reactive systems
quality of service
service oriented architecture
formal methods
pspace complete
petri net
business process
ai planning