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.
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 suis prêt à recevoir tout exercice que vous aurez fait pour vous en fournir un corrigé (mais sur réception de votre travail !)
