{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T13:31:49Z","timestamp":1765546309730,"version":"3.41.0"},"publisher-location":"New York, New York, USA","reference-count":15,"publisher":"ACM Press","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1145\/3184558.3191656","type":"proceedings-article","created":{"date-parts":[[2018,4,18]],"date-time":"2018-04-18T18:04:25Z","timestamp":1524074665000},"page":"1881-1886","source":"Crossref","is-referenced-by-count":2,"title":["Verification of Hypermedia Characteristic of RESTful Finite-State Machines"],"prefix":"10.1145","author":[{"given":"Henry","family":"Vu","sequence":"first","affiliation":[{"name":"University of Applied Sciences W\u00fcrzburg-Schweinfurt, W\u00fcrzburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"Fertig","sequence":"additional","affiliation":[{"name":"University of Applied Sciences W\u00fcrzburg-Schweinfurt, W\u00fcrzburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Braun","sequence":"additional","affiliation":[{"name":"University of Applied Sciences W\u00fcrzburg-Schweinfurt, W\u00fcrzburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"key-10.1145\/3184558.3191656-1","unstructured":"M. Amundsen. 2017. REST The short version. http:\/\/exyus.com\/articles\/rest-the-short-version\/. (2017). Last accessed on Jan 23, 2018."},{"key":"key-10.1145\/3184558.3191656-2","unstructured":"Mike Amundsen. 2017. RESTful Web Clients - Enabling Reuse Through Hypermedia. O'Reilly Media, Sebastopol."},{"key":"key-10.1145\/3184558.3191656-3","unstructured":"Joshua Bloch. 2014. How to design a good API and why it matters. http:\/\/static.googleusercontent.com\/media\/research.google.com\/en\/\/pubs\/archive\/32713.pdf. (2014). Last accessed on Jan 23, 2018."},{"key":"key-10.1145\/3184558.3191656-4","doi-asserted-by":"crossref","unstructured":"H. Ed-douibi, J. L. C. Izquierdo, M. Tisi A. Gómez, and J. Cabot. 2016. EMF-REST: Generation of RESTful APIs from Models Proceedings of the 31st Annual ACM Symposium on Applied Computing. SAC'2016, SciTePress.","DOI":"10.1145\/2851613.2851782"},{"key":"key-10.1145\/3184558.3191656-5","doi-asserted-by":"crossref","unstructured":"Tobias Fertig and Peter Braun. 2015. Model-driven Testing of RESTful APIs. In Proceedings of the 24th International Conference on World Wide Web Companion (WWW '15 Companion). International World Wide Web Conferences Steering Committee, Republic and Canton of Geneva, Switzerland, 1497--1502. https:\/\/doi.org\/10.1145\/2740908.2743045","DOI":"10.1145\/2740908.2743045"},{"key":"key-10.1145\/3184558.3191656-6","unstructured":"R.T. Fielding. 2000. REST: Architectural Styles and the Design of Network-based Software Architectures. Doctoral dissertation. University of California, Irvine."},{"key":"key-10.1145\/3184558.3191656-7","unstructured":"R.T. Fielding. 2008. REST APIs must be hyper-text driven. http:\/\/roy.gbiv.com\/untangled\/2008\/rest-apis-must-be-hypertext-driven. (10. 2008). Last accessed on Jan 23, 2018."},{"key":"key-10.1145\/3184558.3191656-8","doi-asserted-by":"crossref","unstructured":"Antonio Garrote Hernández and María N. Moreno García. 2010. A Formal Definition of RESTful Semantic Web Services Proceedings of the First International Workshop on RESTful Design (WS-REST '10). ACM, New York, NY, USA, 39--45. https:\/\/doi.org\/10.1145\/1798354.1798384","DOI":"10.1145\/1798354.1798384"},{"key":"key-10.1145\/3184558.3191656-9","unstructured":"M. Hevery, J. Musser, P. Rexer, U. Sarid, and I. Lazarov. 2017. RAML. http:\/\/raml.org\/. (2017). Last accessed on Jan 23, 2018."},{"key":"key-10.1145\/3184558.3191656-10","doi-asserted-by":"crossref","unstructured":"Savas Parastatidis, G. S. Jim Webber, and I. S. Robinson. 2010. The Role of Hypermedia in Distributed System Development Proceedings of the First International Workshop on RESTful Design. WS-REST, ACM.","DOI":"10.1145\/1798354.1798379"},{"key":"key-10.1145\/3184558.3191656-11","unstructured":"L. Richardson, M. Amundsen, and S. Ruby. 2013. RESTful Web APIs. O'Reilly Media. https:\/\/books.google.de\/booksid=ZXDGAAAAQBAJ"},{"key":"key-10.1145\/3184558.3191656-12","doi-asserted-by":"crossref","unstructured":"V. Schreibmann and P. Braun. 2015. Model-Driven Development of RESTful APIs. In Proceedings of the 11th International Conference of Web Information Systems and Technologies. INSTICC, SciTePress.","DOI":"10.5220\/0005411200050014"},{"key":"key-10.1145\/3184558.3191656-13","doi-asserted-by":"crossref","unstructured":"Antero Taivalsaari and Tommi Mikkonen. 2017. The Web as a Software Platform: Ten Years Later. In Proceedings of the 13th International Conference of Web Information Systems and Technologies. INSTICC, SciTePress.","DOI":"10.5220\/0006234800410050"},{"key":"key-10.1145\/3184558.3191656-14","unstructured":"Stefan Ulrich. 2014. Wer REST will, muss mit HATEOAS ernst machen. https:\/\/jaxenter.de\/wer-rest-will-muss-mit-hateoas-ernst-machen-489. (2014). Last accessed on Jan 23, 2018."},{"key":"key-10.1145\/3184558.3191656-15","doi-asserted-by":"crossref","unstructured":"S. Vinoski. 2008. RESTful Web Services Development Checklist. IEEE Internet Computing Vol. 12, 6 (Nov. 2008), 96--95. s:\/\/doi.org\/10.1007\/978--3--642--22233--7_24","DOI":"10.1109\/MIC.2008.130"}],"event":{"number":"2018","sponsor":["IW3C2, International World Wide Web Conference Committee","SIGWEB, ACM Special Interest Group on Hypertext, Hypermedia, and Web"],"acronym":"WWW '18","name":"Companion of the The Web Conference 2018","start":{"date-parts":[[2018,4,23]]},"location":"Lyon, France","end":{"date-parts":[[2018,4,27]]}},"container-title":["Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW '18"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3184558.3191656","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=3191656&ftid=1958408&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:27Z","timestamp":1750210767000},"score":1,"resource":{"primary":{"URL":"http:\/\/dl.acm.org\/citation.cfm?doid=3184558.3191656"}},"subtitle":[],"proceedings-subject":"The Web Conference 2018","short-title":[],"issued":{"date-parts":[[2018]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1145\/3184558.3191656","relation":{},"subject":[],"published":{"date-parts":[[2018]]}}}