{"id":"https://openalex.org/W2128433357","doi":"https://doi.org/10.1145/988672.988756","title":"Analysis of interacting BPEL web services","display_name":"Analysis of interacting BPEL web services","publication_year":2004,"publication_date":"2004-05-17","ids":{"openalex":"https://openalex.org/W2128433357","doi":"https://doi.org/10.1145/988672.988756","mag":"2128433357"},"language":"en","primary_location":{"id":"doi:10.1145/988672.988756","doi":"https://doi.org/10.1145/988672.988756","is_oa":false,"landing_page_url":"https://doi.org/10.1145/988672.988756","pdf_url":null,"source":{"id":"https://openalex.org/S7407088480","display_name":"International World Wide Web Conference (WWW)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th international conference on World Wide Web","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5100607534","display_name":"Xiang Fu","orcid":"https://orcid.org/0000-0002-6608-1654","observed_orcids":["https://orcid.org/0000-0002-6608-1654"]},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiang Fu","raw_affiliation_strings":["Univ. of California - Santa Barbara, CA","University of California, Santa Barbara, Ca#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of California - Santa Barbara, CA","institution_ids":["https://openalex.org/I154570441"]},{"raw_affiliation_string":"University of California, Santa Barbara, Ca#TAB#","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039991493","display_name":"Tevfik Bultan","orcid":"https://orcid.org/0000-0003-2993-1215","observed_orcids":["https://orcid.org/0000-0003-2993-1215"]},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tevfik Bultan","raw_affiliation_strings":["Univ. of California - Santa Barbara, CA","University of California, Santa Barbara, Ca#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of California - Santa Barbara, CA","institution_ids":["https://openalex.org/I154570441"]},{"raw_affiliation_string":"University of California, Santa Barbara, Ca#TAB#","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069491635","display_name":"Jianwen Su","orcid":"https://orcid.org/0000-0002-4637-1339","observed_orcids":["https://orcid.org/0000-0002-4637-1339"]},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jianwen Su","raw_affiliation_strings":["Univ. of California - Santa Barbara, CA","University of California, Santa Barbara, Ca#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of California - Santa Barbara, CA","institution_ids":["https://openalex.org/I154570441"]},{"raw_affiliation_string":"University of California, Santa Barbara, Ca#TAB#","institution_ids":["https://openalex.org/I154570441"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I154570441"],"apc_list":null,"apc_paid":null,"fwci":35.3145,"has_fulltext":false,"cited_by_count":641,"citation_normalized_percentile":{"value":0.99967359,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"621","last_page":"630"},"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.638700008392334,"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.638700008392334,"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.33469998836517334,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.010400000028312206,"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/bpel","display_name":"BPEL","score":0.9459999799728394},{"id":"https://openalex.org/keywords/composite-web-services","display_name":"composite web services","score":0.9909999966621399},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"asynchronous communication","score":0.5899999737739563},{"id":"https://openalex.org/keywords/promela","display_name":"Promela","score":0.7739999890327454},{"id":"https://openalex.org/keywords/spin-model-checker","display_name":"SPIN model checker","score":0.9810000061988831},{"id":"https://openalex.org/keywords/synchronizability","display_name":"synchronizability","score":0.8610000014305115},{"id":"https://openalex.org/keywords/finite-state-verification","display_name":"finite-state verification","score":0.7170000076293945},{"id":"https://openalex.org/keywords/intermediate-representation","display_name":"intermediate representation","score":0.49300000071525574}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8588782548904419},{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.6326122283935547},{"id":"https://openalex.org/C2780213375","wikidata":"https://www.wikidata.org/wiki/Q16340","display_name":"XPath","level":4,"score":0.631563663482666},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6221436858177185},{"id":"https://openalex.org/C2776329536","wikidata":"https://www.wikidata.org/wiki/Q948666","display_name":"Promela","level":3,"score":0.5746260285377502},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5705089569091797},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.5551201105117798},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.5340543985366821},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42678582668304443},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.34864646196365356},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.2038724720478058},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.1566922664642334},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.09708631038665771},{"id":"https://openalex.org/C55348073","wikidata":"https://www.wikidata.org/wiki/Q595926","display_name":"XML validation","level":3,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/988672.988756","doi":"https://doi.org/10.1145/988672.988756","is_oa":false,"landing_page_url":"https://doi.org/10.1145/988672.988756","pdf_url":null,"source":{"id":"https://openalex.org/S7407088480","display_name":"International World Wide Web Conference (WWW)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th international conference on World Wide Web","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.1.6785","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.6785","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.ucsb.edu/~bultan/publications/www04.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.309.1250","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.1250","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www2004.org/proceedings/docs/1p621.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.847.7692","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.847.7692","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.ucsb.edu/%7Esu/papers/2004/WWW04-draft.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W116829432","https://openalex.org/W204252280","https://openalex.org/W1943502734","https://openalex.org/W1970603830","https://openalex.org/W1976132482","https://openalex.org/W2000788759","https://openalex.org/W2000804855","https://openalex.org/W2058284014","https://openalex.org/W2061438988","https://openalex.org/W2081535979","https://openalex.org/W2095299458","https://openalex.org/W2108370953","https://openalex.org/W2123986639","https://openalex.org/W2143923161","https://openalex.org/W2144531585","https://openalex.org/W2151369927","https://openalex.org/W2166309559","https://openalex.org/W2725758462","https://openalex.org/W2804848512","https://openalex.org/W4241509948","https://openalex.org/W4243858962","https://openalex.org/W6665773200"],"related_works":["https://openalex.org/W7097431891","https://openalex.org/W2111291256","https://openalex.org/W1499930632","https://openalex.org/W7098820514","https://openalex.org/W2057659930","https://openalex.org/W204252280","https://openalex.org/W2596223296","https://openalex.org/W2105515488","https://openalex.org/W2068077794","https://openalex.org/W7097117099"],"abstract_inverted_index":{"This":[0,61],"paper":[1],"presents":[2],"a":[3,68,80,103,149,184,206,228,244],"set":[4,193,207],"of":[5,12,31,40,85,98,139,163,174,208,231],"tools":[6],"and":[7,21,72,214],"techniques":[8],"for":[9,118],"analyzing":[10],"interactions":[11,30],"composite":[13,32,185,232],"web":[14,33,45,86,186,233],"services":[15,34,87,234],"which":[16],"are":[17,88,124],"specified":[18],"in":[19,167],"BPEL":[20,83],"communicate":[22],"through":[23],"asynchronous":[24,197],"XML":[25],"messages.":[26],"We":[27,78,170,180,204],"model":[28,141,146,247],"the":[29,37,44,96,99,122,130,140,161,164,168,172],"as":[35,126,250],"conversations,":[36],"global":[38],"sequence":[39],"messages":[41],"exchanged":[42],"by":[43,95,159],"services.":[46],"As":[47,106,129],"opposed":[48],"to":[49,64,90,102,176],"earlier":[50],"work,":[51],"our":[52,222],"tool-set":[53],"handles":[54],"rich":[55],"data":[56],"manipulation":[57],"via":[58],"XPath":[59,127],"expressions.":[60,128],"allows":[62],"us":[63],"verify":[65],"designs":[66],"at":[67],"more":[69],"detailed":[70],"level":[71],"check":[73],"properties":[74],"about":[75],"message":[76],"content.":[77],"present":[79],"framework":[81],"where":[82,121],"specifications":[84],"translated":[89],"an":[91,107],"intermediate":[92,100,108],"representation,":[93],"followed":[94],"translation":[97],"representation":[101,109],"verification":[104,132,151,158],"language.":[105],"we":[110,134,153,225],"use":[111,135],"guarded":[112],"automata":[113],"augmented":[114],"with":[115,201,235],"unbounded":[116,236],"queues":[117,166,238],"incoming":[119],"messages,":[120],"guards":[123],"expressed":[125],"target":[131],"language":[133,138],"Promela,":[136],"input":[137,165,237],"checker":[142,147,248],"SPIN.":[143,251],"Since":[144],"SPIN":[145],"is":[148,188,199],"finite-state":[150],"tool":[152],"can":[154,216,239],"only":[155],"achieve":[156],"partial":[157],"fixing":[160],"sizes":[162],"translation.":[169],"propose":[171],"concept":[173],"synchronizability":[175,213,223],"address":[177],"this":[178],"problem.":[179],"show":[181,226],"that":[182,211,215,227],"if":[183],"service":[187],"synchronizable,":[189],"then":[190],"its":[191],"conversation":[192],"remains":[194],"same":[195],"when":[196],"communication":[198],"replaced":[200],"synchronous":[202],"communication.":[203],"give":[205],"sufficient":[209],"conditions":[210],"guarantee":[212],"be":[217,240],"checked":[218],"statically.":[219],"Based":[220],"on":[221],"results,":[224],"large":[229],"class":[230],"completely":[241],"verified":[242],"using":[243],"finite":[245],"state":[246],"such":[249]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":12},{"year":2017,"cited_by_count":10},{"year":2016,"cited_by_count":20},{"year":2015,"cited_by_count":24},{"year":2014,"cited_by_count":25},{"year":2013,"cited_by_count":33},{"year":2012,"cited_by_count":36}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}