suivant: Limites des approches objets
monter: L'approche objets
précédent: Les méthodes 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).
suivant: Limites des approches objets
monter: L'approche objets
précédent: Les méthodes objets
Alain Griffault
2002-10-22