Hai Liu, Qing Li, Naijie Gu, An Liu. Exploiting Semantics for Analyzing and Verifying Business Rules in Web Services Composition and Contracting. In 2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China. pages 112-119, IEEE Computer Society, 2008. [doi]
Abstract is missing.