{"id":"https://openalex.org/W2798705188","doi":"https://doi.org/10.1145/3184558.3191656","title":"Verification of Hypermedia Characteristic of RESTful Finite-State Machines","display_name":"Verification of Hypermedia Characteristic of RESTful Finite-State Machines","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2798705188","doi":"https://doi.org/10.1145/3184558.3191656","mag":"2798705188"},"language":"en","primary_location":{"id":"doi:10.1145/3184558.3191656","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3184558.3191656","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3191656&type=pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW '18","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=3191656&type=pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024022530","display_name":"Henry Vu","orcid":null},"institutions":[{"id":"https://openalex.org/I3130074995","display_name":"Technical University of Applied Sciences W\u00fcrzburg-Schweinfurt","ror":"https://ror.org/01k5h5v15","country_code":"DE","type":"education","lineage":["https://openalex.org/I3130074995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Henry Vu","raw_affiliation_strings":["University of Applied Sciences W\u00fcrzburg-Schweinfurt, W\u00fcrzburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Applied Sciences W\u00fcrzburg-Schweinfurt, W\u00fcrzburg, Germany","institution_ids":["https://openalex.org/I3130074995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084210071","display_name":"Tobias Fertig","orcid":"https://orcid.org/0000-0002-6831-9857"},"institutions":[{"id":"https://openalex.org/I3130074995","display_name":"Technical University of Applied Sciences W\u00fcrzburg-Schweinfurt","ror":"https://ror.org/01k5h5v15","country_code":"DE","type":"education","lineage":["https://openalex.org/I3130074995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tobias Fertig","raw_affiliation_strings":["University of Applied Sciences W\u00fcrzburg-Schweinfurt, W\u00fcrzburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Applied Sciences W\u00fcrzburg-Schweinfurt, W\u00fcrzburg, Germany","institution_ids":["https://openalex.org/I3130074995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050397079","display_name":"Peter Braun","orcid":"https://orcid.org/0000-0002-9870-465X"},"institutions":[{"id":"https://openalex.org/I3130074995","display_name":"Technical University of Applied Sciences W\u00fcrzburg-Schweinfurt","ror":"https://ror.org/01k5h5v15","country_code":"DE","type":"education","lineage":["https://openalex.org/I3130074995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Peter Braun","raw_affiliation_strings":["University of Applied Sciences W\u00fcrzburg-Schweinfurt, W\u00fcrzburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Applied Sciences W\u00fcrzburg-Schweinfurt, W\u00fcrzburg, Germany","institution_ids":["https://openalex.org/I3130074995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I3130074995"],"apc_list":null,"apc_paid":null,"fwci":0.179,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.32630029,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1881","last_page":"1886"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8299028873443604},{"id":"https://openalex.org/keywords/hypermedia","display_name":"Hypermedia","score":0.7203603982925415},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.67031329870224},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.6471913456916809},{"id":"https://openalex.org/keywords/representational-state-transfer","display_name":"Representational state transfer","score":0.5878857970237732},{"id":"https://openalex.org/keywords/architectural-style","display_name":"Architectural style","score":0.5149880051612854},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4985032081604004},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4113045930862427},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.3872469365596771},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.22479844093322754},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.17263776063919067}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8299028873443604},{"id":"https://openalex.org/C2780126544","wikidata":"https://www.wikidata.org/wiki/Q837900","display_name":"Hypermedia","level":2,"score":0.7203603982925415},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.67031329870224},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6471913456916809},{"id":"https://openalex.org/C65399332","wikidata":"https://www.wikidata.org/wiki/Q749568","display_name":"Representational state transfer","level":3,"score":0.5878857970237732},{"id":"https://openalex.org/C2777364373","wikidata":"https://www.wikidata.org/wiki/Q32880","display_name":"Architectural style","level":3,"score":0.5149880051612854},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4985032081604004},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4113045930862427},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.3872469365596771},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.22479844093322754},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.17263776063919067},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3184558.3191656","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3184558.3191656","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3191656&type=pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW '18","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3184558.3191656","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3184558.3191656","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3191656&type=pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW '18","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2798705188.pdf","grobid_xml":"https://content.openalex.org/works/W2798705188.grobid-xml"},"referenced_works_count":8,"referenced_works":["https://openalex.org/W1989480206","https://openalex.org/W2066944269","https://openalex.org/W2080552450","https://openalex.org/W2081926156","https://openalex.org/W2214966027","https://openalex.org/W2250931952","https://openalex.org/W2295057266","https://openalex.org/W2621214547"],"related_works":["https://openalex.org/W2912654454","https://openalex.org/W2145742469","https://openalex.org/W2741384805","https://openalex.org/W4254486023","https://openalex.org/W2140146152","https://openalex.org/W2693554","https://openalex.org/W2591994366","https://openalex.org/W2126842158","https://openalex.org/W4211262920","https://openalex.org/W2005460594"],"abstract_inverted_index":{"Being":[0],"an":[1],"architectural":[2],"style":[3],"rather":[4],"than":[5],"a":[6,9,29,53,77,128,147,163,171],"specification":[7],"or":[8],"standard,":[10],"the":[11,37,41,94,103,119,140,143],"proper":[12,38],"design":[13],"of":[14,31,40,72,96,105,121,142,146],"REpresentational":[15],"State":[16],"Transfer":[17],"(REST)":[18],"APIs":[19,51,126],"is":[20,52,62],"not":[21,63],"trivial,":[22],"since":[23],"developers":[24],"have":[25,75],"to":[26,111],"deal":[27,68],"with":[28,69,114],"flood":[30],"recommendations":[32],"and":[33,58,108,150],"best":[34],"practices,":[35],"especially":[36],"application":[39],"hypermedia":[42,60,106,122],"constraint":[43],"requires":[44],"some":[45],"decent":[46],"experience.":[47],"Furthermore,":[48],"testing":[49,61,107,123],"RESTful":[50,85,125,148,174],"missing":[54],"topic":[55],"within":[56,135],"literature":[57],"especially,":[59],"mentioned":[64],"at":[65],"all.":[66],"To":[67],"this":[70,88],"state":[71],"affairs,":[73],"we":[74,91,160],"elaborated":[76],"Model-Driven":[78,97],"Software":[79],"Development":[80],"(MDSD)":[81],"approach":[82,131],"for":[83,124],"creating":[84],"APIs.":[86],"As":[87],"project":[89],"matured,":[90],"also":[92],"explored":[93],"possibility":[95],"Testing":[98],"(MDT).":[99],"This":[100],"work":[101],"addresses":[102],"challenges":[104],"proposes":[109],"approaches":[110],"overcome":[112],"them":[113],"MDT":[115,138],"techniques.":[116],"We":[117],"present":[118],"results":[120],"using":[127],"model":[129,145,166],"verification":[130,141],"that":[132],"were":[133],"discovered":[134],"our":[136],"research.":[137],"enables":[139],"underlying":[144],"API":[149],"ensuring":[151],"its":[152],"correctness":[153],"before":[154],"initiating":[155],"any":[156],"code":[157],"generation.":[158],"Therefore,":[159],"can":[161],"prevent":[162],"poorly":[164,172],"designed":[165,173],"from":[167],"being":[168],"transformed":[169],"into":[170],"API.":[175]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}