A Framework for Time Consistency Verification for Web Processes Based on Annotated OWL-S.

Guilan Dai Xiaoying Bai Chongchong Zhao A Framework for Time Consistency Verification for Web Processes Based on Annotated OWL-S. 346-353 2007 conf/gcc/2007 GCC http://doi.ieeecomputersociety.org/10.1109/GCC.2007.9 db/conf/gcc/gcc2007.html#DaiBZ07