{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:45:27Z","timestamp":1743129927270,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16132-2_41","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T07:11:16Z","timestamp":1284621076000},"page":"435-444","source":"Crossref","is-referenced-by-count":5,"title":["Towards a Quality Model for Choreography"],"prefix":"10.1007","author":[{"given":"Michele","family":"Mancioppi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikhail","family":"Perepletchikov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Caspar","family":"Ryan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Willem-Jan","family":"van den Heuvel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike P.","family":"Papazoglou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"41_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-79230-7_1","volume-title":"Web Services and Formal Methods","author":"J. Su","year":"2008","unstructured":"Su, J., Bultan, T., Fu, X., Zhao, X.: Towards a theory of web service choreographies. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 1\u201316. Springer, Heidelberg (2008)"},{"key":"41_CR2","unstructured":"ISO\/EIC 9126-1:2001: Software engineering \u2013 Product quality \u2013 Part 1: Quality model. International Organization for Standardization, Geneva, Switzerland (2001)"},{"issue":"2","key":"41_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4304\/jsw.3.2.1-14","volume":"3","author":"M. Perepletchikov","year":"2008","unstructured":"Perepletchikov, M., Ryan, C., Frampton, K., Schmidt, H.W.: Formalising service-oriented design. JSW\u00a03(2), 1\u201314 (2008)","journal-title":"JSW"},{"issue":"2","key":"41_CR4","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/52.50772","volume":"7","author":"S.M. Henry","year":"1990","unstructured":"Henry, S.M., Selig, C.: Predicting source-code complexity at the design stage. IEEE Software\u00a07(2), 36\u201344 (1990)","journal-title":"IEEE Software"},{"key":"41_CR5","first-page":"246","volume-title":"IEEE METRICS","author":"L.C. Briand","year":"1998","unstructured":"Briand, L.C., W\u00fcst, J., Daly, J.W., Porter, D.V.: A comprehensive empirical validation of design measures for object-oriented systems. In: IEEE METRICS, pp. 246\u2013257. IEEE Computer Society, Los Alamitos (1998)"},{"issue":"11","key":"41_CR6","doi-asserted-by":"publisher","first-page":"1043","DOI":"10.1109\/TSE.2003.1245305","volume":"29","author":"M. Alshayeb","year":"2003","unstructured":"Alshayeb, M., Li, W.: An empirical validation of object-oriented metrics in two different iterative software processes. IEEE Trans. Software Eng.\u00a029(11), 1043\u20131049 (2003)","journal-title":"IEEE Trans. Software Eng."},{"key":"41_CR7","first-page":"328","volume-title":"QSIC","author":"M. Perepletchikov","year":"2007","unstructured":"Perepletchikov, M., Ryan, C., Frampton, K.: Cohesion metrics for predicting maintainability of service-oriented software. In: QSIC, pp. 328\u2013335. IEEE Computer Society, Los Alamitos (2007)"},{"key":"41_CR8","first-page":"329","volume-title":"ASWEC","author":"M. Perepletchikov","year":"2007","unstructured":"Perepletchikov, M., Ryan, C., Frampton, K., Tari, Z.: Coupling metrics for predicting maintainability in service-oriented designs. In: ASWEC, pp. 329\u2013340. IEEE Computer Society, Los Alamitos (2007)"},{"key":"41_CR9","unstructured":"Decker, G.: Design and analysis of process choreographies. PhD thesis, Hasso Plattner Institute, University of Potsdam (June 2009)"},{"key":"41_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-72035-5_10","volume-title":"Business Information Systems","author":"G. Decker","year":"2007","unstructured":"Decker, G., Riegen, M.V.: Scenarios and techniques for choreography design. In: Abramowicz, W. (ed.) BIS 2007. LNCS, vol.\u00a04439, pp. 121\u2013132. Springer, Heidelberg (2007)"},{"issue":"2","key":"41_CR11","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1524\/itit.2008.0473","volume":"50","author":"G. Decker","year":"2008","unstructured":"Decker, G., Kopp, O., Barros, A.P.: An introduction to service choreographies (Servicechoreographien - eine Einf\u00fchrung). it - Information Technology\u00a050(2), 122\u2013127 (2008)","journal-title":"it - Information Technology"},{"key":"41_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1007\/11575863_70","volume-title":"On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops","author":"J. Mendling","year":"2005","unstructured":"Mendling, J., Hafner, M.: From inter-organizational workflows to process execution: Generating BPEL from WS-CDL. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2005. LNCS, vol.\u00a03762, pp. 506\u2013515. Springer, Heidelberg (2005)"},{"key":"41_CR13","first-page":"148","volume-title":"SOSE","author":"S. Wieczorek","year":"2008","unstructured":"Wieczorek, S., Roth, A., Stefanescu, A., Charfi, A.: Precise steps for choreography modeling for SOA validation and verification. In: SOSE, pp. 148\u2013153. IEEE Computer Society, Los Alamitos (2008)"},{"key":"41_CR14","unstructured":"Kopp, O., van Lessen, T., Nitzsche, J.: The need for a choreography-aware service bus. In: YR-SOC 2008, pp. 28\u201334 (June 2008) (Online)"},{"key":"41_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/11914853_10","volume-title":"On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE","author":"J.M. Zaha","year":"2006","unstructured":"Zaha, J.M., Barros, A.P., Dumas, M., ter Hofstede, A.H.M.: Let\u2019s Dance: A language for service behavior modeling. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol.\u00a04275, pp. 145\u2013162. Springer, Heidelberg (2006)"},{"key":"41_CR16","first-page":"840","volume-title":"ARES","author":"R. Kazhamiakin","year":"2006","unstructured":"Kazhamiakin, R., Pandya, P.K., Pistore, M.: Timed modelling and analysis in web service compositions. In: ARES, pp. 840\u2013846. IEEE Computer Society, Los Alamitos (2006)"},{"key":"41_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/978-3-540-89652-4_24","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"M. Mancioppi","year":"2008","unstructured":"Mancioppi, M., Carro, M., van den Heuvel, W.J., Papazoglou, M.P.: Sound multi-party business protocols for service networks. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 302\u2013316. Springer, Heidelberg (2008)"},{"key":"41_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-79230-7_4","volume-title":"Web Services and Formal Methods","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N., Kopp, O., Leymann, F., Reisig, W.: Analyzing BPEL4Chor: Verification and participant synthesis. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 46\u201360. Springer, Heidelberg (2008)"},{"key":"41_CR19","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1145\/1242572.1242704","volume-title":"WWW","author":"Z. Qiu","year":"2007","unstructured":"Qiu, Z., Zhao, X., Cai, C., Yang, H.: Towards the theoretical foundation of choreography. In: WWW, pp. 973\u2013982. ACM, New York (2007)"},{"key":"41_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/978-3-540-75563-0_40","volume-title":"Conceptual Modeling - ER 2007","author":"J. Ponge","year":"2007","unstructured":"Ponge, J., Benatallah, B., Casati, F., Toumani, F.: Fine-grained compatibility and replaceability analysis of timed web service protocols. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol.\u00a04801, pp. 599\u2013614. Springer, Heidelberg (2007)"},{"key":"41_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11549970_19","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"M. Baldoni","year":"2005","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying the conformance of web services to global interaction protocols: A first step. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 257\u2013271. Springer, Heidelberg (2005)"},{"key":"41_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11767954_5","volume-title":"Coordination Models and Languages","author":"N. Busi","year":"2006","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration conformance for system design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 63\u201381. Springer, Heidelberg (2006)"},{"issue":"4","key":"41_CR23","doi-asserted-by":"publisher","first-page":"68","DOI":"10.4018\/jwsr.2005100104","volume":"2","author":"X. Fu","year":"2005","unstructured":"Fu, X., Bultan, T., Su, J.: Realizability of conversation protocols with message contents. Int. J. Web Service Res.\u00a02(4), 68\u201393 (2005)","journal-title":"Int. J. Web Service Res."},{"key":"41_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-00255-7_12","volume-title":"Integrated Formal Methods","author":"G. Sala\u00fcn","year":"2009","unstructured":"Sala\u00fcn, G., Bultan, T.: Realizability of choreographies using process algebra encodings. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol.\u00a05423, pp. 167\u2013182. Springer, Heidelberg (2009)"},{"issue":"1","key":"41_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/844357.844360","volume":"4","author":"S. Ran","year":"2003","unstructured":"Ran, S.: A model for web services discovery with QoS. SIGecom Exchanges\u00a04(1), 1\u201310 (2003)","journal-title":"SIGecom Exchanges"},{"key":"41_CR26","unstructured":"Gehlert, A., Metzger, A.: Quality reference model for SBA. Contractual Deliverable CD-JRA-1.3.2, S-Cube Consortium (March 2009), \n                      \n                        http:\/\/www.s-cube-network.eu\/results\/deliverables"},{"key":"41_CR27","first-page":"607","volume-title":"ICEBE","author":"X. Zhao","year":"2007","unstructured":"Zhao, X., Cai, C., Yang, H., Qiu, Z.: A QoS view of web service choreography. In: ICEBE, pp. 607\u2013611. IEEE Computer Society, Los Alamitos (2007)"},{"issue":"1","key":"41_CR28","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1002\/smr.220","volume":"13","author":"N. Chapin","year":"2001","unstructured":"Chapin, N., Hale, J.E., Khan, K.M., Ramil, J.F., Tan, W.G.: Types of software evolution and software maintenance. Journal of Software Maintenance\u00a013(1), 3\u201330 (2001)","journal-title":"Journal of Software Maintenance"},{"issue":"8","key":"41_CR29","doi-asserted-by":"publisher","first-page":"1261","DOI":"10.1016\/j.infsof.2009.03.003","volume":"51","author":"M.B. Juric","year":"2009","unstructured":"Juric, M.B., Sasa, A., Rozman, I.: WS-BPEL extensions for versioning. Information and Software Technology\u00a051(8), 1261\u20131274 (2009)","journal-title":"Information and Software Technology"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16132-2_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T15:47:19Z","timestamp":1553096839000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16132-2_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783540749738","9783540749745"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16132-2_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}