{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:41:53Z","timestamp":1725536513094},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642039959"},{"type":"electronic","value":"9783642039966"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-03996-6_11","type":"book-chapter","created":{"date-parts":[[2009,8,18]],"date-time":"2009-08-18T08:05:10Z","timestamp":1250582710000},"page":"113-124","source":"Crossref","is-referenced-by-count":2,"title":["A Petri-Net-Based Approach to QoS Estimation of Web Service Choreographies"],"prefix":"10.1007","author":[{"given":"Yunni","family":"Xia","sequence":"first","affiliation":[]},{"given":"Jun","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Mingqiang","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"Yu","family":"Huang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"W3C, Web Service Choreography Interface (WSCI) 1.0, World Wide Web Consortium (2002), http:\/\/www.w3.org\/TR\/wsci"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/11780397_19","volume-title":"Data Engineering Issues in E-Commerce and Services","author":"F. Liu","year":"2006","unstructured":"Liu, F., Shi, Y., Zhang, L., Lin, L., Shi, B.-L.: Analysis of web services composition and substitution via CCS. In: Lee, J., Shim, J., Lee, S.-g., Bussler, C.J., Shim, S. (eds.) DEECS 2006. LNCS, vol.\u00a04055, pp. 236\u2013245. Springer, Heidelberg (2006)"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.entcs.2004.05.007","volume":"105","author":"A. Brogi","year":"2004","unstructured":"Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing Web Service Choreographies. Electr. Notes Theor. Comput. Sci.\u00a0105, 73\u201394 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/11841197_18","volume-title":"Web Services and Formal Methods","author":"Z. Xiangpeng","year":"2006","unstructured":"Xiangpeng, Z., Hongli, Y., Zongyan, Q.: Towards the formal model and verification of web service choreography description language. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 273\u2013287. Springer, Heidelberg (2006)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Huang, Y., Xu, C., Wang, H., Xia, Y., Zhu, J., Zhu, C.: Formalizing Web Service Choreography Interface. In: AINA Workshops, vol.\u00a0(2), pp. 576\u2013581 (2007)","DOI":"10.1109\/AINAW.2007.188"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Huang, Y., Wang, H.: A petri net semantics for web service choreography. In: SAC 2007, pp. 1689\u20131690 (2007)","DOI":"10.1145\/1244002.1244359"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Deng, X., Lin, Z., Chen, W., Xiao, R., Fang, L., Li, L.: Modeling Web Service Choreography and Orchestration with Colored Petri Nets. In: SNPD 2007, pp. 838\u2013843 (2007)","DOI":"10.1109\/SNPD.2007.486"},{"issue":"2","key":"11_CR8","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.entcs.2005.12.042","volume":"157","author":"G. Diaz","year":"2006","unstructured":"Diaz, G., Pardo, J.J., Cambronero, M.-E., Valero, V., Cuartero, F.: Verification of Web Services with Timed Automata. Electr. Notes Theor. Comput. Sci.\u00a0157(2), 19\u201334 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"858","DOI":"10.1007\/11563952_93","volume-title":"Advances in Web-Age Information Management","author":"Y. Shi","year":"2005","unstructured":"Shi, Y., Zhang, L., Liu, F., Lin, L., Shi, B.-L.: Web service collaboration analysis via automata. In: Fan, W., Wu, Z., Yang, J. (eds.) WAIM 2005. LNCS, vol.\u00a03739, pp. 858\u2013863. Springer, Heidelberg (2005)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Mashado, A.C.C., Ferraz, C.A.G.: JWSPerf: A Performance Benchmarking Utility with Support to Multiple Web Services Implementations. In: AICT-ICIW 2006, pp. 159\u2013165 (2006)","DOI":"10.1109\/AICT-ICIW.2006.122"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Chen, S., Yan, B., Zic, J., Liu, R., Ng, A.: Evaluation and Modeling of Web Services Performance. In: ICWS 2006, pp. 437\u2013444 (2006)","DOI":"10.1109\/ICWS.2006.59"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Xie, J., Ye, X., Li, B., Xie, F.: A ConfigurableWeb Service Performance Testing Framework. In: HPCC 2008, pp. 312\u2013319 (2008)","DOI":"10.1109\/HPCC.2008.53"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"McGregor, C., Schiefer, J.: A Framework for Analyzing and Measuring Business Performance with Web Services. In: CEC 2003, pp. 405\u2013412 (2003)","DOI":"10.1109\/COEC.2003.1210277"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Koizumi, S., Koyama, K.: Workload-aware business process simulation with statistical service analysis and timed Petri net. In: ICWS 2007, pp. 70\u201377 (2007)","DOI":"10.1109\/ICWS.2007.195"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Zhong, D., Qi, Z.: A Petri net approach for reliability prediction of web services. In: OTM workshop 2006, pp. 116\u2013125 (2006)","DOI":"10.1007\/11915034_34"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Zarras, A., Vassiliadis, P., Issarny, V.: Model-Driven Dependability Analysis of Web Services. In: DOA 2004, pp. 1608\u20131625 (2004)","DOI":"10.1007\/978-3-540-30469-2_48"},{"issue":"3","key":"11_CR17","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/j.websem.2004.03.001","volume":"1","author":"J. Cardoso","year":"2004","unstructured":"Cardoso, J., Sheth, A., Miller, J., Arnold, J., Kochut, K.: Quality of service for workflows and web service processes. Elsevier Transaction on web semantics\u00a01(3), 281\u2013308 (2004)","journal-title":"Elsevier Transaction on web semantics"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-72522-0_3","volume-title":"Formal Methods for Performance Evaluation","author":"G. Balbo","year":"2007","unstructured":"Balbo, G.: Introduction to generalized stochastic petri nets. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol.\u00a04486, pp. 83\u2013131. Springer, Heidelberg (2007)"},{"key":"11_CR19","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970081","volume-title":"Random number generation, and quasi-Monte-Carlo methods","author":"H. Niederreiter","year":"1992","unstructured":"Niederreiter, H.: Random number generation, and quasi-Monte-Carlo methods. SIAM, Philadelphia (1992)"},{"issue":"1","key":"11_CR20","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1080\/00031305.1996.10473544","volume":"50","author":"L.M. Leemis","year":"1996","unstructured":"Leemis, L.M., Trivedi, K.S.: A Comparison of Approximate Interval Estimators for the Bernoulli Parameter. The American Statistician\u00a050(1), 63\u201368 (1996)","journal-title":"The American Statistician"}],"container-title":["Lecture Notes in Computer Science","Advances in Web and Network Technologies, and Information Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03996-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,15]],"date-time":"2024-03-15T18:58:41Z","timestamp":1710529121000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03996-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642039959","9783642039966"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03996-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}