{"id":"https://openalex.org/W2011809543","doi":"https://doi.org/10.1109/apscc.2009.5394130","title":"A Chu spaces semantics of control flow in BPEL","display_name":"A Chu spaces semantics of control flow in BPEL","publication_year":2009,"publication_date":"2009-12-01","ids":{"openalex":"https://openalex.org/W2011809543","doi":"https://doi.org/10.1109/apscc.2009.5394130","mag":"2011809543"},"language":"en","primary_location":{"id":"doi:10.1109/apscc.2009.5394130","is_oa":false,"landing_page_url":"https://doi.org/10.1109/apscc.2009.5394130","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 IEEE Asia-Pacific Services Computing Conference (APSCC)","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":["Department of Computer Science and Technology, Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China","Department of Computer Science and Technology Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Department of Computer Science and Technology Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China#TAB#","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":["Department of Computer Science and Technology, Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China","Department of Computer Science and Technology Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Department of Computer Science and Technology Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China#TAB#","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":["Department of Computer Science and Technology, Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China","Department of Computer Science and Technology Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Department of Computer Science and Technology Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China#TAB#","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":2.9612,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.92666453,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"15","issue":null,"first_page":"142","last_page":"149"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9980999827384949,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6454870700836182},{"id":"https://openalex.org/keywords/business-process-execution-language","display_name":"Business Process Execution Language","score":0.5840489864349365},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.5827811360359192},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.531434953212738},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45089036226272583},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3515758216381073},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.3296074867248535},{"id":"https://openalex.org/keywords/service-oriented-architecture","display_name":"Service-oriented architecture","score":0.1349841058254242}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6454870700836182},{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.5840489864349365},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.5827811360359192},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.531434953212738},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45089036226272583},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3515758216381073},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.3296074867248535},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.1349841058254242}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/apscc.2009.5394130","is_oa":false,"landing_page_url":"https://doi.org/10.1109/apscc.2009.5394130","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 IEEE Asia-Pacific Services Computing Conference (APSCC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W7263695","https://openalex.org/W63050021","https://openalex.org/W83252375","https://openalex.org/W1801991060","https://openalex.org/W1974131495","https://openalex.org/W2061243320","https://openalex.org/W2090718638","https://openalex.org/W2099431275","https://openalex.org/W2105724032","https://openalex.org/W2107876038","https://openalex.org/W2121278374","https://openalex.org/W2127094324","https://openalex.org/W2136425190","https://openalex.org/W2136521909","https://openalex.org/W2145391336","https://openalex.org/W2153074919","https://openalex.org/W2164226682","https://openalex.org/W2166572420","https://openalex.org/W2182935539","https://openalex.org/W2615570990","https://openalex.org/W6600294564","https://openalex.org/W6603342761","https://openalex.org/W6643747537"],"related_works":["https://openalex.org/W2002233526","https://openalex.org/W4247445481","https://openalex.org/W2129443448","https://openalex.org/W2136521909","https://openalex.org/W2370110824","https://openalex.org/W4233877817","https://openalex.org/W2109480844","https://openalex.org/W2134588905","https://openalex.org/W2515287752","https://openalex.org/W2097368534"],"abstract_inverted_index":{"We":[0,67],"present":[1,39,68],"a":[2,25,40],"Chu":[3,41,88,108],"spaces":[4,42,89,109],"semantics":[5],"of":[6,10,27,30,36,46,59,72,91,103,106],"typical":[7],"control":[8],"flow":[9],"BPEL":[11,18,73,92],"including":[12],"fault":[13],"handling":[14],"and":[15,61,81],"link":[16],"semantics.":[17],"<sub":[19,74,93],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[20,75,94],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">cf</sub>":[21,76,95],"is":[22],"proposed":[23],"as":[24],"simplification":[26],"this":[28],"subset":[29],"BPEL.":[31],"For":[32],"the":[33,69,78,82,87,104,107],"compositional":[34],"modeling":[35],"BPEL,":[37],"we":[38],"process":[43,110],"algebra":[44],"consisting":[45],"seven":[47],"operators.":[48],"These":[49],"operators":[50],"allow":[51],"faults":[52],"to":[53],"be":[54],"thrown":[55],"at":[56],"any":[57],"point":[58],"execution":[60],"take":[62],"link-based":[63],"synchronization":[64],"into":[65],"consideration.":[66],"abstract":[70],"syntax":[71],",":[77],"semantic":[79],"algebra,":[80],"valuation":[83,98],"functions":[84,99],"for":[85],"computing":[86],"denotation":[90],"programs.":[96],"The":[97],"are":[100],"straightforward":[101],"because":[102],"power":[105],"algebra.":[111]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}