{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T23:01:24Z","timestamp":1744153284960},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2006,12,1]],"date-time":"2006-12-01T00:00:00Z","timestamp":1164931200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SCI CHINA SER F"],"published-print":{"date-parts":[[2006,12]]},"DOI":"10.1007\/s11432-006-2031-5","type":"journal-article","created":{"date-parts":[[2007,1,25]],"date-time":"2007-01-25T06:34:18Z","timestamp":1169706858000},"page":"792-820","source":"Crossref","is-referenced-by-count":18,"title":["Modeling and verifying Web services driven by requirements: An ontology-based approach"],"prefix":"10.1007","volume":"49","author":[{"given":"Lishan","family":"Hou","sequence":"first","affiliation":[]},{"given":"Zhi","family":"Jin","sequence":"additional","affiliation":[]},{"given":"Budan","family":"Wu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2031_CR1","unstructured":"Endrei M, Ang J, et al. Patterns: Service-Oriented Architecture and Web Services. IBM Redbook, April 2004. http:\/\/www.redbooks.ibm.com\/abstracts\/sg246303.html"},{"key":"2031_CR2","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1023\/A:1016599017660","volume":"12","author":"A. Tsalgatidou","year":"2002","unstructured":"Tsalgatidou A. An overview of standards and related technology in Web services. Distrib Parallel Databases, 2002, 12: 135\u2013162","journal-title":"Distrib Parallel Databases"},{"key":"2031_CR3","unstructured":"Koehler J, Srivastava B. Web service composition: Current solutions and open problems. In: Proceedings of the 13th International Conference on Automated Planning and Scheduling, Trento, Italy. 2003, 28\u201335"},{"key":"2031_CR4","unstructured":"Christensen E, Curbera F, et al. Web Services Description Language (WSDL) 1.1. W3C Technique Reports, 2001. http:\/\/www.w3.org\/TR\/wsdl"},{"issue":"1","key":"2031_CR5","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1109\/MIS.2003.1179199","volume":"8","author":"S. A. McIlraith","year":"2003","unstructured":"McIlraith S A, Martin D L. Bringing semantics to Web services. IEEE Intell Syst, 2003, 8(1): 90\u201393","journal-title":"IEEE Intell Syst"},{"key":"2031_CR6","unstructured":"Martin D, Burstein M, et al. OWL-S: Semantic markup for Web services. DAML Services, November 2004. http:\/\/www.daml.org\/services\/owl-s\/1.0\/"},{"key":"2031_CR7","unstructured":"Frank Leymann. Web Services Flow Language. IBM Services, May 2001. http:\/\/www-306.ibm.com\/software\/solutions\/webservices\/pdf\/WSFL.pdf"},{"key":"2031_CR8","unstructured":"Arkin A, Askary K, et al. Web Service Choreography Interface (WSCI) 1.0. W3C Technique Report, August 2002. http:\/\/www.w3.org\/TR\/wsci"},{"key":"2031_CR9","unstructured":"Andrews T, Curbera F, et al. Business process execution language for Web services version 1.1. IBM Developworks, May 2003. http:\/\/www-128.ibm.com\/developerworks\/library\/specification\/ws-bpel\/"},{"key":"2031_CR10","first-page":"97","volume-title":"Proceedings of Logics in AI: European Workshop JELIA\u2019 90 (LNCS)","author":"V. Pratt","year":"1990","unstructured":"Pratt V. Action logic and pure induction. In: Proceedings of Logics in AI: European Workshop JELIA\u2019 90 (LNCS). Berlin: Springer-Verlag, 1990. 97\u2013120"},{"key":"2031_CR11","first-page":"191","volume-title":"Proceedings of the 14th Australasian Database Conference (ADC\u201903)","author":"R. Hamadi","year":"2003","unstructured":"Hamadi R, Benatallah B. A petri net-based model for web service composition. In: Proceedings of the 14th Australasian Database Conference (ADC\u201903). Darlinghurst: Australian Computer Society, 2003. 191\u2013200"},{"issue":"4","key":"2031_CR12","first-page":"635","volume":"28","author":"J. Liao","year":"2005","unstructured":"Liao J, Tan H, Liu J D. Describing and verifying Web service using Pi-calculus. Chin J Comput, 2005, 28(4): 635\u2013642","journal-title":"Chin J Comput"},{"key":"2031_CR13","doi-asserted-by":"crossref","unstructured":"Salaun G, Bordeaux L, Schaerf M. Describing and reasoning on Web services using process algebra. In: Proceedings of the 2nd IEEE International Conference on Web Services, San Diego, Carlifornia, USA, 2004. 43\u201351","DOI":"10.1109\/ICWS.2004.1314722"},{"key":"2031_CR14","unstructured":"Ferrara A. Web services: A process algebra approach. In: Proceedings of the 2nd International Conference on Service Oriented Computing, New York, USA, 2004, 242\u2013251"},{"issue":"1","key":"2031_CR15","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/s11390-006-0032-x","volume":"21","author":"Z. Jin","year":"2006","unstructured":"Jin Z. Revisiting the meaning of requirements. J Comput Sci Technol, 2006, 21(1): 32\u201340","journal-title":"J Comput Sci Technol"},{"key":"2031_CR16","doi-asserted-by":"crossref","unstructured":"Hou L S, Jin Z. FECT: A modeling framework for automatically composing Web services. WAIM2005, LNCS-3739, 2005, 320\u2013332","DOI":"10.1007\/11563952_29"},{"issue":"12A","key":"2031_CR17","first-page":"82","volume":"33","author":"L. S. Hou","year":"2005","unstructured":"Hou L S, Jin Z. A composition model of Internet components based on environment transitions. Chin J Electr, 2005, 33(12A): 82\u201387","journal-title":"Chin J Electr"},{"key":"2031_CR18","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner R. Communication and Concurrency. Englewood Cliffs: Prentice-Hall, 1989"},{"key":"2031_CR19","doi-asserted-by":"crossref","unstructured":"Engburg U, Nielsen M. A calculus of communicating systems with label-passing. Report DAMI PB-208, Computers Science Department, University of Aarbus, 1986","DOI":"10.7146\/dpb.v15i208.7559"},{"issue":"1","key":"2031_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner R, Parrow J, Walker D. A calculus of mobile processes, part I\/II. J Inf Comput, 1992, 100(1): 1\u201377","journal-title":"J Inf Comput"},{"key":"2031_CR21","first-page":"428","volume":"818","author":"B. Voctor","year":"1994","unstructured":"Voctor B, Moller F. The mobility workbench. A tool for the calculus. In: Proceedings of CAV\u201994: Computer-Aided Verification. Springer-Verlag, 1994, 818: 428\u2013440","journal-title":"Proceedings of CAV\u201994: Computer-Aided Verification"}],"container-title":["Science in China Series F: Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-006-2031-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-006-2031-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-006-2031-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T11:35:32Z","timestamp":1559388932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-006-2031-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12]]},"references-count":21,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2006,12]]}},"alternative-id":["2031"],"URL":"https:\/\/doi.org\/10.1007\/s11432-006-2031-5","relation":{},"ISSN":["1009-2757","1862-2836"],"issn-type":[{"value":"1009-2757","type":"print"},{"value":"1862-2836","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,12]]}}}