Rapport de fin de phase I - Haute école du paysage, d'ingénierie et ...

More documents

Recommendations

Info

context Mongolfiere.lacherLest(quantite : Poids) post : self.poids = self.poids@pre - quantite context Company ::hireEmployee(p : Person) pre: not employee->include(p) post: employee->include(p) and stockprice() = stockprice@pre() + 10 Opérateur d’implication A implies B Si A est faux la condition est vraie Si A est vrai et B est vrai, la condition est vraie Si A est vrai et B est faux, la condition est fausse context Personne inv : estUnConducteur = vrai implies age > 18 Opérations prédéfinies OCL définit cinq opérations qui peuvent être appliquées à tous les objets. oclInState Syntaxe : oclInState(s : oclState) : booléen L’expression est vraie si l’objet est dans l’état « s » sinon elle est fausse. Les valeurs de « s » sont les noms des états définis dans l’automate d’états associé au classificateur de l’objet. Le symbole « :: » permet de présenter des états imbriqués (etat_parent ::etat_enfant). oclIsNew Syntaxe : oclIsNew : booléen Cette expression est utilisée dans une post-condition ; elle est vraie si l’objet est créé lors de l’exécution de l’opération. oclAsType Syntaxe : oclAsType(t : oclType) : instance d’oclType 22.06.2005 18/78
Cette fonction permet de faire des conversions de type. Le type vers lequel se fait la conversion doit être un sous-type du type de l’objet à convertir (down-cast). Comme dans tous langage, le down-cast est dangereux et doit être utilisé de façon réfléchie. unChien.oclAsType(ChienChasse) oclIsTypeOf Syntaxe : oclIsTypeOf(t : oclType) : booléen L’expression est vraie si le type directe de l’objet et le type direct de « t » sont les mêmes ; sinon elle est fausse. oclIsKindOf Syntaxe : oclIsKindOf(t : oclType) : booléen L’expression est vraie si « t » est le type direct ou un des super-types de l’objet. Accès à une propriété redéfinie dans un sous-type Si B est un sous-type de A et que tous les deux disposent d’une propriété p1, il faut utiliser l’opération oclAsType pour accéder à la propriété du type parent. context B inv : self.oclAsType(A).p1 >= 10 -- p1 de A self.p1 >= 100 -- p1 de B Extrémités d’association et navigation Il est possible de naviguer à travers une association en utilisant l’opérateur . suivi du nom du rôle opposé. object.rolename Cette expression retourne l’ensemble des objets correspondant à l’autre extrémité de l’association. Dans le cas où la multiplicité maximale est de 1, l’expression retourne uniquement l’objet associé. context Company inv : self.manager.isUnemployed = false -- 1 manager inv : self.employee->notEmpty() -- n employés Lorsque la navigation d’une association ne retourne qu’un seul objet, celui-ci peut être manipulé comme un ensemble. 22.06.2005 19/78
Page 1 and 2: Cadre du projet ISNet35 Rapport pha
Page 3 and 4: sélectionner des informations mém
Page 5 and 6: public class A { } private Integer
Page 7 and 8: Dans un premier temps, nous avons u
Page 9 and 10: 1.9. Cible Relationnelle objet L
Page 11 and 12: d'intégrité référentielle. L'av
Page 13 and 14: OCL est utilisé pour exprimer les
Page 15 and 16: Le type OclAny est le supertype pou
Page 17: Redéfinition des opérateurs Les o
Page 21 and 22: etourne toujours qu’un seul objet
Page 23 and 24: Lorsqu’il y a une ambiguïté pou
Page 25 and 26: « exists » context Company inv se
Page 27 and 28: Retourne vrai si l’expression ret
Page 29 and 30: prepend(unObjet : T) : Sequence Cet
Page 31 and 32:
Page 33 and 34: l’attribut xmi.id dont la valeur
Page 35: dataValue = '-99-26--92-79-247d4a:f
Page 38 and 39:
Page 40 and 41: l’extrémité d’association La
Page 42 and 43: collabore Employe Mandat 0..* 0..*
Page 44 and 45: … L
Page 46 and 47: Quand les objets sont définis comm
Page 48 and 49: • Externes BFILEs : Pointeur sur
Page 50 and 51: Cette désignation s’effectuera l
Page 52 and 53: attribut de la vue peuvent être em
Page 54 and 55: directement depuis les schéma du m
Page 56 and 57: Sens de navigation imposée Pour sp
Page 58 and 59: On trouve la notation ci-dessous da
Page 60 and 61: Voici par exemple la mise en place
Page 62 and 63: (b Varchar(10) ), CREATE TYPE a AS
Page 64 and 65: Ici en exemple, utilisation d’un
Page 66 and 67: L’association un à plusieur sera
Page 68 and 69:
Création des tables CREATE TABLE t
Page 70 and 71:
Un des objectif de ce projet est de
Page 72 and 73:
L’utilisation d’une collection
Page 74 and 75:
-- Creation de la base exemple DROP
Page 76 and 77:
1.21.1.3. Exemple de peuplement pou
Page 78:
) SELECT 10, REF(S), 1, 0 FROM to_s
show all

Rapport de fin de phase I - Haute école du paysage, d'ingénierie et ...

Create successful ePaper yourself

Delete template?

Save as template?