CHAPITRE 6
Q-LOTOS
53
6.1 Introduction
Les processus quantiques peuvent décrire des
systèmes concurrent qui utilisent eux même des information
quantiques, pour cette fin nous allons proposer une extension du langage LOTOS
dans sa version Basic, nommée Q-LOTOS pour(Quantum LOTOS).cette
extension est obtenue par l'élargissement de l'ensemble des informations
traitées vers des informations quantiques exprimées par des
qubits plutôt que par bits, et aussi par l'ajout d'un super
opérateur exprimant les opération quantiques sur l'ensemble
d'actions.
6.2 Basic LOTOS
LOTOS est une technique de description formelle
normalisée à l'ISO [FDT/C, 1987]. Une spécification LOTOS
est constituée de deux parties :
La partie données décrit les données
comme étant des types abstraits algébriques.
La partie contrôle dérivé des
algèbres de processus, principalement de CCS (Calculus of Communicating
Systems [Milner, 1989]), mais aussi de CSP (Communicating Sequential Processus
[Hoare, 1985]), et qui décrit le comportement de la
spécification.LOTOS est un langage asynchrone, avec synchronisation par
rendez-vous multiples. Les processus offrent des synchronisations à leur
environnement au travers de portes de communication (ou actions). Dans le cadre
de notre étude, le sous ensemble de LOTOS qui sera utilisé est
appelé Basic LOTOS.
Basic LOTOS est le sous-ensemble de LOTOS où les
processus interagissent entre eux par synchronisation pure, sans échange
de valeurs. En Basic LOTOS, les actions sont identiques aux portes de
synchronisation des processus.
|
6.2.1 Syntaxe de Basic LOTOS
|
:
|
Formellement Basic LOTOS se presente comme suit :
Soit P l'ensemble des variables de processus parcouru par X, Y,
... et soit G l'ensemble des noms
54
chapitre6 : Q-LOTOS
de portes définies par l'utilisateur (ensemble des
actions observables) parcouru par g, h, .... Une porte observable
particulière 8 E G est utilisée pour notifier la
terminaison avec succés des processus. L dénote tout
sous-ensemble de G, l'action interne est désignée par
r.
B parcouru par E, F, ... dénote l'ensemble
des expressions de comportement dont la syntaxe est : [Belala, 2005]
E :: = stop | exit | X[L] | g; E |
r;E
| E[]E | E |[L]| E hide L in E | E > >E | E
[>E .
Etant donné un processus dont le nom est P et
dont le comportement est E, la définition de
P est exprimée par P := E. L'ensemble
de toutes les actions est désigné par Act où :
Act = G U Ir, 8}.
- stop : Processus de base n'interagissant pas avec son
environnement. "Inaction".
- exit : Processus qui se termine (action 8) et se
transforme en stop. "Terminaison avec succés".
- g; E , r ; E : Processus
qui réalise l'action r ou g, puis se transforme en
P. "Préfixage par une action".
- E1[]E2 : Processus qui se transforme en
E1 ou en E2 suivant l'environnement. "Choix
non-déterministe".
- E1| [L] |E2 : E1 et
E2 s'exécutent en paralléle et se synchronisent sur les
portes gz E L et 8. "Composition
paralléle".
- hide L in E : Les actions L sont
cachées à l'environnement de E et deviennent des actions
internes. "Intériorisation".
- E1 > >E2 : E2 est
activé dés que E1 se termine. "Composition
séquentielle".
- E1 [>E2 : E2 peut interrompre
E1 tant que E1 ne s'est pas terminé.
"Préemption (interruption)".
55
chapitre6 : Q-LOTOS
| 
