{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T04:37:33Z","timestamp":1725856653250},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319336923"},{"type":"electronic","value":"9783319336930"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-33693-0_30","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T05:35:47Z","timestamp":1464068147000},"page":"474-488","source":"Crossref","is-referenced-by-count":1,"title":["A Constraint Satisfaction Method for Configuring Non-local Service Interfaces"],"prefix":"10.1007","author":[{"given":"Pavel","family":"Zaichenkov","sequence":"first","affiliation":[]},{"given":"Olga","family":"Tveretina","sequence":"additional","affiliation":[]},{"given":"Alex","family":"Shafarenko","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1016\/j.ins.2014.04.054","volume":"280","author":"QZ Sheng","year":"2014","unstructured":"Sheng, Q.Z., Qiao, X., Vasilakos, A.V., Szabo, C., Bourne, S., Xu, X.: Web services composition: a decades overview. Inf. Sci. 280, 218\u2013238 (2014)","journal-title":"Inf. Sci."},{"issue":"1","key":"30_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1504\/IJWGS.2005.007545","volume":"1","author":"S Dustdar","year":"2005","unstructured":"Dustdar, S., Schreiner, W.: A survey on web services composition. Int. J. Web Grid Serv. 1(1), 1\u201330 (2005)","journal-title":"Int. J. Web Grid Serv."},{"key":"30_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1007\/978-3-642-34321-6_34","volume-title":"Service-Oriented Computing","author":"S Bourne","year":"2012","unstructured":"Bourne, S., Szabo, C., Sheng, Q.Z.: Ensuring well-formed conversations between control and operational behaviors of web services. In: Liu, C., Ludwig, H., Toumani, F., Yu, Q. (eds.) Service Oriented Computing. LNCS, vol. 7636, pp. 507\u2013515. Springer, Heidelberg (2012)"},{"issue":"2","key":"30_CR4","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1145\/2430545.2430548","volume":"22","author":"Z Zheng","year":"2013","unstructured":"Zheng, Z., Lyu, M.R.: Personalized reliability prediction of web services. ACM Trans. Softw. Eng. Methodol. 22(2), 12 (2013)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"30_CR5","unstructured":"Web services choreography description language: web services choreography description language (WS-CDL). https:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"30_CR6","unstructured":"Arkin, A., Askary, S., Fordin, S., Jekeli, W., Kawaguchi, K., Orchard, D., Pogliani, S., Riemer, K., Struble, S., Takacsi-Nagy, P., et al.: Web service choreography interface (WSCI) (2002). https:\/\/www.w3.org\/TR\/2002\/NOTE-wsci-20020808\/"},{"key":"30_CR7","first-page":"1","volume":"3","author":"A Barros","year":"2005","unstructured":"Barros, A., Dumas, M., Oaks, P.: A critical overview of the web services choreography description language. BPTrends 3, 1\u201324 (2005)","journal-title":"BPTrends"},{"key":"30_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/978-3-540-71316-6_2","volume-title":"Programming Languages and Systems","author":"M Carbone","year":"2007","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 2\u201317. Springer, Heidelberg (2007)"},{"volume-title":"Advanced Web Services","year":"2013","key":"30_CR9","unstructured":"Bouguettaya, A., Sheng, Q.Z., Daniel, F. (eds.): Advanced Web Services. Springer, New York (2013)"},{"issue":"4","key":"30_CR10","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1109\/TNSM.2012.113012.120310","volume":"9","author":"Q Duan","year":"2012","unstructured":"Duan, Q., Yan, Y., Vasilakos, A.V.: A survey on service-oriented network virtualization toward convergence of networking and cloud computing. IEEE Trans. Netw. Serv. Manage. 9(4), 373\u2013392 (2012)","journal-title":"IEEE Trans. Netw. Serv. Manage."},{"issue":"1","key":"30_CR11","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1145\/1328897.1328472","volume":"43","author":"K Honda","year":"2008","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. SIGPLAN Not. 43(1), 273\u2013284 (2008)","journal-title":"SIGPLAN Not."},{"issue":"9","key":"30_CR12","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1145\/357766.351259","volume":"35","author":"R Davies","year":"2000","unstructured":"Davies, R., Pfenning, F.: Intersection types and computational effects. ACM SIGPLAN Not. 35(9), 198\u2013208 (2000)","journal-title":"ACM SIGPLAN Not."},{"issue":"02","key":"30_CR13","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1142\/S0129626408003351","volume":"18","author":"C Grelck","year":"2008","unstructured":"Grelck, C., Scholz, S.B., Shafarenko, A.: A gentle introduction to S-Net: typed stream processing and declarative coordination of asynchronous components. Parall. Process. Lett. 18(02), 221\u2013237 (2008)","journal-title":"Parall. Process. Lett."},{"key":"30_CR14","unstructured":"Gaster, B.R., Jones, M.P.: A polymorphic type system for extensible records and variants. Technical report (1996)"},{"key":"30_CR15","first-page":"297","volume":"5","author":"D Leijen","year":"2005","unstructured":"Leijen, D.: Extensible records with scoped labels. Trends Funct. Program. 5, 297\u2013312 (2005)","journal-title":"Trends Funct. Program."},{"key":"30_CR16","unstructured":"Zaichenkov, P., Tveretina, O., Shafarenko, A.: A constraint satisfaction method for configuring non-local service interfaces. http:\/\/arxiv.org\/abs\/1601.03370"},{"key":"30_CR17","doi-asserted-by":"crossref","first-page":"75","DOI":"10.3233\/SAT190039","volume":"4","author":"A Biere","year":"2008","unstructured":"Biere, A.: Picosat essentials. J. Satisfiability Boolean Model. Comput. 4, 75\u201397 (2008)","journal-title":"J. Satisfiability Boolean Model. Comput."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-33693-0_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,21]],"date-time":"2020-09-21T01:00:37Z","timestamp":1600650037000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33693-0_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319336923","9783319336930"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33693-0_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}