v Prof.

Noureddine IDBOUFKER

v n_idboufker@yahoo.fr

v Version 2020-2021

v https://www.linkedin.com/in/idboufkernoureddine/
Bases Terminologiques
GRT-4

Prof. Noureddine Idboufker

n_idboufker@yahoo.fr

Version 2020-2021

https://www.linkedin.com/in/idboufkernoureddine/
 Plan

q Introduction
q Média
q Réseaux
q Public Vs Privé
q Session
q Service, Instance, Communication
q Services et Automates
q Contexte
q Mode Connecté
q Connexion

3
 Services et automates

q Les services sont des automates

q Deux sortes d’automates
1. Combinatoires
2. Séquentiels (state machine)

4
 Automates combinatoires

q La sortie S n’est fonction que de l’entrée E

E S
Automate
combinatoire
S=f(E)

5
 Automates séquentiels : state machine

q La sortie S est fonction de l’entrée E ainsi que de

l’histoire H déjà vécue par l’automate
q Les automates séquentiels ont forcément une mémoire
q Des histoires équivalentes sont résumées par un état

E S
Automate
séquentiel
S=f(E,H)

6
 Les machines à état finis

q L’infinité d’histoires possibles peut être résumée par

un nombre fini d’états.
q On parle alors de ‘machines à états finis’ : FSM

E S
FSM

S=f(E,Sn)

7
 Les FSM

q Approche formelle utile pour spécifier les systèmes réactifs

q Réagissent à des stimulus puis attendent d'autres stimulus.
q Exemples: applications avec systèmes de menus, systèmes temps-
réels.
q Les FSM se représentent sous la formes de graphes orientés
faits d'états et de transitions entre ces états.
q Une transition est constituée de 1 ou de plusieurs symboles,
appartenant à 1 ou 2 alphabets.
q Tout graphe a un état initial et un ou plusieurs états
finaux.
q Un état final permet de valider une séquence de symboles
lue depuis l'état initial (la séquence appartient au langage).

8
 La FSM

Une FSM comprend:

q Des états
q décrivent des situation dans lesquelles une entité se trouve.
q État initial - l'état de départ.
q Soit S l'ensemble des états, Initial l'état initial est tel que initial € S.
q Des transitions - changement d'état suite à des événements.
q Transition initiale va vers l'état initial.
q Les transitions sont déterminées par:
q L'ensemble des événements (I).
q L'ensemble des sorties/réactions (O).
q Une fonction de transition
q Fs: SxI à S.
q Un fonction de sortie
q Fo: SxIà O*.
q Une machine à états finis est définie formellement par la donnée de
(I,O,S, Fs, Fo, Initial).

9
 Les Finite State machine

q Entry action
q which is performed when
entering the state
q Exit action
q which is performed when
exiting the state
q Input action
q which is performed
depending on present state
and input conditions
q Transition action
q which is performed when
performing a certain
transition

10
 Les systemes StateX

q Dans les Systèmes d’information, nous

trouvons deux familles de processus :
q Stateless : automate combinatoire
q Statefull : automate séquentiel

11
 Contexte

q Une instance d’exécution d’une FSM est

caractérisée par une page mémoire
contenant l’identification de l’état courant
de l’automate et les données de l’instance
de service.
q Cette page mémoire est dite Contexte

12
 Mode connecté

q C’est un mode contextuel

q Trois phases
1. Négociation du contexte et création d’une page
mémoire entre entités homologues
2. Transfert de média conformément aux paramètres
contenus dans les pages mémoires de chaque coté
3. Libération des pages mémoires

13
 Connexion

q Lorsque les ressources sont allouées au

niveau d’une infrastructure, on parle de
connexion
q La ressource peut être
1. Réservée : allocation dédiée à un processus
2. Partagée : allocation d’une ressource de façon à
ce qu’elle soit partagée entre plusieurs processus

14