1
Download Introduction
Transcript
Table des definitions Définition II.30 - RPO à priorités......................................................................................................64 Définition II.31 - Arcs inhibiteurs ([Hack 75]) .................................................................................66 Définition II.32 - Arcs inhibiteurs .....................................................................................................67 Définition II.33 - RPO à arcs inhibiteurs...........................................................................................67 Définition II.34 - Franchissabilité dans un RPO à arcs inhibiteurs ...................................................68 Définition II.35 - Critère de tri d'une place .......................................................................................70 Définition II.36 - Place triée..............................................................................................................71 Définition II.37 - Places triées et franchissabilité..............................................................................72 Chapitre III : Définition des classes d'Objets Coopératifs Définition III.1 - Spécification d'une classe d'Objets Coopératifs ..................................................113 Définition III.2 - Règle d'évolution d'un ObCS ..............................................................................114 Définition III.3 - Relation d'utilisation ...........................................................................................129 Chapitre IV : Systèmes d'Objets Coopératifs et organisation des classes Définition IV.1 - Héritage et structure de données .........................................................................142 Définition IV.2 - Héritage et services .............................................................................................142 Définition IV.3 - Héritage multiple et renommage des services .....................................................143 Définition IV.4 - Critère de non-duplication...................................................................................154 Chapitre VI : Extension du formalisme Définition VI.I - Services Data-Flow .............................................................................................198 Chapitre IX : Analyse d'un modèle d'Objets Coopératifs Définition IX.1 - Séquences franchissables de transitions ..............................................................244 Définition IX.2 - Critère d'honnêteté ..............................................................................................245 Définition IX.3 - Critère de courtoisie............................................................................................245 Définition IX.4 - Critère de transparence........................................................................................245 Définition IX.5 - Critère d'implémentation fidèle ...........................................................................246 Définition IX.6 - Critère d'héritage du comportement ....................................................................247 Définition IX.7 - Compatibilité entre client et serveur ...................................................................248 256
