{"id":"https://openalex.org/W2089148440","doi":"https://doi.org/10.1145/1022494.1022526","title":"Modelling and verifying web service orchestration by means of the concurrency workbench","display_name":"Modelling and verifying web service orchestration by means of the concurrency workbench","publication_year":2004,"publication_date":"2004-09-01","ids":{"openalex":"https://openalex.org/W2089148440","doi":"https://doi.org/10.1145/1022494.1022526","mag":"2089148440"},"language":"en","primary_location":{"id":"doi:10.1145/1022494.1022526","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1022494.1022526","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","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/A5054492704","display_name":"Mariya Koshkina","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I4210113654","display_name":"IBM (Canada)","ror":"https://ror.org/025sxka56","country_code":"CA","type":"company","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210113654"]}],"countries":["CA","US"],"is_corresponding":true,"raw_author_name":"Mariya Koshkina","raw_affiliation_strings":["IBM, Markham, Canada","IBM, Markham, Canada#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM, Markham, Canada","institution_ids":["https://openalex.org/I4210113654"]},{"raw_affiliation_string":"IBM, Markham, Canada#TAB#","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014089511","display_name":"Franck van Breugel","orcid":"https://orcid.org/0009-0002-7320-1527"},"institutions":[{"id":"https://openalex.org/I192455969","display_name":"York University","ror":"https://ror.org/05fq50484","country_code":"CA","type":"education","lineage":["https://openalex.org/I192455969"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Franck van Breugel","raw_affiliation_strings":["York University, Toronto, Canada","York University, Toronto,Canada#TAB#"],"affiliations":[{"raw_affiliation_string":"York University, Toronto, Canada","institution_ids":["https://openalex.org/I192455969"]},{"raw_affiliation_string":"York University, Toronto,Canada#TAB#","institution_ids":["https://openalex.org/I192455969"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5054492704"],"corresponding_institution_ids":["https://openalex.org/I1341412227","https://openalex.org/I4210113654"],"apc_list":null,"apc_paid":null,"fwci":20.0183,"has_fulltext":false,"cited_by_count":64,"citation_normalized_percentile":{"value":0.99013515,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"29","issue":"5","first_page":"1","last_page":"10"},"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.9997000098228455,"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.9997000098228455,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9972000122070312,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9955999851226807,"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.7885868549346924},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7075527310371399},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.6478856801986694},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6365744471549988},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.5656839609146118},{"id":"https://openalex.org/keywords/orchestration","display_name":"Orchestration","score":0.5515933036804199},{"id":"https://openalex.org/keywords/business-process-execution-language","display_name":"Business Process Execution Language","score":0.5469352602958679},{"id":"https://openalex.org/keywords/workbench","display_name":"Workbench","score":0.4578631520271301},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4315722584724426},{"id":"https://openalex.org/keywords/service-oriented-architecture","display_name":"Service-oriented architecture","score":0.2885189652442932},{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.11977925896644592},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07793480157852173}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7885868549346924},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7075527310371399},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.6478856801986694},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6365744471549988},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.5656839609146118},{"id":"https://openalex.org/C199168358","wikidata":"https://www.wikidata.org/wiki/Q3367000","display_name":"Orchestration","level":3,"score":0.5515933036804199},{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.5469352602958679},{"id":"https://openalex.org/C2779145975","wikidata":"https://www.wikidata.org/wiki/Q347690","display_name":"Workbench","level":3,"score":0.4578631520271301},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4315722584724426},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.2885189652442932},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.11977925896644592},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07793480157852173},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"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/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1022494.1022526","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1022494.1022526","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W26128327","https://openalex.org/W68069235","https://openalex.org/W199365300","https://openalex.org/W258022877","https://openalex.org/W1239375374","https://openalex.org/W1481534960","https://openalex.org/W1497571013","https://openalex.org/W1503973138","https://openalex.org/W1507985299","https://openalex.org/W1509158468","https://openalex.org/W1536697195","https://openalex.org/W1547562281","https://openalex.org/W1553393255","https://openalex.org/W1587877137","https://openalex.org/W1830954042","https://openalex.org/W1943502734","https://openalex.org/W1995406252","https://openalex.org/W2001289891","https://openalex.org/W2015640848","https://openalex.org/W2044520159","https://openalex.org/W2060910670","https://openalex.org/W2081068412","https://openalex.org/W2089975742","https://openalex.org/W2093028517","https://openalex.org/W2093834030","https://openalex.org/W2105344291","https://openalex.org/W2114457640","https://openalex.org/W2118229393","https://openalex.org/W2123986639","https://openalex.org/W2128433357","https://openalex.org/W2137865376","https://openalex.org/W2147588677","https://openalex.org/W2151439306","https://openalex.org/W2152540926","https://openalex.org/W2157144873","https://openalex.org/W2159252347","https://openalex.org/W2162868766","https://openalex.org/W2164091052","https://openalex.org/W2166309559","https://openalex.org/W2171480813","https://openalex.org/W2340735175","https://openalex.org/W2561675875","https://openalex.org/W2913459036","https://openalex.org/W3124530199","https://openalex.org/W4233522539"],"related_works":["https://openalex.org/W2465848154","https://openalex.org/W2156144933","https://openalex.org/W1548422763","https://openalex.org/W2208347154","https://openalex.org/W2150570828","https://openalex.org/W2391018907","https://openalex.org/W1990409638","https://openalex.org/W3103500337","https://openalex.org/W1549769711","https://openalex.org/W2490926083"],"abstract_inverted_index":{"Verification":[0],"techniques":[1],"like":[2],"model":[3],"checking,":[4],"preorder":[5],"checking":[6,9],"and":[7,69],"equivalence":[8],"are":[10,75,79,94],"shown":[11],"to":[12,15,48,61],"be":[13],"relevant":[14],"web":[16,63,112],"service":[17,64,113],"orchestration.":[18,65,114],"The":[19,52],"Concurrency":[20],"Workbench":[21],"of":[22,38,72],"the":[23,39,44,50,67,70,73,85,89,97,103],"New":[24],"Century":[25],"(CWB)":[26],"is":[27,46,54],"a":[28,55,108],"verification":[29,34,109],"tool":[30,110],"that":[31,93,100],"supports":[32,102],"these":[33],"techniques.":[35],"By":[36],"means":[37],"Process":[40],"Algebra":[41],"Compiler":[42],"(PAC),":[43],"CWB":[45,98],"modified":[47],"support":[49],"BPE-calculus.":[51],"BPE-calculus":[53,74,104],"small":[56],"language,":[57],"based":[58],"on":[59],"BPEL4WS,":[60],"express":[62],"Both":[66],"syntax":[68],"semantics":[71],"formally":[76],"defined.":[77],"These":[78],"subsequently":[80],"used":[81],"as":[82],"input":[83],"for":[84,111],"PAC.":[86],"As":[87],"output,":[88],"PAC":[90],"produces":[91],"modules":[92],"incorporated":[95],"into":[96],"so":[99],"it":[101],"and,":[105],"hence,":[106],"provides":[107]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":4}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}