OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons.

Apvrille, Ludovic and Saqui-Sannes, Pierre de Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons. (2011) Technique et Science Informatiques, vol. 30 (n°4). pp. 309-337. ISSN 0752-4072

[img] (Document in French)

PDF (Publisher's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
533kB

Abstract

La modélisation de services et protocoles est la clé de voute 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.

Item Type:Article
Additional Information:The original PDF of the article can be found at Technique et Science Informatiques website: http://tsi.revuesonline.com/
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
Other partners > Telecom ParisTech (FRANCE)
Laboratory name:
Statistics:download
Deposited By: Pierre de Saqui-Sannes
Deposited On:21 Jun 2011 15:33

Repository Staff Only: item control page