Devoir chez soi, le corrigé

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

1.1

certains ont pu interpréter comme 14

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

2.4

Spécification

enseigne : professeurs -->> sujets

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

3.3

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

4.5

Spécification

groupes <: POW(PERSONNE)

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.

5.4

Spécification
groupes <: POW (PERSONNE) &
annees <: POW (Groupes)


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

C'est fait. J'espère ne pas avoir écrit de co(q)uille !


Comme indiqué en cours, il vous faut :

• mettre votre copie dans votre dossier de td dans une annexe
• et sur votre copie, expliquer le pourquoi de vos erreurs éventuelles

Je prendrai en compte ce travail dans la note finale de TD.

Je suis prêt à recevoir tout exercice que vous aurez fait pour vous en fournir un corrigé (mais sur réception de votre travail !)