{"id":"https://openalex.org/W2402093536","doi":"https://doi.org/10.5220/0004949601040115","title":"An Integrated Approach for Designing and Validating REST Web Service Compositions","display_name":"An Integrated Approach for Designing and Validating REST Web Service Compositions","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W2402093536","doi":"https://doi.org/10.5220/0004949601040115","mag":"2402093536"},"language":"en","primary_location":{"id":"doi:10.5220/0004949601040115","is_oa":false,"landing_page_url":"https://doi.org/10.5220/0004949601040115","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th International Conference on Web Information Systems and Technologies","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5778,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.8932623,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"104","last_page":"115"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":1.0,"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.9998000264167786,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.996999979019165,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/rest","display_name":"Rest (music)","score":0.7098620533943176},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.660790205001831},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.6017537713050842},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.448661208152771},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.402767151594162},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.0733022391796112}],"concepts":[{"id":"https://openalex.org/C77265313","wikidata":"https://www.wikidata.org/wiki/Q879844","display_name":"Rest (music)","level":2,"score":0.7098620533943176},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.660790205001831},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.6017537713050842},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.448661208152771},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.402767151594162},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0733022391796112},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C164705383","wikidata":"https://www.wikidata.org/wiki/Q10379","display_name":"Cardiology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5220/0004949601040115","is_oa":false,"landing_page_url":"https://doi.org/10.5220/0004949601040115","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th International Conference on Web Information Systems and Technologies","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.49000000953674316}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1524191071","https://openalex.org/W1585912603","https://openalex.org/W1608087281","https://openalex.org/W1997378860","https://openalex.org/W2000947342","https://openalex.org/W2019927320","https://openalex.org/W2061643308","https://openalex.org/W2070813196","https://openalex.org/W2080593426","https://openalex.org/W2101480055","https://openalex.org/W2101915365","https://openalex.org/W2107360681","https://openalex.org/W2111291256","https://openalex.org/W2115309705","https://openalex.org/W2143263092","https://openalex.org/W2146338308","https://openalex.org/W2147405025","https://openalex.org/W2153439859","https://openalex.org/W2161536823","https://openalex.org/W2164989576","https://openalex.org/W2183691332","https://openalex.org/W2184354567","https://openalex.org/W2184904402","https://openalex.org/W2198679414","https://openalex.org/W2274772626","https://openalex.org/W2325381133","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2621039037","https://openalex.org/W2139596909","https://openalex.org/W2081337217","https://openalex.org/W1585782846","https://openalex.org/W2146354553","https://openalex.org/W2263165406","https://openalex.org/W2509141950","https://openalex.org/W1809074097","https://openalex.org/W178471791"],"abstract_inverted_index":{"We":[0,13,55,101],"present":[1],"an":[2],"integrated":[3],"approach":[4,104],"to":[5,20,58,76],"design":[6],"and":[7,25,41,44,68,90],"validate":[8,102],"RESTful":[9],"composite":[10],"web":[11,30,113],"services.":[12],"use":[14],"the":[15,22,51,77,82],"Unified":[16],"Modeling":[17],"Language":[18],"(UML)":[19],"specify":[21],"requirements,":[23],"behavior":[24,46],"published":[26],"resources":[27],"of":[28,109],"each":[29],"service.":[31,114],"In":[32],"our":[33,103],"approach,":[34],"a":[35,106,110],"service":[36,60,72],"can":[37],"invoke":[38],"other":[39],"services":[40],"exhibit":[42],"complex":[43],"timed":[45,64,79],"while":[47],"still":[48],"complying":[49],"with":[50,105],"REST":[52],"architectural":[53],"style.":[54],"show":[56],"how":[57],"transform":[59],"specifications":[61],"into":[62],"UPPAAL":[63,78,89],"automata":[65,80],"for":[66,94],"verification":[67],"test":[69,99],"generation.":[70,100],"The":[71],"requirements":[73],"are":[74,92],"propagated":[75],"during":[81,98],"transformation.":[83],"Their":[84],"reachability":[85],"is":[86],"verified":[87],"in":[88],"they":[91],"used":[93],"computing":[95],"coverage":[96],"level":[97],"case":[107],"study":[108],"holiday":[111],"booking":[112]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}