Modélisation événementielle pour la construction de diagrammes de classes - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information Année : 2008

Modélisation événementielle pour la construction de diagrammes de classes

Résumé

La spécification de systèmes complexes est une tâche difficile qui ne peut être accomplie en une seule étape. Dans les méthodes formelles, le concept de raffinement a donné lieu à de nombreux travaux dans lesquels la preuve de la correction entre les différents états de spécifications joue un rôle important. Nous proposons d'utiliser le raffinement, dans le cadre d'une modélisation événementielle en employant des notations UML/OCL. L'idée est de faire évoluer un diagramme de classes en observant l'arrivée de nouveaux événements et leur évolution. L'expression des propriétés et la preuve de leur correction nécessitent des notations adaptées~: nous introduisons un ensemble de définitions OCL permettant de raffiner et de manipuler le concept d'associations entre classes. Nous illustrons nos propos par la description de quelques étapes de développement d'un système de contrôle d'accès.
Fichier non déposé

Dates et versions

hal-00310954 , version 1 (12-08-2008)

Identifiants

  • HAL Id : hal-00310954 , version 1

Citer

Boulbaba Ben Ammar, Mahamed Tahar Bhiri, Jeanine Souquières. Modélisation événementielle pour la construction de diagrammes de classes. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2008, 13 (3), pp.131-155. ⟨hal-00310954⟩
228 Consultations
1 Téléchargements

Partager

Gmail Facebook X LinkedIn More