{"id":"https://openalex.org/W2077282978","doi":"https://doi.org/10.1109/colcom.2007.4553842","title":"Formal verification of composite service recovery mechanisms consistency","display_name":"Formal verification of composite service recovery mechanisms consistency","publication_year":2007,"publication_date":"2007-11-01","ids":{"openalex":"https://openalex.org/W2077282978","doi":"https://doi.org/10.1109/colcom.2007.4553842","mag":"2077282978"},"language":"en","primary_location":{"id":"doi:10.1109/colcom.2007.4553842","is_oa":false,"landing_page_url":"https://doi.org/10.1109/colcom.2007.4553842","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2007)","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/A5084851123","display_name":"Walid Gaaloul","orcid":"https://orcid.org/0000-0003-0451-532X"},"institutions":[{"id":"https://openalex.org/I188760350","display_name":"Ollscoil na Gaillimhe \u2013 University of Galway","ror":"https://ror.org/03bea9k73","country_code":"IE","type":"education","lineage":["https://openalex.org/I188760350"]}],"countries":["IE"],"is_corresponding":true,"raw_author_name":"Walid Gaaloul","raw_affiliation_strings":["DERI-NUIG, Galway, Ireland","DERI-NUIG, Galway"],"affiliations":[{"raw_affiliation_string":"DERI-NUIG, Galway, Ireland","institution_ids":["https://openalex.org/I188760350"]},{"raw_affiliation_string":"DERI-NUIG, Galway","institution_ids":["https://openalex.org/I188760350"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068050935","display_name":"Sami Bhiri","orcid":"https://orcid.org/0000-0003-0848-5586"},"institutions":[{"id":"https://openalex.org/I188760350","display_name":"Ollscoil na Gaillimhe \u2013 University of Galway","ror":"https://ror.org/03bea9k73","country_code":"IE","type":"education","lineage":["https://openalex.org/I188760350"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Sami Bhiri","raw_affiliation_strings":["DERI-NUIG, Galway, Ireland","DERI-NUIG, Galway"],"affiliations":[{"raw_affiliation_string":"DERI-NUIG, Galway, Ireland","institution_ids":["https://openalex.org/I188760350"]},{"raw_affiliation_string":"DERI-NUIG, Galway","institution_ids":["https://openalex.org/I188760350"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031880032","display_name":"Manfred Hauswirth","orcid":"https://orcid.org/0000-0002-1839-0372"},"institutions":[{"id":"https://openalex.org/I188760350","display_name":"Ollscoil na Gaillimhe \u2013 University of Galway","ror":"https://ror.org/03bea9k73","country_code":"IE","type":"education","lineage":["https://openalex.org/I188760350"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Manfred Hauswirth","raw_affiliation_strings":["DERI-NUIG, Galway, Ireland","DERI-NUIG, Galway"],"affiliations":[{"raw_affiliation_string":"DERI-NUIG, Galway, Ireland","institution_ids":["https://openalex.org/I188760350"]},{"raw_affiliation_string":"DERI-NUIG, Galway","institution_ids":["https://openalex.org/I188760350"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080193996","display_name":"Mohsen Rouached","orcid":"https://orcid.org/0009-0004-8635-5239"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mohsen Rouached","raw_affiliation_strings":["LORIA-INRIA-UMR, Vandoeuvre-les-Nancy, France","LORIA-INRIA-UMR 7503, BP 239, F-54506 Vandoeuvre-les-Nancy Cedex, France#TAB#"],"affiliations":[{"raw_affiliation_string":"LORIA-INRIA-UMR, Vandoeuvre-les-Nancy, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210121838"]},{"raw_affiliation_string":"LORIA-INRIA-UMR 7503, BP 239, F-54506 Vandoeuvre-les-Nancy Cedex, France#TAB#","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210121838"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111909200","display_name":"Claude Godart","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Claude Godart","raw_affiliation_strings":["LORIA-INRIA-UMR, Vandoeuvre-les-Nancy, France","LORIA-INRIA-UMR 7503, BP 239, F-54506 Vandoeuvre-les-Nancy Cedex, France#TAB#"],"affiliations":[{"raw_affiliation_string":"LORIA-INRIA-UMR, Vandoeuvre-les-Nancy, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210121838"]},{"raw_affiliation_string":"LORIA-INRIA-UMR 7503, BP 239, F-54506 Vandoeuvre-les-Nancy Cedex, France#TAB#","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210121838"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5084851123"],"corresponding_institution_ids":["https://openalex.org/I188760350"],"apc_list":null,"apc_paid":null,"fwci":0.831,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.84558366,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"278","last_page":"287"},"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.9998000264167786,"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.9998000264167786,"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.9994999766349792,"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.9890000224113464,"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.7417412400245667},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.6012227535247803},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5255208015441895},{"id":"https://openalex.org/keywords/transactional-leadership","display_name":"Transactional leadership","score":0.5008189678192139},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.48455801606178284},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.46400633454322815},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.4443577826023102},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4324612617492676},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.42091360688209534},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1285119652748108},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12245053052902222}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7417412400245667},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.6012227535247803},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5255208015441895},{"id":"https://openalex.org/C68489960","wikidata":"https://www.wikidata.org/wiki/Q2370659","display_name":"Transactional leadership","level":2,"score":0.5008189678192139},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.48455801606178284},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.46400633454322815},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.4443577826023102},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4324612617492676},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.42091360688209534},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1285119652748108},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12245053052902222},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/colcom.2007.4553842","is_oa":false,"landing_page_url":"https://doi.org/10.1109/colcom.2007.4553842","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2007)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320847","display_name":"Science Foundation Ireland","ror":"https://ror.org/0271asj38"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1492572915","https://openalex.org/W1787000688","https://openalex.org/W1855065956","https://openalex.org/W1962632332","https://openalex.org/W2002313146","https://openalex.org/W2012428319","https://openalex.org/W2020675906","https://openalex.org/W2030975823","https://openalex.org/W2038280282","https://openalex.org/W2057086674","https://openalex.org/W2108370953","https://openalex.org/W2115233259","https://openalex.org/W2123120888","https://openalex.org/W2128785019","https://openalex.org/W2141454780","https://openalex.org/W2148127833","https://openalex.org/W2161062963","https://openalex.org/W2182901812","https://openalex.org/W2189223420","https://openalex.org/W2997973540","https://openalex.org/W3137508268","https://openalex.org/W4233522539","https://openalex.org/W6629481622","https://openalex.org/W6640771989","https://openalex.org/W6679276251","https://openalex.org/W6908821591"],"related_works":["https://openalex.org/W3125753688","https://openalex.org/W2789457579","https://openalex.org/W2810650007","https://openalex.org/W2289556198","https://openalex.org/W2105004554","https://openalex.org/W4220931858","https://openalex.org/W1954804336","https://openalex.org/W2909182005","https://openalex.org/W3197877551","https://openalex.org/W4254835201"],"abstract_inverted_index":{"Due":[0],"to":[1,54],"the":[2,19,59],"inherent":[3],"autonomy":[4],"and":[5,48,78],"heterogeneity":[6],"of":[7,30,81,94],"Web":[8],"services,":[9],"ensuring":[10,37],"composite":[11,38,82,118],"services":[12,39,119],"reliability":[13],"remains":[14],"a":[15,24,28,67,85,92,105],"challenging":[16],"problem.":[17],"Extending":[18],"classical":[20],"control":[21,60,77,107],"flow":[22,26,80,99],"with":[23],"transactional":[25,79,98],"(encapsulating":[27],"set":[29,93],"recovery":[31,45],"mechanisms)":[32],"is":[33],"widely":[34],"accepted":[35],"for":[36,74,116],"reliability.":[40,120],"However,":[41],"current":[42],"approaches":[43,115],"define":[44],"mechanisms":[46],"in":[47],"ad-hoc":[49],"way":[50],"while":[51],"they":[52],"have":[53],"respect":[55],"consistency":[56],"rules":[57,95],"regarding":[58],"flow.":[61,108],"In":[62,109],"this":[63],"paper,":[64],"we":[65,90,111],"propose":[66,112],"formal":[68],"model":[69],"based":[70,87],"on":[71],"event":[72],"calculus":[73],"capturing":[75],"both":[76],"services.":[83],"Following":[84],"pattern":[86],"modelling":[88],"approach,":[89],"depict":[91],"characterising":[96],"consistent":[97],"that":[100],"can":[101],"be":[102],"defined":[103],"w.r.t":[104],"given":[106],"addition,":[110],"two":[113],"complementary":[114],"enhancing":[117]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-03-13T16:22:10.518609","created_date":"2025-10-10T00:00:00"}