ODAC Methodology : the guideline for the behavioral specifications

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

Marie-Pierre Gervais (1)

1 SRC - Systèmes répartis et coopératifs

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.

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.

Mots clés: Open Distributed Processing (ODP); UML Profile; Analysis and Design of Distributed Applications; Behavioral specifications guideline

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

Domaines: Informatique [cs]

Marie-Pierre Gervais. Méthodologie ODAC : Le guide de spécification comportementale. [Rapport de recherche] lip6.2001.024, LIP6. 2001. ⟨hal-02545596⟩