Les questions de spec pour le PT

Questions

1)
Il existe des langages de programmation
sans variables.
1.1) citez-en un ou le nom d'un type de
 langage entrant dans cette
catégorie)
1.2) quels en sont les concepts essentiels ?

2)
Il existe des langages de spécification
 sans variables.
21) B est-il sans variables ?
Il existe des langages de spécification
 qui  sont fondamentalement sans
variables, même s'ils sont parfois mixtes
 (i.e. utilisent des variables).
2.2) Citez celui que vous avez utilisé à l'IUT
2.3) Qu'est-ce qu'un état défini en termes
 des concepts de ce langage.
Donnez un exemple illustratif.


3) Prenez l'exemple de la lampe que l'on
 allume en tirant une ficelle et
que l'on éteint en retirant la ficelle
 pour illustrer les concepts :
3.1) d'événement
3.2) d'état
3.3) de contrainte sur un état
3.4) utilisez cet exemple que vous
 spécifierez en B classique et en B
événementiel (Invariant et une opération
 principale) et en FSP pour
illustrer vos réponses à la question 2.


4) Soit le texte suivant :
(Il s'agit du percement du tunnel
 sous le Mont-Blanc) " [...] C'est
pourquoi, à cette époque, on avait
 envisagé que sur les 12 600 mètres de
longueur totale du tunnel, les
 Italiens perceraient 6 750 mètres de
galerie et les Français 5 850 mètres,
 afin que la rencontre s'effectue au
même moment." (Article paru dans
 L'Economie, n° 826, 14 juin 1962).

4.1) Votre remarque pertinente sur
 ce texte
4.2) Utilisez ce texte pour illustrer
 le type de communication qui est
utilisé
en FSP (LTSA) et en CCS.
4.3) Quel est le nom donné à ce
 type de communication ?
4.4) Donnez un exemple d'un système
 ayant un verrou fatal (spécifiez en FSP)


Le corrigé et les commentaires sur
 les copies seront publiés sur ce
 bloc-notes sous peu.