{"id":"https://openalex.org/W2400378892","doi":"https://doi.org/10.3217/jucs-018-17-2383","title":"Behavior Alignment and Control Flow Verification of Process and Service Choreographies","display_name":"Behavior Alignment and Control Flow Verification of Process and Service Choreographies","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W2400378892","doi":"https://doi.org/10.3217/jucs-018-17-2383","mag":"2400378892"},"language":"en","primary_location":{"id":"mag:2400378892","is_oa":true,"landing_page_url":"https://zenodo.org/record/5506119","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Zenodo (CERN European Organization for Nuclear Research)","raw_type":null},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/5506119","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5112218146","display_name":"Jorge Roa","orcid":null},"institutions":[{"id":"https://openalex.org/I128590013","display_name":"National Technological University","ror":"https://ror.org/04t730v47","country_code":"AR","type":"education","lineage":["https://openalex.org/I128590013"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Jorge Roa","raw_affiliation_strings":["Universidad Tecnol\u00f3gica Nacional, Santa Fe, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Tecnol\u00f3gica Nacional, Santa Fe, Argentina","institution_ids":["https://openalex.org/I128590013"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051276737","display_name":"Omar Chiotti","orcid":"https://orcid.org/0000-0003-2499-8998"},"institutions":[{"id":"https://openalex.org/I128590013","display_name":"National Technological University","ror":"https://ror.org/04t730v47","country_code":"AR","type":"education","lineage":["https://openalex.org/I128590013"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Omar Chiotti","raw_affiliation_strings":["Universidad Tecnol\u00f3gica Nacional, Santa Fe, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Tecnol\u00f3gica Nacional, Santa Fe, Argentina","institution_ids":["https://openalex.org/I128590013"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025805740","display_name":"Pablo Villarreal","orcid":"https://orcid.org/0000-0002-2254-0417"},"institutions":[{"id":"https://openalex.org/I4210087694","display_name":"Centro Cient\u00edfico Tecnol\u00f3gico - Santa Fe","ror":"https://ror.org/003vet424","country_code":"AR","type":"facility","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210087694","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Pablo Villarreal","raw_affiliation_strings":["INGAR-CONICET, Santa Fe, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INGAR-CONICET, Santa Fe, Argentina","institution_ids":["https://openalex.org/I4210087694"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.0013569,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9997000098228455,"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.9957000017166138,"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/process","display_name":"Process (computing)","score":0.5825137495994568},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5675097107887268},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5615634918212891},{"id":"https://openalex.org/keywords/process-management","display_name":"Process management","score":0.559583842754364},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.4631789028644562},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.42448094487190247},{"id":"https://openalex.org/keywords/flow","display_name":"Flow (mathematics)","score":0.423068106174469},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.42222777009010315},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17202195525169373},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.16607210040092468},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12136808037757874},{"id":"https://openalex.org/keywords/mechanics","display_name":"Mechanics","score":0.08397030830383301}],"concepts":[{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5825137495994568},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5675097107887268},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5615634918212891},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.559583842754364},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.4631789028644562},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42448094487190247},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.423068106174469},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.42222777009010315},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17202195525169373},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.16607210040092468},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12136808037757874},{"id":"https://openalex.org/C57879066","wikidata":"https://www.wikidata.org/wiki/Q41217","display_name":"Mechanics","level":1,"score":0.08397030830383301},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"mag:2400378892","is_oa":true,"landing_page_url":"https://zenodo.org/record/5506119","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Zenodo (CERN European Organization for Nuclear Research)","raw_type":null},{"id":"pmh:oai:ri.conicet.gov.ar:11336/70201","is_oa":true,"landing_page_url":"http://hdl.handle.net/11336/70201","pdf_url":null,"source":{"id":"https://openalex.org/S4306401400","display_name":"Conicet","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210104196","host_organization_name":"Centro Cient\u00edfico Tecnol\u00f3gico - Nordeste","host_organization_lineage":["https://openalex.org/I4210104196"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.3217/jucs-018-17-2383","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-018-17-2383","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"mag:2400378892","is_oa":true,"landing_page_url":"https://zenodo.org/record/5506119","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Zenodo (CERN European Organization for Nuclear Research)","raw_type":null},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W75679727","https://openalex.org/W134272950","https://openalex.org/W1455691235","https://openalex.org/W1500477099","https://openalex.org/W1530492661","https://openalex.org/W1542099626","https://openalex.org/W1568573127","https://openalex.org/W1569953369","https://openalex.org/W1597765845","https://openalex.org/W1778149536","https://openalex.org/W1858292275","https://openalex.org/W1872371932","https://openalex.org/W1976755695","https://openalex.org/W1981291974","https://openalex.org/W1982647638","https://openalex.org/W2018503456","https://openalex.org/W2041059319","https://openalex.org/W2091803577","https://openalex.org/W2105655408","https://openalex.org/W2116742708","https://openalex.org/W2138447175","https://openalex.org/W2145549849","https://openalex.org/W2145720628","https://openalex.org/W2161614569","https://openalex.org/W2741212783"],"related_works":["https://openalex.org/W1594322324","https://openalex.org/W1978518357","https://openalex.org/W3013776785","https://openalex.org/W2012842278","https://openalex.org/W2553814998","https://openalex.org/W2390438373","https://openalex.org/W4281737987","https://openalex.org/W2094505511","https://openalex.org/W1827987321","https://openalex.org/W2338700700"],"abstract_inverted_index":{"The":[0,17],"representation":[1,115],"of":[2,19,29,32,47,83,97,108,126,141],"process":[3,22,54,71,109],"and":[4,23,26,72,75,110,139,143,151],"service":[5,24,49,73,111],"choreographies":[6,25,33],"has":[7],"been":[8],"recognized":[9],"as":[10],"an":[11,35],"important":[12,36],"requirement":[13],"in":[14],"service-oriented":[15],"methodologies.":[16],"guarantee":[18],"alignment":[20,69],"between":[21,70],"the":[27,30,44,80,98,106,123,135,145,149],"veri\ufb01cation":[28,77,140],"behavior":[31,68,107],"represent":[34],"improvement":[37],"for":[38,79,134],"such":[39],"methodologies,":[40],"since":[41],"they":[42],"enable":[43],"automatic":[45,137],"generation":[46,138],"choreography":[48,53,91,153],"speci\ufb01cations":[50],"from":[51],"well-de\ufb01ned":[52],"models.":[55],"To":[56],"deal":[57],"with":[58],"these":[59],"issues,":[60],"we":[61,130],"propose":[62],"a":[63,76,132],"transformation":[64],"pattern":[65],"that":[66],"guarantees":[67],"choreographies,":[74,84],"method":[78],"control":[81],"\ufb02ow":[82],"which":[85],"can":[86,116],"be":[87,118],"applied":[88],"to":[89,104,120,148],"any":[90],"language.":[92],"These":[93],"approaches":[94,147],"make":[95],"use":[96],"Global":[99],"Interaction":[100],"Nets":[101],"(GI-Nets)":[102],"language":[103],"formalize":[105],"choreographies.":[112,127],"This":[113],"formal":[114],"then":[117],"used":[119],"conclude":[121],"on":[122],"behavioral":[124],"aspects":[125],"In":[128],"addition,":[129],"present":[131],"tool":[133],"modeling,":[136],"GI-Nets,":[142],"apply":[144],"proposed":[146],"UP-ColBPIP":[150],"WS-CDL":[152],"languages.":[154]},"counts_by_year":[{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}