Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00310954
Contributor : Jeanine Souquières Connect in order to contact the contributor
Submitted on : Tuesday, August 12, 2008 - 7:15:59 AM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM

Identifiers

  • HAL Id : hal-00310954, version 1

Collections

Citation

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, Lavoisier, 2008, 13 (3), pp.131-155. ⟨hal-00310954⟩

Share

Metrics

Record views

173