Séance de cours

Protocoles : Description officielle et types de séances

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Description

Cette séance de cours introduit le concept de protocoles comme essentiel pour une communication réussie, illustré par un scénario d'achat de livres. Elle se décline en descriptions formelles en utilisant des types de session, illustrant les interactions entre acheteurs et vendeurs. La séance de cours traite également de l'importance des types de messages dans la communication par canal et des limites des langages de programmation traditionnels dans l'expression de la logique linéaire.

Source officielle

Concepts associés (23)

Méthode formelle (informatique)

En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).

Protocole de communication

Dans les réseaux informatiques et les télécommunications, un protocole de communication est une spécification de plusieurs règles pour un type de communication particulier. Initialement, on nommait protocole ce qui est utilisé pour communiquer sur une même couche d'abstraction entre deux machines différentes. Par extension de langage, on utilise parfois ce mot aussi aujourd'hui pour désigner les règles de communication entre deux couches sur une même machine.

Langage formel

Un langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.

Tunnel (réseau informatique)

Un tunnel, dans le contexte des réseaux informatiques, est une encapsulation de données d'un protocole réseau dans un autre, situé dans la même couche du modèle en couches, ou dans une couche de niveau supérieur. D'abord, le paquet est enveloppé dans un en-tête supplémentaire (additional header), c'est ce qu'on appelle l'encapsulation. Cet en-tête supplémentaire contient les informations de routage nécessaires pour envoyer le paquet encapsulé à travers l'inter-réseau intermédiaire.

Logique temporelle linéaire

En logique, la logique temporelle linéaire (LTL) est une logique temporelle modale avec des modalités se référant au temps. En LTL, on peut coder des formules sur l'avenir d'un chemin infini dans un système de transitions, par exemple une condition finira par être vraie, une condition sera vraie jusqu'à ce qu'une autre devienne vraie, etc. Cette logique est plus faible que la logique CTL*, qui permet d'exprimer des conditions sur des ramifications de chemins et pas seulement sur un seul chemin.

Afficher plus

Séances de cours associées (35)

Méthodes informatiques: chemins et cordes

Couvre les méthodes de calcul se concentrant sur les chemins et les chaînes de caractères, y compris des exemples de concaténation, d'éléments régex et d'opérations de chaînes de caractères.

Problème d'appariement booléen caché

Couvre le problème de correspondance cachée booléenne et ses applications aux limites inférieures.

Canal sans fil : effets multi-voies et modulation

Explore l'impact des effets multi-voies, des techniques de modulation et des caractéristiques des canaux sur la communication sans fil.

Protocoles de stockage et de transmission des données

Explore la structure des données, le stockage, les protocoles de réseau, les règles de communication et l'encapsulation des messages dans les systèmes de transmission.

Signaux numériques : définitions et systèmes

Couvre les concepts de communication de base, le taux de symbole, le débit binaire, la capacité du canal, le théorème de codage du canal de Shannon et l'évaluation des performances du système.

Afficher plus

Concepts associés (23)

Méthode formelle (informatique)

Protocole de communication

Langage formel

Tunnel (réseau informatique)

Logique temporelle linéaire

Afficher plus