{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:07:07Z","timestamp":1742951227375,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89652-4_44","type":"book-chapter","created":{"date-parts":[[2008,11,19]],"date-time":"2008-11-19T21:04:36Z","timestamp":1227128676000},"page":"545-550","source":"Crossref","is-referenced-by-count":2,"title":["Verifying Interaction Protocol Compliance of Service Orchestrations"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Schroeder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"Mayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"44_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/11817963_8","volume-title":"Computer Aided Verification","author":"B.T. Adler","year":"2006","unstructured":"Adler, B.T., de Alfaro, L., da Silva, L.D., Faella, M., Legay, A., Raman, V., Roy, P.: Ticc: A Tool for Interface Compatibility and Composition. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 59\u201362. Springer, Heidelberg (2006)"},{"key":"44_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-24593-3_4","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"D. Berardi","year":"2003","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic Composition of E-Services that Export Their Behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 43\u201358. Springer, Heidelberg (2003)"},{"key":"44_CR3","first-page":"148","volume-title":"14th Int. Conf. on World Wide Web","author":"D. Beyer","year":"2005","unstructured":"Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web service interfaces. In: 14th Int. Conf. on World Wide Web, pp. 148\u2013159. ACM, New York (2005)"},{"key":"44_CR4","unstructured":"Beyer, D., Chatterjee, K., Henzinger, T.A., Mang, F.Y.C.: Chic: Checker for Interface Compatibility, \n                  \n                    www.eecs.berkeley.edu\/~arindam\/chic"},{"key":"44_CR5","first-page":"738","volume-title":"3rd Int. Conf. on Web Services","author":"H. Foster","year":"2004","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Compatibility Verification for Web Service Choreography. In: 3rd Int. Conf. on Web Services, pp. 738\u2013741. IEEE, Los Alamitos (2004)"},{"key":"44_CR6","first-page":"621","volume-title":"3rd Int. Conf. on Web Services","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: 3rd Int. Conf. on Web Services, pp. 621\u2013630. IEEE, Los Alamitos (2004)"},{"key":"44_CR7","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"215","volume-title":"5th Int. Workshop. on Graph Transformation and Visual Modeling Techniques","author":"M. Kov\u00e1cs","year":"2006","unstructured":"Kov\u00e1cs, M., G\u00f6nczy, L.: Simulation and Formal Analysis of Workflow Models. In: 5th Int. Workshop. on Graph Transformation and Visual Modeling Techniques. Electronic Notes in Theoretical Computer Science, pp. 215\u2013224. Elsevier, Amsterdam (2006)"},{"key":"44_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-71316-6_6","volume-title":"Programming Languages and Systems","author":"K. Larsen","year":"2007","unstructured":"Larsen, K., Nyman, U., Wasowski, A.: Modal I\/O Automata for Interface and Product Line Theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 64\u201379. Springer, Heidelberg (2007)"},{"key":"44_CR9","volume-title":"12th Int. Enterprise Computing Conf.","author":"P. Mayer","year":"2008","unstructured":"Mayer, P., Schroeder, A., Koch, N.: UML4SOA: Model-Driven Service Orchestration. In: 12th Int. Enterprise Computing Conf. IEEE, Los Alamitos (2008)"},{"issue":"10","key":"44_CR10","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/944217.944236","volume":"46","author":"L.G. Meredith","year":"2003","unstructured":"Meredith, L.G., Bjorg, S.: Contracts and Types. Comm. ACM\u00a046(10), 41\u201347 (2003)","journal-title":"Comm. ACM"},{"key":"44_CR11","first-page":"43","volume-title":"3rd Int. Conf. on Web Services","author":"G. Salan","year":"2004","unstructured":"Salan, G., Bordeaux, L., Schaerf, M.: Describing and Reasoning on Web Services Using Process Algebra. In: 3rd Int. Conf. on Web Services, pp. 43\u201350. IEEE, Los Alamitos (2004)"},{"issue":"3","key":"44_CR12","first-page":"279","volume":"11","author":"H. St\u00f6rrle","year":"2004","unstructured":"St\u00f6rrle, H.: Structured Nodes in UML 2.0 Activities. Nord. J. of Comput.\u00a011(3), 279\u2013302 (2004)","journal-title":"Nord. J. of Comput."},{"key":"44_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/3-540-45341-5_10","volume-title":"Advanced Information Systems Engineering","author":"W. Aalst van der","year":"2001","unstructured":"van der Aalst, W., Weske, M.: The P2P approach to interorganizational workflows. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol.\u00a02068, pp. 140\u2013155. Springer, Heidelberg (2001)"},{"key":"44_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/11888116_3","volume-title":"26th Int. Conf. on Formal Methods for Networked and Distributed Systems","author":"M. Wirsing","year":"2006","unstructured":"Wirsing, M., Clark, A., Gilmore, S., H\u00f6lzl, M., Knapp, A., Koch, N., Schroeder, A.: Semantic-based development of service-oriented systems. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 24\u201345. Springer, Heidelberg (2006)"},{"key":"44_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/3-540-36124-3_20","volume-title":"Int. Conf. on Cooperative Information Systems","author":"A. Wombacher","year":"2002","unstructured":"Wombacher, A., Mahleko, B.: Finding trading partners to establish ad-hoc business processes. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol.\u00a02519, pp. 339\u2013355. Springer, Heidelberg (2002)"}],"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-540-89652-4_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T22:06:36Z","timestamp":1551650796000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89652-4_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540749738","9783540749745"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89652-4_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}