{"id":"https://openalex.org/W1914524511","doi":"https://doi.org/10.5075/epfl-thesis-3633","title":"Protocol composition frameworks and modular group communication : models, algorithms and architectures","display_name":"Protocol composition frameworks and modular group communication : models, algorithms and architectures","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W1914524511","doi":"https://doi.org/10.5075/epfl-thesis-3633","mag":"1914524511"},"language":"en","primary_location":{"id":"pmh:oai:infoscience.tind.io:89169","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/233605","pdf_url":"https://infoscience.epfl.ch/record/89169/files/EPFL_TH3633.pdf","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"doctoral thesis"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://infoscience.epfl.ch/record/89169/files/EPFL_TH3633.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088664436","display_name":"Sergio Mena de la Cruz","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Mena de la Cruz, Sergio","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5088664436"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"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":1.0,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.996399998664856,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9886000156402588,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7130140066146851},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.6697133779525757},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.6096437573432922},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5716829895973206},{"id":"https://openalex.org/keywords/crash","display_name":"Crash","score":0.5233004689216614},{"id":"https://openalex.org/keywords/communication-in-small-groups","display_name":"Communication in small groups","score":0.47321051359176636},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.4609222412109375},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.45478594303131104},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.44517406821250916},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4418463408946991},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.42095452547073364},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4154059588909149},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.20037046074867249},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09078821539878845}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7130140066146851},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.6697133779525757},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.6096437573432922},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5716829895973206},{"id":"https://openalex.org/C183469790","wikidata":"https://www.wikidata.org/wiki/Q333501","display_name":"Crash","level":2,"score":0.5233004689216614},{"id":"https://openalex.org/C44871818","wikidata":"https://www.wikidata.org/wiki/Q5154139","display_name":"Communication in small groups","level":2,"score":0.47321051359176636},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4609222412109375},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.45478594303131104},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.44517406821250916},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4418463408946991},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.42095452547073364},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4154059588909149},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.20037046074867249},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09078821539878845},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:infoscience.tind.io:89169","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/233605","pdf_url":"https://infoscience.epfl.ch/record/89169/files/EPFL_TH3633.pdf","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"doctoral thesis"},{"id":"pmh:oai:infoscience.epfl.ch:89169","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/89169","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"doi:10.5075/epfl-thesis-3633","is_oa":true,"landing_page_url":"https://doi.org/10.5075/epfl-thesis-3633","pdf_url":null,"source":{"id":"https://openalex.org/S4306400488","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Dissertation"},{"id":"mag:1914524511","is_oa":false,"landing_page_url":"https://infoscience.epfl.ch/record/89169","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:infoscience.tind.io:89169","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/233605","pdf_url":"https://infoscience.epfl.ch/record/89169/files/EPFL_TH3633.pdf","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"doctoral thesis"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5400000214576721}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W1914524511.pdf"},"referenced_works_count":5,"referenced_works":["https://openalex.org/W637713836","https://openalex.org/W1492015538","https://openalex.org/W2123554030","https://openalex.org/W2146991312","https://openalex.org/W2157913407"],"related_works":["https://openalex.org/W301701231","https://openalex.org/W1738974586","https://openalex.org/W2156970619","https://openalex.org/W2049038689","https://openalex.org/W1932816805","https://openalex.org/W203397287","https://openalex.org/W2067310027","https://openalex.org/W1986614024","https://openalex.org/W2167645113","https://openalex.org/W187781385","https://openalex.org/W2150002876","https://openalex.org/W2565634302","https://openalex.org/W2060462772","https://openalex.org/W2752522467","https://openalex.org/W1599611489","https://openalex.org/W2186643854","https://openalex.org/W2021534030","https://openalex.org/W1558154649","https://openalex.org/W2118218683","https://openalex.org/W2891573141"],"abstract_inverted_index":{"It":[0,717],"is":[1,6,49,79,95,138,143,156,172,304,320,328,340,400,431,448,524,563,578,585,607,715,718,732,809,823],"noticeable":[2],"that":[3,60,74,151,160,199,267,283,381,576,635,681,762,781,831],"our":[4,116,458,499,800],"society":[5],"increasingly":[7],"relying":[8],"on":[9,36,46,114,250,309,383,439,495,501,861],"computer":[10,13],"systems.":[11],"Nowadays,":[12],"networks":[14],"can":[15,195,268,417,425,738,832],"be":[16,122,269,599,739],"found":[17],"at":[18,336,650],"places":[19],"where":[20,735,743],"it":[21,303],"would":[22],"have":[23,235],"been":[24,236],"unthinkable":[25],"a":[26,81,91,139,180,261,298,310,329,350,553,566,709,733,778,824],"few":[27],"decades":[28],"ago,":[29],"supporting":[30],"in":[31,58,66,408,433,580,587,789,829,852],"some":[32],"cases":[33],"critical":[34],"applications":[35],"which":[37,496,561],"human":[38],"lives":[39],"may":[40,666],"depend.":[41],"Although":[42],"this":[43,319,398,606],"growing":[44,65],"reliance":[45],"networked":[47],"systems":[48,62,88,130],"generally":[50],"perceived":[51],"as":[52,352,421,423,476,662,664],"technological":[53],"progress,":[54],"one":[55,159,177,188,665],"should":[56,598],"bear":[57],"mind":[59],"such":[61,71,136,230],"are":[63,258,287,294,631,659,773],"constantly":[64],"size":[67],"and":[68,94,222,248,289,316,338,375,387,413,492,529,545,596,622,675,703,723,741,804,816,849],"complexity,":[69],"to":[70,124,131,164,216,228,271,278,307,348,401,442,450,490,592,626,639,726,753,757,783,863,871],"an":[72,98,677],"extent":[73],"assuring":[75],"their":[76,376,654,806],"correct":[77],"operation":[78],"sometimes":[80],"challenging":[82],"task.":[83],"Hence,":[84],"dependability":[85],"of":[86,101,146,175,179,185,189,260,263,314,323,332,361,370,397,405,469,483,617,653,673,686,698,765,799,813,819,875],"distributed":[87,117,129],"has":[89],"become":[90],"crucial":[92],"issue,":[93],"responsible":[96],"for":[97,297,840,846],"important":[99,769],"body":[100],"research":[102,382,500],"over":[103,197],"the":[104,144,157,162,190,193,200,205,209,239,243,272,321,343,354,368,403,406,467,470,477,481,510,517,527,532,535,539,570,602,610,614,632,651,671,688,704,755,785,810,814,817,844,853,873],"last":[105],"years.":[106],"No":[107],"matter":[108],"how":[109,285,415],"much":[110],"effort":[111],"we":[112,120,182,379,486,497,558,787,793,856],"put":[113],"ensuring":[115],"system's":[118],"correctness,":[119],"will":[121],"unable":[123],"prevent":[125,135,204],"crashes.":[126,167],"Therefore,":[127],"designing":[128],"tolerate":[132],"rather":[133],"than":[134,728],"crashes":[137],"reasonable":[140],"approach.":[141],"This":[142,751],"purpose":[145],"fault-tolerance.":[147,866],"Among":[148],"all":[149,218],"techniques":[150],"provide":[152,226],"fault":[153,859],"tolerance,":[154],"replication":[155,171],"only":[158],"allows":[161],"system":[163,206],"mask":[165],"process":[166],"The":[168,394,429,867],"intuition":[169],"behind":[170],"simple:":[173],"instead":[174,685],"having":[176],"instance":[178],"service,":[181],"run":[183],"several":[184],"them.":[186],"If":[187],"replicas":[191,220],"crashes,":[192],"rest":[194],"take":[196],"so":[198],"crash":[201],"does":[202],"not":[203,608,661,774],"from":[207,419,427],"delivering":[208],"expected":[210],"service.":[211],"A":[212],"replicated":[213],"service":[214],"needs":[215],"keep":[217],"its":[219,365,865],"consistent,":[221],"group":[223,255,372,385,452,460,700,712,770,825],"communication":[224,233,256,373,386,461,701,713,771,826],"protocols":[225,276,416],"abstractions":[227],"preserve":[229],"consistency.":[231],"Group":[232],"toolkits":[234,257,374,702],"present":[237],"since":[238],"late":[240],"80s.":[241],"At":[242,480],"beginning,":[244],"they":[245,251,706,744,749],"were":[246,745,869],"monolithic":[247],"later":[249],"became":[252],"modular.":[253],"Modular":[254],"composed":[259,288],"set":[262,279,313],"off-the-shelf":[264],"protocol":[265,300,324,333,388,443,502,549,603,619,636,645],"modules":[266,286,637],"tailored":[270],"application's":[273],"needs.":[274],"Composing":[275],"requires":[277,752],"up":[280,795],"basic":[281,633],"rules":[282,293,315],"define":[284],"interact.":[290],"Sometimes,":[291],"these":[292,409],"devised":[295],"exclusively":[296],"particular":[299],"suite,":[301],"but":[302],"more":[305,721,724],"sensible":[306],"agree":[308],"carefully":[311],"chosen":[312],"reuse":[317],"them:":[318],"essence":[322],"composition":[325,334,389,444,507,511,550,620,646],"frameworks.":[326,445,503],"There":[327],"great":[330],"diversity":[331],"frameworks":[335,390,424,494,551,621,647,835],"present,":[337],"none":[339],"commonly":[341],"considered":[342],"best.":[344],"Furthermore,":[345],"any":[346],"attempt":[347],"defend":[349],"framework":[351,536,562],"being":[353],"best":[355],"finds":[356],"strong":[357],"opposition":[358],"with":[359,531,538,552,641,796],"plenty":[360],"arguments":[362],"pointing":[363],"out":[364,670],"drawbacks.":[366],"Given":[367],"complexity":[369],"current":[371,763],"configurability":[377],"requirements,":[378],"believe":[380],"modular":[384,451,459,711],"must":[391],"go":[392],"hand-in-hand.":[393],"main":[395,811],"goal":[396],"thesis":[399,430],"advance":[402],"state":[404,756],"art":[407],"two":[410,471,547,797],"fields":[411],"jointly":[412],"demonstrate":[414],"benefit":[418,426],"frameworks,":[420],"well":[422],"protocols.":[428],"structured":[432],"three":[434],"parts.":[435],"Part":[436,446,455,464,484,691,820],"I":[437],"focuses":[438],"issues":[440],"related":[441],"II":[447,692],"devoted":[449],"communication.":[453],"Finally,":[454,855],"III":[456,465],"presents":[457],"prototype:":[462],"Fortika.":[463,876],"combines":[466],"results":[468,868],"previous":[472],"parts,":[473],"thereby":[474],"acting":[475],"convergence":[478],"point.":[479],"beginning":[482],"I,":[485],"propose":[487,623,676,777],"four":[488,571],"perspectives":[489,505,572],"describe":[491],"compare":[493,543,805],"base":[498],"These":[504],"are:":[506],"model":[508,515,521,616,734],"(how":[509,516,522,534],"looks":[512],"like),":[513],"interaction":[514,530,655,679],"components":[518],"interact),":[519],"concurrency":[520,523,615,628],"managed":[525],"within":[526],"framework),":[528],"environment":[533],"communicates":[537],"outside":[540],"world).":[541],"We":[542,612,668,760,776],"Appia":[544,577,839],"Cactus,":[546],"relevant":[548],"very":[554],"different":[555],"design.":[556],"Overall,":[557],"cannot":[559],"tell":[560],"better.":[564],"However,":[565,657],"thorough":[567],"comparison":[568],"using":[569],"mentioned":[573],"above":[574],"showed":[575],"better":[579,586],"certain":[581],"aspects,":[582],"while":[583],"Cactus":[584,837],"other":[588],"aspects.":[589],"Concurrency":[590],"control":[591],"avoid":[593],"race":[594],"conditions":[595],"deadlocks":[597],"ensured":[600],"by":[601,694],"framework.":[604],"However":[605],"always":[609],"case.":[611],"survey":[613],"eight":[618],"new":[624,710],"features":[625,697],"improve":[627,872],"management.":[629],"Events":[630],"mechanism":[634],"use":[638,833],"communicate":[640],"each":[642],"other.":[643],"Most":[644],"include":[648],"events":[649,658,674],"core":[652],"model.":[656,690],"seemingly":[660],"good":[663],"expect.":[667],"point":[669],"drawbacks":[672],"alternative":[678],"scheme":[680],"uses":[682],"message":[683],"headers":[684],"events:":[687],"header-driven":[689],"starts":[693],"discussing":[695],"common":[696],"traditional":[699,729],"problems":[705,786],"entail.":[707],"Then,":[708],"architecture":[714],"presented.":[716],"less":[719],"complex,":[720],"powerful,":[722],"responsive":[725],"failures":[727],"architectures.":[730],"Crash-recovery":[731],"crashed":[736],"processes":[737],"restarted":[740],"continue":[742],"executing":[746],"just":[747],"before":[748],"crashed.":[750],"log":[754],"disk":[758],"periodically.":[759],"argue":[761],"specifications":[764],"atomic":[766,801],"broadcast":[767,802],"(an":[768],"primitive)":[772],"satisfactory.":[775],"novel":[779],"specification":[780,803],"intends":[782],"overcome":[784],"spotted":[788],"existing":[790],"specifications.":[791],"Additionally,":[792],"come":[794],"implementations":[798],"performance.":[807],"Fortika":[808,822,842,862],"prototype":[812],"thesis,":[815],"subject":[818],"III.":[821],"toolkit":[827],"written":[828],"Java":[830],"third-party":[834],"like":[836],"or":[838],"composition.":[841],"was":[843],"testbed":[845],"architectures,":[847],"models":[848],"algorithms":[850],"proposed":[851],"thesis.":[854],"performed":[857],"software-based":[858],"injection":[860],"assess":[864],"valuable":[870],"design":[874]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}