Resum Els sistemes distributs gaudeixen hui en dia d'una importancia fonamental dins dels sistemes d'informacio, degut al seu potencial d'escalabilitat i tolerancia a fallades, que permiteixen la seua adequacio a les aplicacions actuals, cada vegada mes exigents. D'altra banda, el desenvolupament d'aplicacions distribudes presenta tambe di cultats espec ques, precisament per tal d'aconseguir l'escalabilitat, tolerancia a fallades i alta disponibilitat que constitueixen els seus principals avantatges. Per aixo es de gran utilitat comptar amb components distribudes disenyades espec cament per proporcionar, a un nivell mes baix, un conjunt de serveis ben de nits, per damunt dels quals les aplicacions de mes alt nivell puguen construir la seua propia semantica amb mes facilitat. Es el cas dels serveis orientats a grups, d'us molt comu per part de les aplicacions distribu des, a les quals permiteixen abstraure's dels detalls de les comunicacions. Aquests serveis ofereixen primitives basiques per a la comunicacio entre els membres del grup i, principalment, per a la transmissio de missatges a tot el grup, amb garanties particulars. Un cas particular es el constitut pels serveis de pertinenca a grups, en que aquesta tesi es centra. Els serveis de pertinenca a grups proporcionen als seus usuaris una imatge del conjunt de processos o maquines del sistema que romanen connectats i correctes simultaniament. Mes encara, els diversos participants reben aquesta informacio amb garanties de consistencia determinades. Aix els serveis de pertinenca constitueixen una component fonamental pel desenvolupament de sistemes de comunicacio a grups i d'altres aplicacions distribudes. El problema de pertinenca a grups ha estat profusament tractat en la literatura, tant des d'un punt de vista teoric com practic, i existeixen multitud d'implementacions de serveis de pertinenca utilitzables en la practica. Malgrat tot aixo, la de nicio del problema no es unica. Pel contrari, depenent del sistema particular pel qual es disenye el servei, s'exigeixen d'ell unes garanties o altres. Les especi cacions i implementacions originals estaven destinades a escenaris classics, als quals un nombre redut de nodes es connectaven mitjancant xarxes de comportament ben conegut amb fallades relativament escasses (tpicament xarxes d'area local). Tanmateix, amb el desenvolupament dels sistemes moderns, l'expansio d'Internet, la generalitzacio de les comunicacions sense ls, etc., altres tipus de sistemes distributs mes dinamics s'han convertit en 5 predominants. Per a ells els protocols classics no resulten ja convenients. Per aixo els ultims anys s'han desenvolupat serveis de pertinenca a grups expressament per diversos tipus d'entorns. En aquest treball ens hem centrat en l'especi cacio i realitzacio de serveis de pertinen ca a grups per una serie determinada de sistemes dinamics que presenten interes pel desenvolupament d'aplicacions altament disponibles. En particular, hem estudiat tres tipus d'escenari.  Sistemes amb topologia coneguda i tamany moderat, als quals les particions son relativament probables, com podria ser el cas d'un sistema format per diversos nodes o clusters localitzats, interconnectats per enllacos WAN d'alta velocitat. Per aquests sistemes hem de nit i implementat el servei de pertinenca a grups particionable HMS, el qual proporciona les garanties de consistencia mes estrictes d'un servei de pertinenca classic, a mes d'una propietat adicional. Aquesta propietat, anomenada Acord uniform majoritari, facilita la recuperacio de les aplicacions despres que una fallada o particio ha sigut reparada, gracies al manteniment de la historia majoritaria de forma uniforme dins del grup.  Arquitectures client{servidor a gran escala, a les quals un grup redut de servidors aten les peticions d'un ample conjunt de clients, la identitat i el nombre dels quals no son coneguts per endavant. Per aquest tipus d'escenari hem especi cat un Servei de Pertinenca per Clients, que proporciona a clients i servidors la informacio mes relevant respecte a l'altre grup, per tal de mantenir les conexions dels clients al grup de manera uni cada i simpli car la reaccio a fallades d'ambdos tipus de node. L'especi cacio s'ha realitzat en la practica amb la de nicio i implementacio completa del protocol HaloMS, tambe descrit en aquest treball.  Les xarxes mobils ad hoc o espontanies introdueixen nous reptes pel desenvolupament de serveis distributs. En particular, el consum d'energia i d'amplaria de banda esdevenen parametres rellevants a l'hora de disenyar protocols. Per a aquest tipus de sistema i d'altres amb similars requisits d'estalvi de recursos, hem especi cat un Servei de Pertinenca a Grups Sota Demanda, capac d'oferir garanties de consistencia estricta sols durant perodes nits de temps, decidits en funcio de les exigencies d'informacio de pertinenca per part de les aplicacions. Aixo permet evitar el consum innecessari de recursos energetics i de comunicacions que es derivaria de rondes d'acord i costoses recon guracions quan ningu no esta fent us de la informacio de pertinenca. Aix mateix presentem ac la realitzaci o d'eixe servei en el protocol MODUS, el qual implementa l'especi cacio Sota Demanda a partir d'un servei de pertinenca classic ja existent. Espec cament per l'escenari ad hoc, a mes, la falta d'una topologia prede nida suposa una di cultat afegida pel desenvolupament de serveis de pertinenca, i de qualsevol altre protocol distribut basat en acord. Aquesta manca de coneixement inicial pot suplir-se amb un servei d'estimacio de pertinenca que no pretenga proporcionar consistencia estricta. Hem analitzat una proposta de servei d'estimacio de tipus epidemic, que serveix com a base pel desenvolupament d'altres protocols mes restrictius, dels quals el de pertinenca a grups seria un exemple. La nostra analisi ha tingut en compte que aquest servei haura d'esser utilitzat conjuntament amb un servei basic d'encaminament. Basant-nos en la simulacio de protocols, hem estudiat dues possibles arquitectures que proporcionen ambdos serveis i hem comparat el seu rendiment en diversos escenaris, en termes de consum energetic i de qualitat de l'estimacio de pertinenca. Aquest treball describeix l'especi cacio de tots els serveis esmentats, i la implementaci o dels corresponents protocols. Tots ells han sigut completament implementats i estan disponibles per la seua descarrega a la web. Puix que l'objectiu del treball es oferir un suport utilitzable en la practica pel desenvolupament d'aplicacions distribu des als diferents escenaris descrits, totes les implementacions s'ajusten a una arquitectura modular mes general, caracteritzada per la independencia de cadascu dels seus serveis, els quals son implementats com a components autonomes. Tals components tenen tambe interfcies ben de nides que poden ser utilitzades indistintament per altres serveis del sistema o per les aplicacions d'alt nivell.