Exploiting Semantics for Analyzing and Verifying Business Rules in Web Services Composition and Contracting.

Hai Liu, Qing Li, Naijie Gu, An Liu

Browse the full ICWS paper archive.