Méthodologie ODAC : Le guide de spécification comportementale

M.-P. Gervais

LIP6 2001/024: Rapport de Recherche LIP6 / LIP6 research reports
32 pages - Novembre/November 2001 - French document.

Get it : 221 Ko /Kb

Contact : par mail / e-mail

Thème/Team: Systèmes Répartis et Coopératifs

Titre français : Méthodologie ODAC : Le guide de spécification comportementale
Titre anglais : ODAC Methodology : the guideline for the behavioral specifications


Résumé : ODAC (Open Distributed Applications Construction) fournit un guide méthodologique de développement de systèmes répartis permettant à un constructeur de décrire le système qu'il développe, c'est-à-dire d'écrire la spécification de son système, avec la notation UML selon une sémantique ODP. La méthodologie fait la distinction entre la spécification du comportement du système indépendamment de tout contexte d'exécution, appelée spécification comportementale, et le paramétrage de cette spécification selon un environnement d'exécution cible, qui la transforme en spécification opérationnelle. Un guide de spécification comportementale est donc fourni aux constructeurs de systèmes pour les assister dans leur rédaction de spécifications comportementales. Il est complété par des guides de description d'environnements cibles, tel que le guide MASIF-DESIGN pour les systèmes à base d'agents et le guide ODACforANTS pour les réseaux actifs. Ce rapport se concentre sur le guide de spécification comportementale ODAC.

Abstract : ODAC (Open Distributed Applications Construction) provides a modeler with a methodology of distributed applications development in order to enable him/her to describe the system he/she is developing. This description is the specification of the system in UML with ODP semantics. ODAC makes distinction between the specification of the system behavior independently of any execution environment, called the behavioral specification (corresponding to the Platform Independent Model as described in the OMG Model Driven Architecture), and the parametrization of this specification according to a target execution environment in order to transform it into a operational specification. We then provide modelers with a behavioral specification guideline to help them to write their behavioral specifications. We also provide guidelines for the description of execution environments, such as the MASIF-DESIGN guideline for MASIF compliant mobile agent platforms and the ODACforANTS guideline for the active networks. This document focuses on the ODAC guideline for behavioral specifications.


Mots-clés : traitement réparti ouvert (ODP), profil UML, analyse et conception d'applications réparties, guide de spécification comportementale

Key-words : Open Distributed Processing (ODP), UML Profile, Analysis and Design of Distributed Applications, Behavioral specifications guideline


Publications internes LIP6 2001 / LIP6 research reports 2001

Responsable Éditorial / Editor :Marie-Pierre.Gervais@lip6.fr, Denis.poitrenaud@lip6.fr