Upload
intissar-dguechi
View
26
Download
0
Embed Size (px)
Citation preview
Ministère de L’Enseignement Supérieur, de la Recherche
Scientifique et de la Technologie
Institut Supérieur des Sciences Appliquées et de Technologie de
Mateur
SYSTÈME DE TRANSITIONS ÉTIQUETÉ
Réalisée par: Intissar DGUECHI
Encadré par :
Mr . Bchini Tarek
@mail: [email protected]
PLAN
INTRODUCTION
SYSTÈME DE TRANSITION
SYSTÈME DE TRANSITION ÉTIQUETÉ
COMPOSITION DE SYSTÈMES DE TRANSITIONS ÉTIQUETÉ
CONCLUSION &PERSPECTIVES
PROPRIÉTÉS DES SYSTÈMES DE TRANSITIONS ÉTIQUETÉS
2
Aperçu général
Complexité des protocoles de
communication :
systèmes distribués
ligne de transmission non fiable
Matériels hétérogènes
Nécéssité d’un formalisme de
description formelle
3
Aperçu
Formalisme de base:o Automates a état finio Réseau de pétrio Systèmes de transitions étiquetéso Algèbre de processuso Formalisme de haut niveau:o Lotos, Estelleo SDLo VHDL
4
Introduction
Le comportement de système est la dimension la plus
cruciale et la plus difficile à modéliser aujourd’hui car :
Les concepts à utiliser sont nombreux
Il n’existe pas de modèle théorique permettant de
représenter ces concepts pour tous les systèmes.
Ce qui conduit à représenter le système de façon précise et
non-ambigüe du comportement comme le système de transition
5
Définition d’un automate
Un automate est une machine ayant un état courant et d’autres états par
lesquels elle est déjà passée ou par lesquels elle passera éventuellement
dans le futur. Le changement d’état s’appelle transition. De manière
simplifiée, un système se trouve dans un état initial et change d’état en
fonction de l’arrivée des signaux événements qui lui parviennent de son
environnement .
Automate
Fini déterministe
(DFA )
Fini non déterministe
(NFA )
6
Un automate A est déterministe si pour toute configuration de A, il existe une seule mouvement possible.
Un automate est non déterministe s’il existe des configurations pour lesquelles plus d’un mouvement est possible.
7
Système de transitions
Un système de transitions est un automate , qui est surtout utilisé par
ceux qui s’intéressent à la modélisation de systèmes .
c’est un triplet telque S =( Q,T, q0) où :
Q est un ensemble d’états
T est un ensemble de transitions
q0 est un état initial
Exemple :
Q= IN , T = { ( x, x+1 ) } , q0 = 0 .
0 1 2 i
w x
y z
v
Q = {v ,w , x , z}
T= { (v , w) , (w , w) ,
(w , x) , (x , w), (x , z),
(z , y) ,(w , y) }
Q0 = v 8
Différences avec un automate :
Une transition n'est pas causée par
l'environnement
Pas d‘états terminaux
Nombre d‘états infini possible
Exécution infinie possible
9
Système de transitions étiqueté
Un système de transitions étiqueté est un quadruplet
S= ( Q , A , T , q0 )
Q = est un ensemble d’états
A = est un alphabet fini d’actions étiquetant les
transitions
T = est un ensemble de transitions reliant les états deux
à deux
w x
y z
v
b
a
bbc
a
a
• Q = { v , w , x , z , y }• A = { a, b , c }• T = { (v , a , w) , ( w, b , w )(w , a , x ) , (w , b , x ) , (x ,b , z ) , ( z , a , y ), (w , c , y ) }• q0 = v
10
Système de transitions étiqueté
Exemple :
L’automate modélise un compteur modulo 4 . Les états de
cet automate correspondent aux quatre valeurs du compteur
(0, 1, 2, 3). Les transitions traduisent les opérations inc
(incrémentation) et dec (décrémentation) du compteur.
0
23
1
inc
de
c
inc
Formellement, l’automate est décrit par :
S = {0, 1, 2, 3}
s0 = {0}
E = {inc, dec}
T = {(0, inc, 1), (1, inc, 2), (2, inc, 3), (3, inc, 0), (0,
dec, 3), (1, dec, 0), (2, dec, 1), (3, dec, 2)}
inc
inc
dec
dec
dec
11
Système de transitions étiqueté
Syntaxe pour les étiquettes :
Selon la classe d’automate considérée , la forme des étiquettes
change
Alors , La syntaxe des étiquettes est définie par :
<étiquette> ::= [ <garde> ‘:’ ] [ <Liste d’événements>[ ;
<condition sur horloge>] ‘/’ ] [ <liste d’actions> ]
[<x>] signifie que le champ <x> est peut être vide .
<garde> est une condition exprimée à l’aide de variables de
l’automate.
<Liste d’événements> contient le nom d’un événement
<liste d’actions> contient le littéral τ .
<condition sur horloge> est utilisable dans les automates
temporisés .
12
Système de transitions étiqueté
L’étiquette associée à une transition peut être
composée de trois types d’éléments :
Evénements : permettent le franchissement de
transition
Une garde : qui définit une condition , Le franchissement
de la transition ne peut se faire que si la condition est
vraie .
Des actions : effectuées par l’automate avant de
changer d’état.
Si l’étiquette associée à une transition est vide, cela
signifie que la transition se fait de manière aléatoire ou
de manière implicite connue par celui qui a fait la
modélisation. On peut avoir un automate où il n’y a que
les états interconnectés avec des transitions sans
étiquettes.
Si l’étiquette ne contient pas d’événement, cela
signifie que le franchissement est aléatoire et est lié
uniquement à la garde si elle existe. Pour des raisons de
déterminisme, il faut éviter d’utiliser des transitions sans
événements . 13
Séquences de transitions étiqueté
Soit S = { Q ,α , T , q0 }
Le franchissement d’une transition (q , a , q’ ) appartient à « T »Est noté :
aQ’Q
Le franchissement d’une séquence de transitions (qi, ai , qi +1 )appartient à « T » avec 1 ≤ i < 0 est noté :
q1 q2 qna1 a n+1
14
Composition de systèmes de transitions étiqueté
Soient S1= (Q1, A1 , T1 , q0 ) et S2= ( Q2 , A2 , T2 ,
q1 ) deux symboles de transition étiquetés .
Le comportement du système global peut être représenté
par un système de transitions étiqueté S= ( Q , A , T , q0 )
tel que :
Q ⊂ Q1 * Q2
A ⊂ A1 * A2
T ⊂ T1 * T2
q = ( q0 , q1 )
15
Les propriétés d’un système de transitions étiqueté
Un système de transitions étiqueté est fini si et seulement si :
Q et T sont des ensembles finis
Un système de transitions étiqueté est déterministe si et seulement si :
Si pour tout couple <état, étiquette>, le choix de la transition estunique.
Un système de transitions étiqueté est indéterministe si et seulement si :
S’il existe au moins un état qui a deux transitions étiquetées de la même .
16
Conclusion
Les systèmes de transitions jouent un rôle important dansla reconnaissance des langages formels, notamment aussi dans leur classification
17
Merci pour votre attention
18