Abstract FR:

Ce mémoire concerne l'introduction du temps dans un modèle de conception de systèmes d'information et de décision (SID) industriels: OLYMPIOS. Nous présentons en premier lieu l'approche d'OLYMPIOS, à la fois systémique et analytique. Après avoir situé notre modèle par rapport à ses prédécesseurs, nous décrivons l'architecture du SID selon OLYMPIOS. Nous insistons également sur la nécessité de cohérence dès la définition du système, et sur la conservation de cette cohérence. Puis nous présentons en détail les techniques de spécification algébrique que nous utilisons pour définir les données du système et son organisation. Nous abordons ensuite la prise en compte du temps. Différents langages d'expression temporelle sont passés en revue. Cette étude aboutit au choix d'une algèbre de processus synchrone: SCCS-MEIJE. Nous détaillons la syntaxe et la sémantique de cette algèbre, en proposant quelques extensions pour notre domaine d'application. Par la suite, nous expliquons l'utilisation que nous faisons de SCCS-MEIJE dans le cadre d'OLYMPIOS, et nous nous fixons comme objectif de réaliser des preuves sur les processus spécifiés en SCCS-MEIJE. Nous exposons notre approche de la vérification, et en particulier comment nous formons des règles de logique temporelle à partir d'une formule algébrique en SCCS-MEIJE. Notre proposition se termine par le passage des spécifications algébriques à la conception d'une organisation d'objets prenant en compte le temps. Enfin, le mémoire conclut sur un exemple d'application du modèle OLYMPIOS.