{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,9]],"date-time":"2025-03-09T06:10:01Z","timestamp":1741500601789,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642236402"},{"type":"electronic","value":"9783642236419"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23641-9_20","type":"book-chapter","created":{"date-parts":[[2011,8,24]],"date-time":"2011-08-24T02:26:20Z","timestamp":1314152780000},"page":"224-236","source":"Crossref","is-referenced-by-count":3,"title":["A Non-functional Property Based Service Selection and Service Verification Model"],"prefix":"10.1007","author":[{"given":"Yu","family":"Bai","sequence":"first","affiliation":[]},{"given":"Yaoxue","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Yuezhi","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"Laurence T.","family":"Yang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Amazon Web Services, http:\/\/aws.amazon.com\/products\/"},{"key":"20_CR2","unstructured":"Mueller, J.P.: Mining Google Web Services: Building Applications with the Google API, 1st edn. Publisher: Sybex (April 23, 2004) ISBN-10: 0782143334"},{"key":"20_CR3","unstructured":"Microsoft services, http:\/\/www.microsoft.com\/microsoftservices\/en\/us\/home.aspx"},{"key":"20_CR4","unstructured":"Web Service Description Language, http:\/\/www.w3.org\/TR\/wsdl"},{"key":"20_CR5","unstructured":"Michael, C.: What is BPEL and why is it so important to my business. White paper. SoftCare EC, Inc. (c) (2004)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Yu, B., Yaoxue, Z., Yuezhi, Z., Yang, L.T.: A novel framework for service description and operations. In: 7th Proceedings of International Conference on Ubiquitous Intelligence and Computing, Xi\u2019an China (2010)","DOI":"10.1007\/978-3-642-16355-5"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Salaun, G., Bordeaux, L., Schaerf, M.: Describing and reasoning on Web services using process algebra. In: 2nd Proceedings of IEEE International Conference on Web Services, San Diego, California, USA, pp. 43\u201350 (2004)","DOI":"10.1109\/ICWS.2004.1314722"},{"key":"20_CR8","first-page":"214","volume-title":"Proceedings of the Third European Conference on Web Services","author":"A. Bansal","year":"2005","unstructured":"Bansal, A., Kona, S., Simon, L., Hite, T.D.: A Universal Service-Semantics Description Language. In: Proceedings of the Third European Conference on Web Services, pp. 214\u2013225. IEEE Computer Society, Washington, DC (2005)"},{"issue":"2-3","key":"20_CR9","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s10796-007-9034-7","volume":"9","author":"D.A.C. Quartel","year":"2007","unstructured":"Quartel, D.A.C., Steen, M.W.A., Pokraev, S., van Sinderen, M.: Cosmo: A conceptual framework for service modeling and refinement. Information Systems Frontiers\u00a09(2-3), 225\u2013244 (2007)","journal-title":"Information Systems Frontiers"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Ehtesham, Z., Olivier, P., Claude, G..: DISC: A declarative framework for self-healing Web services composition. In: 8th Proceedings of IEEE International Conference on Web Services, Miami, Florida, USA, pp. 25\u201333 (2010)","DOI":"10.1109\/ICWS.2010.70"},{"key":"20_CR11","unstructured":"WordNet, http:\/\/wordnet.princeton.edu\/"},{"key":"20_CR12","unstructured":"Ontology Web Language for Services, http:\/\/www.ai.sri.com\/daml\/services\/owl-s\/1.2\/"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Baier, C., et al.: Performance Evaluation and Model Checking Join Forces. Communications of ACM\u00a053(9) (September 2010)","DOI":"10.1145\/1810891.1810912"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/3-540-60692-0_70","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"A. Bianco","year":"1995","unstructured":"Bianco, A., Alfaro, L.D.: Model checking of probabilistic and non-deterministic system. In: Thiagarajan, P.S. (ed.) FSTTCS 1995. LNCS, vol.\u00a01026, pp. 499\u2013513. Springer, Heidelberg (1995)"},{"key":"20_CR15","first-page":"327","volume-title":"26th IEEE Symp. on Foundations of Comp. Science (FOCS)","author":"M.Y. Vardi","year":"1985","unstructured":"Vardi, M.Y.: Automatic verification of probabilistic concurrent finite-state programs. In: 26th IEEE Symp. on Foundations of Comp. Science (FOCS), pp. 327\u2013338. IEEE CS Press, Los Alamitos (1985)"},{"key":"20_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/BFb0058022","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"E.M. Clarke","year":"1997","unstructured":"Clarke, E.M.: Model checking. In: Ramesh, S., Sivakumar, G. (eds.) FST TCS 1997. LNCS, vol.\u00a01346, pp. 54\u201356. Springer, Heidelberg (1997), doi:10.1007\/BFb0058022"},{"key":"20_CR17","unstructured":"http:\/\/www.cs.sunysb.edu\/~cwb\/"},{"key":"20_CR18","unstructured":"Paolucci, M., Srinivasan, N., Sycara, K., Nishimura, T.: Towards a Semantic Choreography of Web Services: from WSDL to DAML-S. In: 1st Proceedings of IEEE International Conference on Web Service, Las Vegas, Nevada, USA (2003)"}],"container-title":["Lecture Notes in Computer Science","Ubiquitous Intelligence and Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23641-9_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,9]],"date-time":"2025-03-09T05:56:42Z","timestamp":1741499802000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23641-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642236402","9783642236419"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23641-9_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}