Modeling and Verifying Web Service Applications with Time Constraints.

Jia Mei Huaikou Miao Qingguo Xu Pan Liu

Published in: ACIS-ICIS (2010)

Keyphrases

web services
constrained optimization
model checking
learning algorithm
website
service oriented
global constraints
semantic web services
description language