Les spécifications formelles jouent un rôle croissant dans la conception et la conduite des systèmes d'information (SI) aujourd'hui. A partir d'un modèle orienté objet, l'approche proposée par l'auteur permet d'intégrer les spécifications issues des différents aspects d'un SI: structures des classes, cycles de vie des objets, contextes sémantiques, événements et processus. L'étude des propriétés du système s'appuye sur une interprétation formelle basée sur les réseaux de Petri. L'auteur décrit les outils qu'il a mis en œuvre pour supporter cette approche. Ceux-ci contiennent notamment un dictionnaire de spécifications intégré au SI généré, où toutes les spécifications participent sous forment d'objets du système au fonctionnement et au contrôle de l'évolution de celui-ci.