Université Lille1 - Sciences et Technologies Langages de synchronisation Synchronization languages 005.131 Traitement réparti Langages de programmation Langages formels Text Electronic Thesis or Dissertation fr Les expressions de synchronisation sont un outil de haut niveau permettant a un programmeur d'exprimer les contraintes de synchronisation d'une application repartie. L'implantation et la semantique de ces expressions reposent sur l'utilisation de langages formels, les langages de synchronisation (introduits par guo, salomaa et yu en 1994). En utilisant des operateurs particuliers (la mise en sequence, la mise en parallele, l'intersection de contraintes) sur des langages tres simples representant l'execution d'une action, on obtient un langage qui decrit tous les comportements d'une application conformes a une expression donnee. Il est naturel de se demander s'il existe une caracterisation decidable de la famille des langages de synchronisation et si, observant un ensemble d'executions, il est possible de reconstruire une expression decrivant de maniere synthetique le comportement observe. Guo et al. Ont propose de caracteriser les langages de synchronisation en termes de langages clos par un systeme de reecriture r. Nous donnons une reponse negative a cette conjecture et nous montrons qu'une caracterisation par un systeme de reecriture n'existe que dans les cas de langages finis ou definis sur des alphabets de deux actions. Nous nous interessons ensuite aux langages de synchronisation generalises introduits en 1997 par salomaa et yu. Nous definissons une famille de fonctions rationnelles qui etablit un lien entre langages de synchronisation et langages de synchronisation generalises. Ces fonctions nous permettent de ramener le probleme de la caracterisation de la famille des langages de synchronisation generalises au probleme de la fermeture de cette famille par projections (partielles). Pour cela, nous sommes amenes a relier les semi-commutations aux commutations partielles : le calcul de la cloture d'un langage par une semi-commutation peut etre ramene au calcul d'une cloture par une commutation partielle au moyen d'une transformation appropriee. application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1998/50376-1998-317.pdf Ryl Isabelle 1900-01-01 114181721 1998LIL10151 1998-01-01 Informatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui Clerbout Mireille 111696607 Roos Yves 121208915 ddc:000 ASCII PDF 9999