{"id":"https://openalex.org/W2007923156","doi":"https://doi.org/10.1145/2480362.2480676","title":"Formal semantics and expressiveness of a web service composition language","display_name":"Formal semantics and expressiveness of a web service composition language","publication_year":2013,"publication_date":"2013-03-18","ids":{"openalex":"https://openalex.org/W2007923156","doi":"https://doi.org/10.1145/2480362.2480676","mag":"2007923156"},"language":"en","primary_location":{"id":"doi:10.1145/2480362.2480676","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2480362.2480676","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"},"type":"conference-paper","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/A5054946605","display_name":"Marcelo Guerra Hahn","orcid":"https://orcid.org/0000-0003-4351-9390"},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marcelo Guerra Hahn","raw_affiliation_strings":["Microsoft Corporation, Redmond","Microsoft Corporation [Redmond]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Corporation, Redmond","institution_ids":["https://openalex.org/I1290206253"]},{"raw_affiliation_string":"Microsoft Corporation [Redmond]","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023555225","display_name":"Regina Motz","orcid":"https://orcid.org/0000-0002-1426-562X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Regina Motz","raw_affiliation_strings":["InCo - UdelaR, Montevideo, Uruguay"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"InCo - UdelaR, Montevideo, Uruguay","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007307934","display_name":"Alberto Pardo","orcid":"https://orcid.org/0000-0003-4011-4232"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alberto Pardo","raw_affiliation_strings":["InCo - UdelaR, Montevideo, Uruguay"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"InCo - UdelaR, Montevideo, Uruguay","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033111709","display_name":"Mart\u00edn A. Musicante","orcid":"https://orcid.org/0000-0001-5589-3895"},"institutions":[{"id":"https://openalex.org/I35046152","display_name":"Universidade Federal do Rio Grande do Norte","ror":"https://ror.org/04wn09761","country_code":"BR","type":"education","lineage":["https://openalex.org/I35046152"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Martin A. Musicante","raw_affiliation_strings":["DIMAp - UFRN, Natal-RN, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIMAp - UFRN, Natal-RN, Brazil","institution_ids":["https://openalex.org/I35046152"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2517,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.47449991,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1667","last_page":"1673"},"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":1.0,"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":1.0,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9919000267982483,"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/computer-science","display_name":"Computer science","score":0.7923709154129028},{"id":"https://openalex.org/keywords/business-process-execution-language","display_name":"Business Process Execution Language","score":0.7252362370491028},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.6917881965637207},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.5947312712669373},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.46510323882102966},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4575575590133667},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.44809064269065857},{"id":"https://openalex.org/keywords/web-standards","display_name":"Web standards","score":0.413211464881897},{"id":"https://openalex.org/keywords/web-modeling","display_name":"Web modeling","score":0.3308221995830536},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.26602867245674133},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.23512211441993713}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7923709154129028},{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.7252362370491028},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.6917881965637207},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.5947312712669373},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.46510323882102966},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4575575590133667},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.44809064269065857},{"id":"https://openalex.org/C182321512","wikidata":"https://www.wikidata.org/wiki/Q1153289","display_name":"Web standards","level":3,"score":0.413211464881897},{"id":"https://openalex.org/C130436687","wikidata":"https://www.wikidata.org/wiki/Q7978591","display_name":"Web modeling","level":3,"score":0.3308221995830536},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26602867245674133},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.23512211441993713}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2480362.2480676","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2480362.2480676","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5600000023841858}],"awards":[{"id":"https://openalex.org/G4537218494","display_name":null,"funder_award_id":"021/2010, 020/2010","funder_id":"https://openalex.org/F4320321091","funder_display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"}],"funders":[{"id":"https://openalex.org/F4320321091","display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","ror":"https://ror.org/00x0ma614"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1497001898","https://openalex.org/W1511668635","https://openalex.org/W1602569358","https://openalex.org/W2044951665","https://openalex.org/W2067552538","https://openalex.org/W2156604660","https://openalex.org/W2911625174","https://openalex.org/W4241509948","https://openalex.org/W4292003697"],"related_works":["https://openalex.org/W2083496135","https://openalex.org/W3139770152","https://openalex.org/W2064213895","https://openalex.org/W2357485224","https://openalex.org/W3136060338","https://openalex.org/W2089243142","https://openalex.org/W1492751213","https://openalex.org/W2989862745","https://openalex.org/W3147180876","https://openalex.org/W2128360161"],"abstract_inverted_index":{"Web":[0,30,43],"Services":[1,31],"have":[2,26],"become":[3],"the":[4,10,16,23,82,89,97],"standard":[5,99],"for":[6],"exposing":[7],"services":[8],"on":[9,40],"Internet.":[11],"Since":[12],"many":[13],"operations":[14],"require":[15],"collaboration":[17],"between":[18],"two":[19],"or":[20],"more":[21],"services,":[22],"need":[24],"to":[25,28,59,63,76,92],"languages":[27],"express":[29],"compositions":[32],"has":[33],"emerged.":[34],"In":[35],"this":[36],"paper,":[37],"we":[38],"focus":[39],"PEWS,":[41],"a":[42],"Service":[44],"composition":[45],"language.":[46],"We":[47],"present":[48],"an":[49],"operational":[50],"semantics":[51],"of":[52,72,81],"PEWS":[53,73],"and":[54],"propose":[55],"some":[56],"minor":[57],"extensions":[58],"it":[60],"in":[61,88],"order":[62],"support":[64,78],"most":[65],"common":[66],"workflow":[67],"patterns.":[68],"The":[69],"extended":[70],"version":[71],"is":[74],"able":[75],"fully":[77,94],"36":[79],"out":[80],"43":[83],"control-flow":[84],"patterns":[85],"as":[86],"defined":[87],"literature,":[90],"compared":[91],"17":[93],"supported":[95],"by":[96],"industry":[98],"BPEL.":[100]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}