INF3143. Modélisation et spécification formelles des logiciels. Automne Alexandre Terrasa Département d informatique, UQÀM

Transcription

1 INF3143 Modélisation et spécification formelles des logiciels Automne 2017 Alexandre Terrasa Département d informatique, UQÀM

2 Révisions UML 2

3 Diagramme de classes On souhaite créer un jeu de carte: Une table accepte de 2 à 5 joueurs Une table possède une fosse pour jeter les cartes Chaque joueur possède un nom, une main de 0 à 5 cartes pour jouer des cartes et une pioche pour les cartes à piocher Toutes les cartes possèdent une couleur ( S, C, H, D ) Les cartes peuvent être des cartes de valeurs (1 à 10) Les cartes peuvent être des cartes de figures ( J, Q, K ) Il existe aussi des jokers (dans les 4 couleurs) 3

4 Diagramme de classes Table Fosse 1 1 jeter(carte) Joueur nom: String 1 1 Pioche piocher(): Carte 0..1 * * 0..5 Carte couleur: String 1 Main jouer(carte) CarteValeur CarteFigure CarteJoker valeur: Integer figure: String 4

5 Diagramme d objets Table t1 = new Table(); Fosse f1 = new Fosse(); t1.fosse = f1; Joueur j1 = new Joueur( Alex ); t1.joueurs.add(j1); Main m1 = new Main(); j1.main = m1; Pioche p1 = new Pioche(); j1.pioche = p1; Carte c1 = new CarteValue( S, 10); Carte c2 = new CarteValue( D, 1); Carte c3 = new CarteFigure( C, Q ); Carte c4 = new CarteJoker( H ); m1.cartes.add(c1); m1.cartes.add(c2); p1.cartes.add(c2); p1.cartes.add(c3); p1.cartes.add(c4); 5

6 Diagramme d objets m1: Main c1: CarteValeur j1: Joueur nom= Alex couleur: S valeur: 10 p1: Pioche c2: CarteValeur t1: Table couleur: D valeur: 1 c3: CarteFigure couleur: C figure: Q f1: Fosse c4: CarteJoker couleur: H 6

7 Révisions OCL 7

8 Exercice Illustration: Exercice: 8

9 Exercice Contrainte: Dans une société, le directeur est un employé, n'est pas un chômeur et doit avoir plus de 40 ans. De plus, une société possède exactement un directeur et au moins un employé. 9

10 Solution context Societe -- Dans une société, le directeur est un employé inv: poste.collect(employe)->includes(directeur) -- Le directeur n'est pas chômeur inv: not(directeur.chomeur) -- Le directeur doit avoir plus de 40 ans. inv: self.directeur.age > Une société possède exactement un directeur. inv: directeur <> null 10

11 Exercice Contrainte: Une personne considérée comme au chômage ne doit pas avoir des revenus supérieurs à 100 $. 11

12 Solution context Personne -- Une personne considérée comme au chômage ne doit pas avoir -- des revenus supérieurs à 100 $. inv: let revenus = poste.collect(salaire)->sum() in chomeur implies revenus <

13 Exercice Contrainte: Une personne possède au plus deux parents. 13

14 Solution context Personne -- Une personne possède au plus deux parents. inv: parent->size() <= 2 14

15 Exercice Contrainte: Si une personne possède deux parents, l'un est une femme et l'autre un homme. 15

16 Solution context Personne -- Si une personne possède deux parents, -- l'un est une femme et l'autre un homme. inv: parent->size() = 2 implies ( parent->exists(genre = Genre::homme) and parent->exists(genre = Genre::femme)) 16

17 Exercice Contrainte: Tous les enfants d'une personne ont bien cette personne comme parent et inversement. 17

18 Solution context Personne -- Tous les enfants d'une personne ont bien -- cette personne comme parent et inversement. inv: enfant->notempty() implies enfant->forall( p : Personne p.parent->includes(self)) inv: parent->notempty() implies parent->forall ( p : Personne p.enfant->includes(self)) 18

19 Révisions Expressions régulières et automates 19

20 Expressions régulières Quelles mots sont reconnus par aa ab abcd abdc ad accccd a*(b cd?)+ bdd bbccd bbcdd cbd cdbca cc 20

21 Expressions régulières Quelles mots sont reconnus par aa ab abcd abdc ad accccd a*(b cd?)+ bdd bbccd bbcdd cbd cdbca cc 21

22 Mots-croisés réguliers :) 22

23 Mots-croisés réguliers :) Se pratiquer à la maison: 23

24 Écrire une expression régulière Qui accepte la colonne de gauche mais pas de droite foo; foo = 10; a = bar; baz =foo ; foo foo = 1 1def = foo; def = 1foo; def= def=; 24

25 Écrire une expression régulière *[a-z]+( *= *([a-z]+ [0-9]+))? *; 25

26 RE -> NFA Traduire l expression régulière en NFA a*(b cd?)+ 26

27 RE -> NFA 27

28 NFA -> DFA 28

29 Examen intra Informations utiles salle à venir ( ) carte étudiante notes de cours autorisées ordinateur / calculatrice interdits crayon noir ou bleu seulement apporter du correcteur blanc / liquid paper 29