Chinese Acad Sci, Acad Math & Syst Sci, Beijing 100080, Peoples R China. Chinese Acad Sci, Comp Technol Inst, Beijing 100080, Peoples R China. Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China. Grad Univ, Chinese Acad Sci, Beiji
Hou Lishan,Jin Zhi,Wu Budan. modeling and verifying web services driven by requirements: an ontology-based approach[J]. SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES,2006-01-01,49(6):792-820.