Zheng Li Jun Han Yan Jin Pattern-Based Specification and Validation of Web Services Interaction Properties. 73-86 2005 conf/icsoc/2005 ICSOC http://dx.doi.org/10.1007/11596141_7 db/conf/icsoc/icsoc2005.html#LiHJ05