{"id":"https://openalex.org/W2084852269","doi":"https://doi.org/10.1109/wetice.2014.23","title":"A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems","display_name":"A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems","publication_year":2014,"publication_date":"2014-06-01","ids":{"openalex":"https://openalex.org/W2084852269","doi":"https://doi.org/10.1109/wetice.2014.23","mag":"2084852269"},"language":"en","primary_location":{"id":"doi:10.1109/wetice.2014.23","doi":"https://doi.org/10.1109/wetice.2014.23","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wetice.2014.23","pdf_url":null,"source":{"id":"https://openalex.org/S7407087244","display_name":"IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","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":"2014 IEEE 23rd International WETICE Conference","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-01097074v1/file/papier.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034308012","display_name":"Houda Khlif","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I193033237","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210152422","https://openalex.org/I4210159245","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]},{"id":"https://openalex.org/I39824353","display_name":"National Institute of Astrophysics, Optics and Electronics","ror":"https://ror.org/00bpmmc63","country_code":"MX","type":"facility","lineage":["https://openalex.org/I39824353"]},{"id":"https://openalex.org/I4405258862","display_name":"Universit\u00e9 de Toulouse","ror":"https://ror.org/01ahyrz84","country_code":"FR","type":"education","lineage":["https://openalex.org/I4405258862"]}],"countries":["FR","MX"],"is_corresponding":false,"raw_author_name":"Houda Khlif","raw_affiliation_strings":["Instituto Nacional de Astrof\u00edsica, Optica y Electr\u00f3nica (INAOE), Tonantzintla, Puebla, Mexico","LAAS, CNRS, Toulouse, France","LAAS, Univ de Toulouse, Toulouse, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto Nacional de Astrof\u00edsica, Optica y Electr\u00f3nica (INAOE), Tonantzintla, Puebla, Mexico","institution_ids":["https://openalex.org/I39824353"]},{"raw_affiliation_string":"LAAS, CNRS, Toulouse, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I190497903"]},{"raw_affiliation_string":"LAAS, Univ de Toulouse, Toulouse, France","institution_ids":["https://openalex.org/I190497903","https://openalex.org/I4405258862"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063228263","display_name":"Ahmed Hadj Kacem","orcid":"https://orcid.org/0000-0002-8895-0152","observed_orcids":["https://orcid.org/0000-0002-8895-0152","https://orcid.org/0000-0002-9908-4042"]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I193033237","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210152422","https://openalex.org/I4210159245","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]},{"id":"https://openalex.org/I4405258862","display_name":"Universit\u00e9 de Toulouse","ror":"https://ror.org/01ahyrz84","country_code":"FR","type":"education","lineage":["https://openalex.org/I4405258862"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Hatem Hadj Kacem","raw_affiliation_strings":["LAAS, CNRS, Toulouse, France","LAAS, Univ de Toulouse, Toulouse, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LAAS, CNRS, Toulouse, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I190497903"]},{"raw_affiliation_string":"LAAS, Univ de Toulouse, Toulouse, France","institution_ids":["https://openalex.org/I190497903","https://openalex.org/I4405258862"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022384680","display_name":"Sa\u00fal E. Pomares Hern\u00e1ndez","orcid":"https://orcid.org/0000-0002-0560-1687","observed_orcids":["https://orcid.org/0000-0002-0560-1687"]},"institutions":[{"id":"https://openalex.org/I39824353","display_name":"National Institute of Astrophysics, Optics and Electronics","ror":"https://ror.org/00bpmmc63","country_code":"MX","type":"facility","lineage":["https://openalex.org/I39824353"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Saul E. Pomares Hernandez","raw_affiliation_strings":["Instituto Nacional de Astrofisica Optica y Electronica, Puebla, Puebla, MX"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto Nacional de Astrofisica Optica y Electronica, Puebla, Puebla, MX","institution_ids":["https://openalex.org/I39824353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070235439","display_name":"C\u00e9dric Eichler","orcid":"https://orcid.org/0000-0003-3026-1749","observed_orcids":["https://orcid.org/0000-0003-3026-1749"]},"institutions":[{"id":"https://openalex.org/I142899784","display_name":"University of Sfax","ror":"https://ror.org/04d4sd432","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784"]},{"id":"https://openalex.org/I4405255911","display_name":"Faculty of Economics and Management of Sfax","ror":"https://ror.org/03jd7xe26","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784","https://openalex.org/I4405255911"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Cedric Eichler","raw_affiliation_strings":["FSEGS, University of Sfax, Sfax, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FSEGS, University of Sfax, Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784","https://openalex.org/I4405255911"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063228263","display_name":"Ahmed Hadj Kacem","orcid":"https://orcid.org/0000-0002-8895-0152","observed_orcids":["https://orcid.org/0000-0002-8895-0152","https://orcid.org/0000-0002-9908-4042"]},"institutions":[{"id":"https://openalex.org/I142899784","display_name":"University of Sfax","ror":"https://ror.org/04d4sd432","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784"]},{"id":"https://openalex.org/I4405255911","display_name":"Faculty of Economics and Management of Sfax","ror":"https://ror.org/03jd7xe26","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784","https://openalex.org/I4405255911"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Ahmed Hadj Kacem","raw_affiliation_strings":["FSEGS, University of Sfax, Sfax, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FSEGS, University of Sfax, Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784","https://openalex.org/I4405255911"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068162076","display_name":"Alberto Calixto Sim\u00f3n","orcid":"https://orcid.org/0000-0002-6488-2212","observed_orcids":["https://orcid.org/0000-0002-6488-2212"]},"institutions":[{"id":"https://openalex.org/I142899784","display_name":"University of Sfax","ror":"https://ror.org/04d4sd432","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784"]},{"id":"https://openalex.org/I4405255911","display_name":"Faculty of Economics and Management of Sfax","ror":"https://ror.org/03jd7xe26","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784","https://openalex.org/I4405255911"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Alberto Calixto Simon","raw_affiliation_strings":["FSEGS, University of Sfax, Sfax, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FSEGS, University of Sfax, Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784","https://openalex.org/I4405255911"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9189,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.73753446,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"80","last_page":"85"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.001500000013038516,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.0005000000237487257,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/autonomic-computing","display_name":"autonomic computing","score":0.6589999794960022},{"id":"https://openalex.org/keywords/graph-transformation","display_name":"graph transformation","score":0.8140000104904175},{"id":"https://openalex.org/keywords/transformation-rules","display_name":"transformation rules","score":0.8579999804496765},{"id":"https://openalex.org/keywords/vector-clocks","display_name":"vector clocks","score":0.8159999847412109},{"id":"https://openalex.org/keywords/causal-diagrams","display_name":"causal graphs","score":0.8209999799728394},{"id":"https://openalex.org/keywords/distributed-systems","display_name":"distributed systems","score":0.4959999918937683},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"fault tolerance","score":0.6169999837875366},{"id":"https://openalex.org/keywords/runtime-monitoring","display_name":"runtime monitoring","score":0.722000002861023}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8758702278137207},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8235466480255127},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.5994647741317749},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5663148164749146},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5655412673950195},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5112204551696777},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.4782199561595917},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.46084925532341003},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.45834681391716003},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4430696964263916},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1400006115436554},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10861921310424805},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/wetice.2014.23","doi":"https://doi.org/10.1109/wetice.2014.23","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wetice.2014.23","pdf_url":null,"source":{"id":"https://openalex.org/S7407087244","display_name":"IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)","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":"2014 IEEE 23rd International WETICE Conference","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01097074v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-01097074v1/file/papier.pdf","pdf_url":"https://hal.science/hal-01097074v1/file/papier.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2014)., Jun 2014, Parma, Italy. pp.80 - 85, ⟨10.1109/WETICE.2014.23⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01097074v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-01097074v1/file/papier.pdf","pdf_url":"https://hal.science/hal-01097074v1/file/papier.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2014)., Jun 2014, Parma, Italy. pp.80 - 85, ⟨10.1109/WETICE.2014.23⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W8360613","https://openalex.org/W60562443","https://openalex.org/W123142993","https://openalex.org/W1508113248","https://openalex.org/W1577544661","https://openalex.org/W1832476719","https://openalex.org/W1968054699","https://openalex.org/W1971149371","https://openalex.org/W2019484008","https://openalex.org/W2021387801","https://openalex.org/W2028024605","https://openalex.org/W2043097890","https://openalex.org/W2043133719","https://openalex.org/W2057973079","https://openalex.org/W2070704620","https://openalex.org/W2077391194","https://openalex.org/W2097983989","https://openalex.org/W2099873680","https://openalex.org/W2164507994","https://openalex.org/W3137220996","https://openalex.org/W6638613339"],"related_works":["https://openalex.org/W2345873090","https://openalex.org/W2789646833","https://openalex.org/W2043097890","https://openalex.org/W7099810815","https://openalex.org/W2268436145","https://openalex.org/W2125338472","https://openalex.org/W1995115813","https://openalex.org/W1815830542","https://openalex.org/W2400714382","https://openalex.org/W2529743551"],"abstract_inverted_index":{"Autonomic":[0],"Computing":[1],"Systems":[2],"are":[3,80],"oriented":[4,28,134,172],"to":[5,11,15,29,54,72,118,135,173,195],"prevent":[6],"the":[7,23,34,73,95,97,101,105,138,149,154,181,196],"human":[8],"intervention":[9],"and":[10,77,90,157,168],"enable":[12],"distributed":[13],"systems":[14],"manage":[16],"themselves.":[17],"One":[18],"of":[19,42,58,108],"their":[20,120],"challenges":[21],"is":[22,47,183],"efficient":[24],"monitoring":[25],"at":[26],"runtime":[27],"collect":[30],"information":[31],"from":[32,153,185],"which":[33,51],"system":[35],"can":[36],"automatically":[37,136],"repair":[38],"itself":[39],"in":[40,56,176],"case":[41],"failure.":[43],"Quasi-Synchronous":[44],"Check":[45],"pointing":[46,66,110,142],"a":[48,127,162,178],"well-known":[49],"technique,":[50,63],"allows":[52],"processes":[53],"recover":[55],"spite":[57],"failures.":[59],"Based":[60],"on":[61,131],"this":[62,123],"several":[64],"check":[65,109,141],"algorithms":[67],"have":[68,115],"been":[69,100,116],"developed.":[70],"According":[71],"checkpoint":[74],"properties":[75],"detected":[76],"ensured,":[78],"they":[79],"classified":[81],"into:":[82],"Strictly":[83],"Z-Path":[84,87],"Free":[85,88,92],"(SZPF),":[86],"(ZPF)":[89],"Z-Cycle":[91],"(ZCF).":[93],"In":[94,122],"literature,":[96],"simulation":[98],"has":[99],"method":[102],"adopted":[103],"for":[104],"performance":[106],"evaluation":[107],"algorithms.":[111],"However,":[112],"few":[113],"works":[114],"designed":[117],"validate":[119],"correctness.":[121],"paper,":[124],"we":[125,147,158,166],"propose":[126],"validation":[128],"approach":[129],"based":[130],"graph":[132],"transformation":[133,170],"detect":[137],"previous":[139],"mentioned":[140],"properties.":[143],"To":[144],"achieve":[145],"this,":[146],"take":[148],"vector":[150],"clocks":[151],"resulting":[152],"algorithm":[155,182],"execution,":[156],"model":[159],"it":[160],"into":[161],"causal":[163,179],"graph.":[164],"Then,":[165],"design":[167],"use":[169],"rules":[171],"verify":[174],"if":[175],"such":[177,189],"graph,":[180],"exempt":[184],"non":[186],"desirable":[187],"patterns,":[188],"as":[190],"Z-paths":[191],"or":[192],"Z-cycles,":[193],"according":[194],"case.":[197]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}