{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T15:04:56Z","timestamp":1760799896563,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319387901"},{"type":"electronic","value":"9783319387918"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-38791-8_21","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T22:07:33Z","timestamp":1464127653000},"page":"365-372","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Formal Specification of RESTful Choreography Properties"],"prefix":"10.1007","author":[{"given":"Adriatik","family":"Nikaj","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Weske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,25]]},"reference":[{"key":"21_CR1","unstructured":"Fielding, R.T.: Architectural styles and the design of network-based software architectures. Ph.D. thesis (2000)"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Nikaj, A., Mandal, S., Pautasso, C., Weske, M.: From choreography diagrams to restful interactions. In: WESOA 2015, Co-located with ICSOC 2015. Springer, Berlin (2015)","DOI":"10.1007\/978-3-662-50539-7_1"},{"key":"21_CR3","unstructured":"OMG: Business Process Model and Notation (BPMN), Version 2.0, January 2011. http:\/\/www.omg.org\/spec\/BPMN\/2.0\/"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: extending BPEL for modeling choreographies. In: IEEE International Conference on Web Services (2007)","DOI":"10.1109\/ICWS.2007.59"},{"key":"21_CR5","first-page":"1","volume":"11","author":"D Jordan","year":"2007","unstructured":"Jordan, D., Evdemon, J., Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., et al.: Web services business process execution language version 2.0. OASIS Stand. 11, 1\u201310 (2007)","journal-title":"OASIS Stand."},{"key":"21_CR6","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web services description language (WSDL) 1.1. W3c note, WWW Consortium, March 2001"},{"key":"21_CR7","unstructured":"World Wide Web Consortium: Simple Object Access Protocol (SOAP) 1.2 (2003)"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Haupt, F., Leymann, F., Pautasso, C.: A conversation based approach for modeling REST APIs. In: Proceedings of the 12th Working IEEE\/IFIP Conference on Software Architecture (WICSA 2015), Montreal, Canada, May 2015","DOI":"10.1109\/WICSA.2015.20"},{"key":"21_CR9","unstructured":"OMG: Unified Modeling Language (UML), Version 2.0, July 2005. http:\/\/www.omg.org\/spec\/UML\/2.0\/"},{"key":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-319-23727-5_7","volume-title":"Software Architecture","author":"C Pautasso","year":"2015","unstructured":"Pautasso, C., Ivanchikj, A., Schreier, S.: Modeling RESTful conversations with extended BPMN choreography diagrams. In: Weyns, D., et al. (eds.) ECSA 2015. LNCS, vol. 9278, pp. 87\u201394. Springer, Heidelberg (2015). doi:10.1007\/978-3-319-23727-5_7"},{"key":"21_CR11","volume-title":"Business Process Management - Concepts, Languages, Architectures","author":"M Weske","year":"2012","unstructured":"Weske, M.: Business Process Management - Concepts, Languages, Architectures, 2nd edn. Springer, Berlin (2012)","edition":"2"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-25535-9_3","volume-title":"Service-Oriented Computing","author":"C Pautasso","year":"2011","unstructured":"Pautasso, C., Wilde, E.: Push-enabling RESTful business processes. In: Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (eds.) Service Oriented Computing. LNCS, vol. 7084, pp. 32\u201346. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Web Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-38791-8_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,6]],"date-time":"2021-06-06T00:08:33Z","timestamp":1622938113000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-38791-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319387901","9783319387918"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-38791-8_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"25 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}