NOUS PROPOSONS DANS CETTE THESE UNE METHODOLOGIE PERMETTANT DE CONSTRUIRE UNE SPECIFICATION DE CONVERTISSEUR A PARTIR DES SPECIFICATIONS DE PROTOCOLES EN LOTOS (LANGUAGE OF TEMPORAL ORDERING SPECIFICATION). SI LES PROTOCOLES A CONVERTIR NE COMPORTENT PAS D'ERREURS TELLES QUE LE BLOCAGE, LE CONVERTISSEUR CONSTRUIT PAR CETTE METHODE PEUT FOURNIR LES SERVICES DEMANDES AUX UTILISATEURS SANS CONTRIBUER A AUCUNE ANOMALIE. NOTRE METHODE EST BASEE SUR LE CONCEPT D'UN SYSTEME DE CONVERSION DEFINI COMME UN ENSEMBLE CONTENANT: LES ENTITES DES PROTOCOLES, LES COUCHES SOUS-JACENTES ET UN CONVERTISSEUR. EN MODELISANT DES PROTOCOLES PAR DES PROCESSUS COMMUNICANTS, NOUS POUVONS SPECIFIER CES PROTOCOLES EN TERMES DE PRIMITIVES DE SERVICE ET DE PDU (UNITE DE DONNEES DE PROTOCOLE). A PARTIR DE LA SPECIFICATION D'UN PROTOCOLE ET LA SPECIFICATION DE SERVICE DU SYSTEME DE CONVERSION, NOUS CONSTRUISONS UN PROCESSUS QUE NOUS AVONS BAPTISE MUET QUI REPRESENTE LES CONTRAINTES SUR L'ORDRE TEMPOREL DES PDU ECHANGEES ENTRE LE CONVERTISSEUR ET UNE ENTITE DE CE PROTOCOLE. DEUX PROCESSUS MUETS PEUVENT ETRE COMBINES A L'AIDE DES CONTRAINTES DE BOUT EN BOUT DU CONVERTISSEUR. LA GENERATION DE CES CONTRAINTES SE FONDE SUR LE CONCEPT DE LA RELATION CAUSALE ENTRE DES ACTIVITES FIGUREES DANS LA SPECIFICATION D'UN PROTOCOLE. LE RESULTAT DE LA COMBINAISON EST UNE SPECIFICATION DU CONVERTISSEUR CHERCHE.

NOUS PROPOSONS DANS CETTE THESE UNE METHODOLOGIE PERMETTANT DE CONSTRUIRE UNE SPECIFICATION DE CONVERTISSEUR A PARTIR DES SPECIFICATIONS DE PROTOCOLES EN LOTOS (LANGUAGE OF TEMPORAL ORDERING SPECIFICATION). SI LES PROTOCOLES A CONVERTIR NE COMPORTENT PAS D'ERREURS TELLES QUE LE BLOCAGE, LE CONVERTISSEUR CONSTRUIT PAR CETTE METHODE PEUT FOURNIR LES SERVICES DEMANDES AUX UTILISATEURS SANS CONTRIBUER A AUCUNE ANOMALIE. NOTRE METHODE EST BASEE SUR LE CONCEPT D'UN SYSTEME DE CONVERSION DEFINI COMME UN ENSEMBLE CONTENANT: LES ENTITES DES PROTOCOLES, LES COUCHES SOUS-JACENTES ET UN CONVERTISSEUR. EN MODELISANT DES PROTOCOLES PAR DES PROCESSUS COMMUNICANTS, NOUS POUVONS SPECIFIER CES PROTOCOLES EN TERMES DE PRIMITIVES DE SERVICE ET DE PDU (UNITE DE DONNEES DE PROTOCOLE). A PARTIR DE LA SPECIFICATION D'UN PROTOCOLE ET LA SPECIFICATION DE SERVICE DU SYSTEME DE CONVERSION, NOUS CONSTRUISONS UN PROCESSUS QUE NOUS AVONS BAPTISE MUET QUI REPRESENTE LES CONTRAINTES SUR L'ORDRE TEMPOREL DES PDU ECHANGEES ENTRE LE CONVERTISSEUR ET UNE ENTITE DE CE PROTOCOLE. DEUX PROCESSUS MUETS PEUVENT ETRE COMBINES A L'AIDE DES CONTRAINTES DE BOUT EN BOUT DU CONVERTISSEUR. LA GENERATION DE CES CONTRAINTES SE FONDE SUR LE CONCEPT DE LA RELATION CAUSALE ENTRE DES ACTIVITES FIGUREES DANS LA SPECIFICATION D'UN PROTOCOLE. LE RESULTAT DE LA COMBINAISON EST UNE SPECIFICATION DU CONVERTISSEUR CHERCHE.

La réalisation de la connexité et l'intégration des applications multimédia constituent deux des enjeux majeurs du futur internet. Pour réaliser la connexité, l'analyse des techniques d'interconnexion démontre la supériorité de l'approche par encapsulation sur l'approche par conversion. Pour intégrer les applications multimédia, l'emploi de systèmes d'allocation de ressources avec adaptation et avec réservation est nécessaire. l'analyse déterministe du système adaptatif tcp montre, d'une part les limites de cette adaptation et d'autre part que son multiplexage avec d'autres systèmes (non adaptatif ou avec réservation) nécessite un cloisonnement des ressources allouées si l'on veut une bonne utilisation de ces ressources