lundi 19 novembre 2007

Le travail à faire chez soi et à fournir en entrant dans le 4ième cours

Université de Nantes
IUT de Nantes

Département informatique
SPEC1
H. Habrias
NOM : PRENOM : Groupe :
__________________________________________________________________________________________
Considérez l’extrait suivant d’une machine abstraite B

SETS

PERSONNE ; SUJET


VARIABLES

professeurs, sujets, enseigne


INVARIANT

professeurs : POW (PERSONNE) &
sujets : POW (SUJET) &
enseigne : PERSONNE +-> POW (SUJET)


Nous allons énoncer des contraintes supplémentaires.
Et fournir plusieurs spécifications, certaines étant mal typées.

Si une phrase à spécifier vous apparaît comme ambiguë, explicitez l’ambiguïté, fournissez une nouvelle rédaction et la spécification associée.

Question 1

« Les personnes qui enseignent sont des professeurs »

Sera exprimé au mieux par :

1.1. dom (enseigne) < : professeurs
1.2. professeurs < : dom (enseigne)
1.3. ran (enseigne) < : professeurs
1.4. dom(enseigne) = professeurs
1.5. aucun des prédicats ci-dessus

Ambiguïté




Mauvais typage

Nouvelle expression en français


Spécification

Question 2

« Tous les sujets sont enseignés par les professeurs » (N.B. : nous ne désirons pas dire que chaque professeur enseigne tous les sujets. Nous désirons dire qu’il n’y a pas de sujet qu’aucun professeur n’enseigne. »

Sera exprimé au mieux par :

2.1. ran (enseigne) < : sujet
2.2. enseigne : PERSONNE --> POW (SUJET)
2.3. enseigne : professeurs --> sujets
2.4. aucun des prédicats ci-dessus

Ambiguïté




Mauvais typage




Nouvelle expression en français


Spécification


Question 3

« Tous les professeurs ne doivent pas enseigner, sachant que seuls les professeurs peuvent enseigner. »

Sera exprimé au mieux par :

3.1 dom (enseigne) = professeurs
3.2 dom (enseigne – professeurs) /= {}
3.3 professeurs – dom (enseigne) /= {}
3.4 aucun des prédicats ci-dessus

Ambiguïté




Mauvais typage

Nouvelle expression en français


Spécification


Question 4

« Un groupe est un ensemble de personnes »

Sera exprimé au mieux par :

4.1 PERSONNE : groupe
4.2 groupe : PERSONNE
4.3 groupe : NAT <-->PERSONNE
4.4 aucun des prédicats ci-dessus

Ambiguïté



Mauvais typage

Nouvelle expression en français


Spécification


Question 5

« Une année est un ensemble de groupes »

Sera exprimé au mieux par :

5.1 groupe : année & année < : PERSONNE
5.2 année : POW (groupe) & groupe : POW (PERSONNE)
5.3 groupe < : année & année < : PERSONNE
5.4 aucun des prédicats ci-dessus.

Ambiguïté



Mauvais typage

Nouvelle expression en français


Spécification



Ce travail est un travail individuel.
De telles questions seront posées en DS. Le corrigé vous sera fourni sur ce bloc-notes.

4 commentaires:

Quentin a dit…

Lorsque vous parlez de cours, il s'agit des cours en amphi non ?
Donc le quatrième est celui qui a lieu le mardi 27 Novembre.

citoyenUniversitaire a dit…

Je n'ai pas précisé mardi 27 car je ne connais pas l'edt de la semaine 48.
J'ai donc spécifié de l'indéterminisme. Mais l'implantation sera déterministe !
Bonne soirée

Quentin a dit…

Que signifie POW(***) ?
Bonne soirée

citoyenUniversitaire a dit…

SVP, utilisez le polycopié où j'ai fourni toute la notation ASCII de B
et aussi les exemples sur la Toile où j'ai commenté les notations.