L'approche objets

Les méthodes objets

Les méthodes objets sont basées sur une triple perception du système : une dimension statique qui décrit les objets du système, une dimension dynamique qui contrôle les changements d'états des objets et une dimension fonctionnelle qui décrit les processus de transformation.

Les méthodes objets sont plus ou moins complètes vis-à-vis de ces trois dimensions.

Les modèles et techniques objets

Chaque méthode utilisent ses propres modèles formels, la plupart utilise une hiérarchie de modèles (conceptuel, logique et physique), mais c'est au niveau conceptuel que les modèles utilisés caractérisent le mieux la méthode.

Deux tendances, l'accent est mis soit sur les interactions entre objets, soit sur les associations statiques et la structuration interne des données.

Les modèles de données

utilisent soit les modèles entité-association et Agrégation-Généralisation avec une approche sémantique, soit le modèle relationnel avec une approche relationnelle. Le premier est mieux adapté aux objets complexes.

Les modèles dynamiques

ont pour objectif de décrire les règles d'évolution des objets au cours du temps. Différents modèles formels sont utilisés :

Les diagrammes états/transitions

sont des graphes dans lequel les sommets sont des valeurs d'états, et les arcs des événements déclencheurs d'un changement d'états. Ils vont des simples graphes orientés, aux graphes orientés avec des expressions de conditions sur les arcs.

Les règles actives

décrivent les réactions du système (comme les triggers dans les SGBD), dans un formalisme qui généralise le ``switch''. Un formalisme textuel pour décrire des diagrammes états/transitions.

Les statecharts

sont des diagrammes états/transitions hiérarchisés. Un état est lui-même un diagramme états/transitions.

Les réseaux de Petri

permettent comme les diagrammes états/transitions de représenter l'évolution d'un objet, mais également de représenter dans un même modèle, les états successifs de plusieurs objets différents. Les réseaux de Petri sont des graphes bipartites. Les n uds sont soit des places pouvant contenir des jetons, soit des transitions. Une transition est tirable si toutes les places amonts contiennent au moins un jeton; après la transition le contenu des places amonts est décrémenté, celui des places aval est incrémenté.

Les modèles fonctionnels

utilisent fréquemment les diagrammes de flux de données. Les DFD sont des graphes tripartites dont les n uds sont soit des acteurs, soit des processus de transformation, soit des récipients de données; et dont les arcs sont des flux de données. L'obtention des DFD se fait généralement par affinages successifs (méthode descendante).

Limites des approches objets

Aucune des méthodes ne couvre entièrement le cycle de développement, chacune ayant ses qualités et ses défauts. Plus grave, elles ne donnent pas forcement le même sens aux différents concepts objets, ce qui rend le passage d'une méthode à une autre difficile.

C'est dans ce contexte qu'est apparue la volonté de standardiser les terminologies et les notations : UML (Unified Modeling Language) est le fruit de ce travail.

Exercice 5.1   Imaginez des modèles dynamiques pour décrire les évolutions possibles entre les situations suivantes : célibataire, marié, veuf, divorcé.