7HOU 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
8Jensen K..Coloured Petri Nets.Basic Concepts,Analysis Methods and Practical Use.Volume 1,Basic Concepts.Monographs in Theoretical Computer Science.Berlin,Heidelberg,New York:Springer-Verlag,1997
9W3C Web Services Activity.http://www.w3.org/2002/ws/