ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 30/3 - 2011  - pp.309-337  - doi:10.3166/tsi.30.309-337
TITRE
Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons

TITLE
A methodological assistant for UML. Pattern-driven modeling and formal verification of protocols

RÉSUMÉ
La modélisation de services et protocoles est la clé de voûte de la validation d’une architecture de communication. L’article propose de mener cette activité complexe dans le TURTLE Toolkit (TTool), environnement UML temps réel doté de capacités de vérification formelle. Les principes d’un assistant méthodologique pour l’analyse d’architecture de communication sont définis dans un cadre général, puis transposés à l’approche TTool sous la forme de patrons basés sur des cas d’utilisation et des scénarios paramétrables. L’utilisation de ces patrons est illustrée sur un protocole de communication point à multipoint par satellite.


ABSTRACT
Modeling services and protocols is a key point when the validation of a communication architecture is at stake. The paper proposes to address such a validation with the TURTLE Toolkit (TTool), a UML-based environment with real-time modeling and formal verification capabilities. A pattern-based methodological assistant relying on UML analysis diagrams is defined and applied to TTool. The patterns support parametrized use cases and scenarios. A space-based multicast communication system serves as example.


AUTEUR(S)
Ludovic APVRILLE, Pierre DE SAQUI-SANNES

MOTS-CLÉS
patrons, protocoles, UML, cas d´utilisation, scénarios, vérification formelle.

KEYWORDS
patterns, protocols, UML, use cases, scenarios, formal verification.

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  (558 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier