{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:57:31Z","timestamp":1740099451326,"version":"3.37.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030214845"},{"type":"electronic","value":"9783030214852"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-21485-2_23","type":"book-chapter","created":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T10:04:18Z","timestamp":1562148258000},"page":"428-434","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["HeadREST: A Specification Language for RESTful APIs"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9539-8861","authenticated-orcid":false,"given":"Vasco T.","family":"Vasconcelos","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2379-7257","authenticated-orcid":false,"given":"Francisco","family":"Martins","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0688-3521","authenticated-orcid":false,"given":"Ant\u00f3nia","family":"Lopes","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6613-5192","authenticated-orcid":false,"given":"Nuno","family":"Burnay","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,7,3]]},"reference":[{"key":"23_CR1","unstructured":"API blueprint. \n                      https:\/\/apiblueprint.org\/\n                      \n                    . Retrieved 7 Jan 2019"},{"issue":"1","key":"23_CR2","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1017\/S0956796812000032","volume":"22","author":"GM Bierman","year":"2012","unstructured":"Bierman, G.M., Gordon, A.D., Hritcu, C., Langworthy, D.E.: Semantic subtyping with an SMT solver. J. Funct. Program. 22(1), 31\u2013105 (2012)","journal-title":"J. Funct. Program."},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/11841197_3","volume-title":"Web Services and Formal Methods","author":"M Boreale","year":"2006","unstructured":"Boreale, M., et al.: SCC: a service centered calculus. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 38\u201357. Springer, Heidelberg (2006). \n                      https:\/\/doi.org\/10.1007\/11841197_3"},{"issue":"3","key":"23_CR4","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1017\/S0960129512000953","volume":"25","author":"M Boreale","year":"2015","unstructured":"Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: CaSPiS: a calculus of sessions, pipelines and services. Math. Struct. Comput. Sci. 25(3), 666\u2013709 (2015)","journal-title":"Math. Struct. Comput. Sci."},{"key":"23_CR5","unstructured":"Confident, a toolchain for the construction and evolution of REST APIs. \n                      http:\/\/rss.di.fc.ul.pt\/tools\/confident\n                      \n                    . Retrieved 7 Jan 2019"},{"key":"23_CR6","unstructured":"Ferreira, F.: Automatic test generation for RESTful APIs. Master\u2019s thesis, Faculty of Sciences, University of Lisbon (2017)"},{"key":"23_CR7","unstructured":"Fielding, R.T.: Architectural styles and the design of network-based software architectures. Ph.D. thesis, University of California, Irvine (2000)"},{"issue":"2","key":"23_CR8","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1145\/514183.514185","volume":"2","author":"RT Fielding","year":"2002","unstructured":"Fielding, R.T., Taylor, R.N.: Principled design of the modern web architecture. ACM Trans. Internet Technol. 2(2), 115\u2013150 (2002)","journal-title":"ACM Trans. Internet Technol."},{"key":"23_CR9","unstructured":"HTTP Working Group: SOAP: Simple object access protocol. \n                      https:\/\/tools.ietf.org\/html\/draft-box-http-soap-00\n                      \n                    . Retrieved 31 Jan 2019"},{"issue":"10","key":"23_CR10","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Lanese, I., Martins, F., Vasconcelos, V.T., Ravara, A.: Disciplining orchestration and conversation in service-oriented computing. In: Proceeedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), pp. 305\u2013314 (2007)","DOI":"10.1109\/SEFM.2007.13"},{"key":"23_CR12","unstructured":"Open API Initiative. \n                      https:\/\/www.openapis.org\n                      \n                    . Retrieved 7 Jan 2019"},{"key":"23_CR13","unstructured":"RESTful API Modeling Language. \n                      https:\/\/raml.org\n                      \n                    . Retrieved 7 Jan 2019"},{"key":"23_CR14","unstructured":"Santos, T.: Code generation for RESTful APIs in headREST. Master\u2019s thesis, Faculty of Sciences, University of Lisbon (2018)"},{"key":"23_CR15","unstructured":"Sensoria: Software Engineering for Service-Oriented Overlay Computers. \n                      http:\/\/sensoria.fast.de\/\n                      \n                    . Retrieved 31 Jan 2019"}],"container-title":["Lecture Notes in Computer Science","Models, Languages, and Tools for Concurrent and Distributed Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-21485-2_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T10:14:24Z","timestamp":1562148864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-21485-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030214845","9783030214852"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-21485-2_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"3 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}