{"id":"https://openalex.org/W2123740012","doi":"https://doi.org/10.1109/iri.2008.4583002","title":"Reachability analysis of Web service interfaces","display_name":"Reachability analysis of Web service interfaces","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W2123740012","doi":"https://doi.org/10.1109/iri.2008.4583002","mag":"2123740012"},"language":"en","primary_location":{"id":"doi:10.1109/iri.2008.4583002","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iri.2008.4583002","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE International Conference on Information Reuse and Integration","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/A5072725748","display_name":"Xutao Du","orcid":null},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xutao Du","raw_affiliation_strings":["Research Institute of Information Technology, Tsinghua National Laboratory for Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing, China","Research Institute of Information Technology, Tsinghua National Laboratory for Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China"],"affiliations":[{"raw_affiliation_string":"Research Institute of Information Technology, Tsinghua National Laboratory for Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Research Institute of Information Technology, Tsinghua National Laboratory for Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058043497","display_name":"Chunxiao Xing","orcid":"https://orcid.org/0000-0001-9390-3097"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chunxiao Xing","raw_affiliation_strings":["Research Institute of Information Technology, Tsinghua National Laboratory for Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing, China","Research Institute of Information Technology, Tsinghua National Laboratory for Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China"],"affiliations":[{"raw_affiliation_string":"Research Institute of Information Technology, Tsinghua National Laboratory for Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Research Institute of Information Technology, Tsinghua National Laboratory for Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109309781","display_name":"Lizhu Zhou","orcid":null},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lizhu Zhou","raw_affiliation_strings":["Research Institute of Information Technology, Tsinghua National Laboratory for Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing, China","Research Institute of Information Technology, Tsinghua National Laboratory for Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China"],"affiliations":[{"raw_affiliation_string":"Research Institute of Information Technology, Tsinghua National Laboratory for Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Research Institute of Information Technology, Tsinghua National Laboratory for Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5072725748"],"corresponding_institution_ids":["https://openalex.org/I99065089"],"apc_list":null,"apc_paid":null,"fwci":1.692,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.89376026,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"3440","issue":null,"first_page":"40","last_page":"45"},"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":0.9995999932289124,"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":0.9995999932289124,"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.9994999766349792,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9990000128746033,"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/reachability","display_name":"Reachability","score":0.9540600776672363},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7823766469955444},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.591298520565033},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5575103163719177},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.5399593710899353},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5333452224731445},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5134004354476929},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5093556642532349},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.48683875799179077},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4749757647514343},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.4158247411251068},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4046825170516968},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35846710205078125},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35353565216064453}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9540600776672363},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7823766469955444},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.591298520565033},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5575103163719177},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.5399593710899353},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5333452224731445},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5134004354476929},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5093556642532349},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.48683875799179077},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4749757647514343},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.4158247411251068},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4046825170516968},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35846710205078125},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35353565216064453}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iri.2008.4583002","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iri.2008.4583002","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE International Conference on Information Reuse and Integration","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":16,"referenced_works":["https://openalex.org/W63050021","https://openalex.org/W1515278398","https://openalex.org/W1562679818","https://openalex.org/W1565378486","https://openalex.org/W1577404745","https://openalex.org/W1948500431","https://openalex.org/W1986348008","https://openalex.org/W2014189171","https://openalex.org/W2106092644","https://openalex.org/W2123986639","https://openalex.org/W2153074919","https://openalex.org/W2182935539","https://openalex.org/W2340735175","https://openalex.org/W2913459036","https://openalex.org/W4285719527","https://openalex.org/W6640794328"],"related_works":["https://openalex.org/W2032269072","https://openalex.org/W1989788631","https://openalex.org/W1999231617","https://openalex.org/W2884574904","https://openalex.org/W2961758588","https://openalex.org/W2099490078","https://openalex.org/W4288581691","https://openalex.org/W2951140680","https://openalex.org/W2912654482","https://openalex.org/W2150468037"],"abstract_inverted_index":{"We":[0],"use":[1],"WCFA":[2],"(Web":[3],"Service":[4],"Interface":[5],"Control":[6],"Flow":[7],"Automata)":[8],"to":[9,43],"model":[10],"web":[11,17],"service":[12,18],"interfaces.":[13],"Global":[14],"behaviors":[15],"of":[16,33,54,63,93],"compositions":[19],"are":[20,56,90],"captured":[21],"by":[22,58,81],"abstract":[23],"reachability":[24,41],"graph(ARG).":[25],"A":[26],"polynomial":[27],"time":[28],"algorithm":[29,38],"for":[30],"the":[31,88,94,97],"construction":[32],"ARG":[34],"is":[35,68,79],"presented.":[36],"The":[37],"uses":[39],"a":[40,71,75,82],"analysis":[42],"verify":[44],"both":[45],"safety":[46],"and":[47,74],"call":[48,76,98],"stack":[49],"inspection":[50],"properties.":[51],"Both":[52],"kinds":[53],"properties":[55],"expressed":[57],"assertions":[59,89],"at":[60],"control":[61,66],"points":[62],"ARG.":[64],"Each":[65],"point":[67],"equipped":[69],"with":[70],"state":[72,95],"formula":[73],"stack.":[77],"Verification":[78],"done":[80],"SAT":[83],"solver":[84],"which":[85],"checks":[86],"whether":[87],"logical":[91],"consequences":[92],"formulas(or":[96],"stacks).":[99]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}