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 nuds 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 nuds 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).