OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Synthèse d'une conception UML temps-réel à partir de diagrammes de séquences

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Khendek, Ferhat Synthèse d'une conception UML temps-réel à partir de diagrammes de séquences. (2005) In: CFIP 2005 - Colloque Francophone sur l'Ingénierie des Protocoles, 29 March 2005 - 1 April 2005 (Bordeaux, France).

[img]
Preview
(Document in French)

PDF (Author's version ) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
266kB

Official URL: http://www.lavoisier.fr/notice/fr330873.html

Abstract

Le profil TURTLE (Timed UML and RT-LOTOS Environment) est dédié à la conception de systèmes temps réel sur une base formelle apportée par le langage RT-LOTOS. La chaîne d’outils formée de TTool et de RTL permet de valider formellement une conception et une architecture de communication en particulier. Dans sa version initiale, le profil TURTLE n'offrait aucune solution pour exprimer des exigences. L'article propose de remédier à cette situation en utilisant les diagrammes UML 2.0 d'interactions et de séquences comme support à l'expression d'un service et point de départ à une synthèse de diagrammes de classes et de comportement TURTLE. L'article présente les algorithmes de synthèse et décrit la première implantation réalisée dans l’outil TTool. Le positionnement par rapport aux travaux du domaine sert de base à une discussion sur les intérêts et limitations de l'approche proposée.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Other partners > Concordia University (CANADA)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > Télécom Paris (FRANCE)
Laboratory name:
Statistics:download
Deposited On:12 Mar 2009 10:26

Repository Staff Only: item control page