Timing Constraints Specification and Verification for Web Service Compositions.

Guilan Dai Rujuan Liu Chongchong Zhao Changjun Hu

Published in: APSCC (2008)

Keyphrases

timing constraints
web service compositions
real time databases
real time systems
embedded devices
real time database systems

service composition
web service composition
execution model
active databases
concurrency control
real time

web services
resource constraints
active rules
model checking
quality of service
transaction processing

concurrency control protocols
service oriented
limited memory
petri net
distributed systems