ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Décisions, argumentation et traçabilité dans l’Ingénierie des Systèmes d’Information
En savoir plus >>
Autres revues >>

Ingénierie des Systèmes d'Information

Networking and Information Systems
1633-1311
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 13/3 - 2008  - pp.131-155  - doi:10.3166/isi.13.3.131-155
TITRE
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.


ABSTRACT
Specifying complex systems is a difficult task which cannot be done in one step. In the framework of formal methods, the refinement is a key feature to incrementally develop more and more detailed models, preserving correctness in each step. Our purpose is to instantiate this process in an event-based approach, when using UML/OCL notations. The main idea is to make evolve a class diagram by observing the arrival of new events and their evolution. The expression of properties and their proof of correctness require adapted notations: we introduce a set of OCL definitions to refine and manipulate the notion of associations between classes. We illustrate our purpose by the description of some development steps of an access control system.


AUTEUR(S)
Boulbaba BEN AMMAR, Mohamed TAHAR BHIRI, Jeanine SOUQUIÈRES

MOTS-CLÉS
UML, OCL, raffinement, diagramme de classes, modélisation événementielle.

KEYWORDS
UML, OCL, refinement, class diagram, event driven.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (382 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier