{"id":"https://openalex.org/W2583407054","doi":"https://doi.org/10.1504/ijguc.2017.10003002","title":"Verifying integrity of exception handling in service-oriented software","display_name":"Verifying integrity of exception handling in service-oriented software","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2583407054","doi":"https://doi.org/10.1504/ijguc.2017.10003002","mag":"2583407054"},"language":"en","primary_location":{"id":"doi:10.1504/ijguc.2017.10003002","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijguc.2017.10003002","pdf_url":null,"source":{"id":"https://openalex.org/S42446796","display_name":"International Journal of Grid and Utility Computing","issn_l":"1741-847X","issn":["1741-847X","1741-8488"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Grid and Utility Computing","raw_type":"journal-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/A5041549151","display_name":"Xiaoying Zhai","orcid":null},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoying Zhai","raw_affiliation_strings":["State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100740224","display_name":"Xiaohui Hu","orcid":"https://orcid.org/0000-0001-5717-8676"},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaohui Hu","raw_affiliation_strings":["State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019942607","display_name":"Xiangyang Jia","orcid":"https://orcid.org/0000-0002-7449-1055"},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]},{"id":"https://openalex.org/I5343935","display_name":"Guilin University of Electronic Technology","ror":"https://ror.org/05arjae42","country_code":"CN","type":"education","lineage":["https://openalex.org/I5343935"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiangyang Jia","raw_affiliation_strings":["State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China; Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology, Guilin, China","State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China","Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology, Guilin, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China; Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology, Guilin, China","institution_ids":["https://openalex.org/I5343935"]},{"raw_affiliation_string":"State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]},{"raw_affiliation_string":"Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology, Guilin, China","institution_ids":["https://openalex.org/I5343935"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101676851","display_name":"Qing Wu","orcid":"https://orcid.org/0000-0001-5073-8845"},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qing Wu","raw_affiliation_strings":["Department of Education Science, Wuhan University, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Education Science, Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103204903","display_name":"Ying Shi","orcid":"https://orcid.org/0009-0004-4440-1858"},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shi Ying","raw_affiliation_strings":["State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052796604","display_name":"Tong Xue","orcid":"https://orcid.org/0000-0002-0624-5135"},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tong Xue","raw_affiliation_strings":["State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083639800","display_name":"Tao Zhang","orcid":"https://orcid.org/0000-0001-9689-2135"},"institutions":[{"id":"https://openalex.org/I180662265","display_name":"China Mobile (China)","ror":"https://ror.org/05gftfe97","country_code":"CN","type":"company","lineage":["https://openalex.org/I180662265"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tao Zhang","raw_affiliation_strings":["Business Support Centre, Hubei Mobile, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Business Support Centre, Hubei Mobile, Wuhan, China","institution_ids":["https://openalex.org/I180662265"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.595,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.8713098,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"8","issue":"1","first_page":"7","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9973999857902527,"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.9973999857902527,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9958999752998352,"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/T10142","display_name":"Formal Methods in Verification","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.8066538572311401},{"id":"https://openalex.org/keywords/exception-handling","display_name":"Exception handling","score":0.6673496961593628},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5284635424613953},{"id":"https://openalex.org/keywords/dependency-graph","display_name":"Dependency graph","score":0.47300297021865845},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4355568289756775},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4352569878101349},{"id":"https://openalex.org/keywords/data-integrity","display_name":"Data integrity","score":0.42770320177078247},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.425041139125824},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.42237597703933716},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.41350606083869934},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.30424392223358154},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29360008239746094},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.24087640643119812}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8066538572311401},{"id":"https://openalex.org/C145428669","wikidata":"https://www.wikidata.org/wiki/Q471748","display_name":"Exception handling","level":2,"score":0.6673496961593628},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5284635424613953},{"id":"https://openalex.org/C16311509","wikidata":"https://www.wikidata.org/wiki/Q4148050","display_name":"Dependency graph","level":3,"score":0.47300297021865845},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4355568289756775},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4352569878101349},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.42770320177078247},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.425041139125824},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.42237597703933716},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.41350606083869934},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30424392223358154},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29360008239746094},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.24087640643119812},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1504/ijguc.2017.10003002","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijguc.2017.10003002","pdf_url":null,"source":{"id":"https://openalex.org/S42446796","display_name":"International Journal of Grid and Utility Computing","issn_l":"1741-847X","issn":["1741-847X","1741-8488"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Grid and Utility Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.44999998807907104,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W48815722","https://openalex.org/W135312039","https://openalex.org/W1534850333","https://openalex.org/W1545615987","https://openalex.org/W1549845882","https://openalex.org/W1606525778","https://openalex.org/W1777350991","https://openalex.org/W1863415672","https://openalex.org/W1944591618","https://openalex.org/W1965494178","https://openalex.org/W1992184612","https://openalex.org/W2007239035","https://openalex.org/W2009524993","https://openalex.org/W2009983102","https://openalex.org/W2013853884","https://openalex.org/W2025954838","https://openalex.org/W2053690446","https://openalex.org/W2070874614","https://openalex.org/W2078341410","https://openalex.org/W2088425619","https://openalex.org/W2113564491","https://openalex.org/W2122762495","https://openalex.org/W2124553350","https://openalex.org/W2133556419","https://openalex.org/W2142340571","https://openalex.org/W2148495082","https://openalex.org/W2358328386","https://openalex.org/W2387961616","https://openalex.org/W3015144690"],"related_works":["https://openalex.org/W2390366073","https://openalex.org/W2387569322","https://openalex.org/W2027953117","https://openalex.org/W2390882312","https://openalex.org/W2128633787","https://openalex.org/W2365587948","https://openalex.org/W2146587657","https://openalex.org/W2020591648","https://openalex.org/W2545921400","https://openalex.org/W1951500725"],"abstract_inverted_index":{"In":[0],"service-oriented":[1,79],"software":[2,27,35],"environments,":[3],"that":[4,131],"exceptions":[5],"may":[6],"not":[7],"be":[8],"fully":[9],"handled":[10],"is":[11],"one":[12],"of":[13,26,34,42,45,75,93,99,109],"the":[14,91,107],"main":[15],"causes":[16],"for":[17],"system":[18],"breakdown.":[19],"Therefore,":[20],"we":[21],"need":[22],"to":[23],"verify":[24],"integrity":[25,33,72,94],"exception":[28,36,76,87],"handling.":[29],"At":[30],"present":[31],"verifying":[32],"handling":[37,77,88],"mainly":[38],"depends":[39],"upon":[40],"experiences":[41],"developer.":[43],"Most":[44],"automatic":[46],"formal":[47],"verification":[48,73,95],"mechanisms":[49],"can":[50],"only":[51],"support":[52],"some":[53],"general":[54],"features,":[55],"such":[56],"as":[57],"equivalence,":[58],"boundedness,":[59],"security,":[60],"etc.":[61],"and":[62,89,105,116,122],"easily":[63],"cause":[64],"state":[65,83,110],"space":[66],"explosion.":[67],"This":[68],"paper":[69],"proposes":[70],"an":[71],"method":[74,133],"in":[78],"software.":[80],"We":[81],"construct":[82],"spaces":[84,111],"associated":[85],"with":[86],"convert":[90],"issue":[92],"into":[96],"a":[97],"model":[98],"boundedness":[100],"analysis":[101],"based":[102,125],"on":[103,126],"CPN,":[104],"reduce":[106],"size":[108],"by":[112],"extending":[113],"Stubborn":[114],"Set":[115],"Transition":[117],"Dependency":[118],"Graph.":[119],"An":[120],"example":[121],"experimental":[123],"results":[124],"extended":[127],"CPN":[128],"tools":[129],"confirm":[130],"our":[132],"has":[134],"good":[135],"generalisation":[136],"abilities.":[137]},"counts_by_year":[{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}