6HOU Lishan1,3,JIN ZHi1,2 & WU Budan1,4 1. Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100080, China,2. Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080, China,3. Institute of Software, Chinese Academy of Sciences, Beijing 100080, China,4. Graduate University of Chinese Academy of Sciences, Beijing 100049, China.Modeling and verifying Web services driven by requirements:An ontology-based approach[J].Science in China(Series F),2006,49(6):792-820. 被引量：15
10Moldt D, Ortmann J. DaGen: A tool for automatic translation from DAML-S to high-level Petri nets[J].Lecture Notes in Computer Science, 2004, 2984:209 -213.
