{"id":"https://openalex.org/W2017561524","doi":"https://doi.org/10.1109/hase.2015.37","title":"Formalization and Verification of REST Architecture in Viewpoints","display_name":"Formalization and Verification of REST Architecture in Viewpoints","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2017561524","doi":"https://doi.org/10.1109/hase.2015.37","mag":"2017561524"},"language":"en","primary_location":{"id":"doi:10.1109/hase.2015.37","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hase.2015.37","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 16th International Symposium on High Assurance Systems Engineering","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":[{"author_position":"first","author":{"id":"https://openalex.org/A5080339681","display_name":"Yiting Tang","orcid":null},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]},{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yiting Tang","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037309489","display_name":"Xi Wu","orcid":"https://orcid.org/0000-0001-5795-9798"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xi Wu","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102937444","display_name":"Huibiao Zhu","orcid":"https://orcid.org/0000-0002-0214-8565"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huibiao Zhu","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060680512","display_name":"Jian Guo","orcid":"https://orcid.org/0000-0002-0358-0691"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]},{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian Guo","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5080339681"],"corresponding_institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"],"apc_list":null,"apc_paid":null,"fwci":0.8629,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.82070891,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"17","issue":null,"first_page":"197","last_page":"206"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9990000128746033,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/representational-state-transfer","display_name":"Representational state transfer","score":0.8610804677009583},{"id":"https://openalex.org/keywords/architectural-style","display_name":"Architectural style","score":0.8354747891426086},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7821633815765381},{"id":"https://openalex.org/keywords/stateless-protocol","display_name":"Stateless protocol","score":0.5892130136489868},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.5312613844871521},{"id":"https://openalex.org/keywords/rest","display_name":"Rest (music)","score":0.5266547203063965},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.4578368663787842},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4410790503025055},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.36487770080566406},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3544706106185913},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.3025274872779846},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.286315381526947}],"concepts":[{"id":"https://openalex.org/C65399332","wikidata":"https://www.wikidata.org/wiki/Q749568","display_name":"Representational state transfer","level":3,"score":0.8610804677009583},{"id":"https://openalex.org/C2777364373","wikidata":"https://www.wikidata.org/wiki/Q32880","display_name":"Architectural style","level":3,"score":0.8354747891426086},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7821633815765381},{"id":"https://openalex.org/C103613024","wikidata":"https://www.wikidata.org/wiki/Q230924","display_name":"Stateless protocol","level":3,"score":0.5892130136489868},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.5312613844871521},{"id":"https://openalex.org/C77265313","wikidata":"https://www.wikidata.org/wiki/Q879844","display_name":"Rest (music)","level":2,"score":0.5266547203063965},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.4578368663787842},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4410790503025055},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36487770080566406},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3544706106185913},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3025274872779846},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.286315381526947},{"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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C164705383","wikidata":"https://www.wikidata.org/wiki/Q10379","display_name":"Cardiology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hase.2015.37","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hase.2015.37","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 16th International Symposium on High Assurance Systems Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W181608060","https://openalex.org/W1469547801","https://openalex.org/W1515421996","https://openalex.org/W1532054750","https://openalex.org/W1577231857","https://openalex.org/W1800478330","https://openalex.org/W1977992568","https://openalex.org/W2075262062","https://openalex.org/W2081926156","https://openalex.org/W2118023438","https://openalex.org/W2140146152","https://openalex.org/W2140922128","https://openalex.org/W2146082668","https://openalex.org/W2399851682","https://openalex.org/W2589217375","https://openalex.org/W3144368627","https://openalex.org/W4292492869","https://openalex.org/W6628512189","https://openalex.org/W6630774044","https://openalex.org/W6632088828","https://openalex.org/W6638324366","https://openalex.org/W6644869095","https://openalex.org/W6676995014","https://openalex.org/W6680476925"],"related_works":["https://openalex.org/W2912654454","https://openalex.org/W2307340971","https://openalex.org/W2145742469","https://openalex.org/W2992569441","https://openalex.org/W158210963","https://openalex.org/W1579096777","https://openalex.org/W4308821264","https://openalex.org/W2169369734","https://openalex.org/W2006800243","https://openalex.org/W1984554050"],"abstract_inverted_index":{"Representational":[0],"State":[1],"Transfer":[2],"(REST),":[3],"as":[4,108,110],"a":[5,47],"promising":[6],"software":[7],"architecture":[8],"style,":[9],"has":[10],"been":[11],"used":[12],"in":[13,39,85,126],"large":[14],"scale":[15],"since":[16],"proposed.":[17],"However,":[18],"there":[19],"still":[20],"exist":[21],"considerable":[22],"confusions":[23],"about":[24],"the":[25,41,54,77,91,99,102,111],"REST":[26,42,80],"architecture,":[27],"which":[28],"may":[29],"lead":[30],"to":[31,45],"inappropriate":[32],"application.":[33],"We":[34,52],"apply":[35],"formal":[36],"method":[37],"CSP":[38],"modeling":[40],"architectural":[43,55,71],"style":[44],"give":[46],"comprehensive":[48],"explanation":[49],"of":[50,76,121],"it.":[51],"partition":[53],"description":[56],"into":[57],"three":[58],"separate":[59],"views:":[60],"process":[61],"view,":[62,67],"connector":[63],"view":[64],"and":[65,73,88,105,115],"data":[66],"each":[68],"capturing":[69],"one":[70],"element":[72],"related":[74,119],"properties":[75,120],"architecture.":[78],"Furthermore,":[79],"constraints":[81],"can":[82],"be":[83],"described":[84],"our":[86],"models":[87],"validated":[89],"by":[90],"model":[92],"checker":[93],"PAT.":[94],"Besides,":[95],"we":[96],"focus":[97],"on":[98],"relation":[100],"between":[101],"stateless":[103],"constraint":[104,114],"resource":[106],"state,":[107],"well":[109],"uniform":[112],"interface":[113],"hypermedia-driven":[116],"property.":[117],"The":[118],"them":[122],"are":[123],"also":[124],"verified":[125],"this":[127],"paper.":[128]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}