LIP6 2001/024
- Rapports de recherche
Méthodologie ODAC : Le guide de spécification comportementale - M.-P. Gervais
- 32 pages - 06/11/2001- document en - http://www.lip6.fr/lip6/reports/2001/lip6.2001.024.pdf - 227 Ko
- Contact : Marie-Pierre.Gervais (at) nulllip6.fr
- Ancien Thème : SRC
- Mots clés : traitement réparti ouvert (ODP), profil UML, analyse et conception d'applications réparties, guide de spécification comportementale
- Directeur de la publication : Marie-Pierre.Gervais (at) nulllip6.fr, Denis.poitrenaud (at) nulllip6.fr
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.