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]](http://oatao.univ-toulouse.fr/style/images/fileicons/application_pdf.png) | (Document in French) PDF (Publisher's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 521Kb |
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: | Laboratoire System on Chip - LabSoC (Sophia-Antipolis, France) Département de Mathématiques, Informatique, Automatique - DMIA (Toulouse, France) - Modelisation et Architecture des Systèmes - MARS Laboratoire d'Analyse et d'Architecture des Systèmes - LAAS (Toulouse, France) - Outils Logiciels pour la Communication - OLC |
| Statistics: | download |
| Deposited By: | Pierre de Saqui-Sannes |
Repository Staff Only: item control page
