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 - 01 Apr 2005, Bordeaux, France .

[img] (Document in French)

PDF (Author's version ) - Depositor and staff only - 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 > Institut Eurécom (FRANCE)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
Other partners > Concordia University (CANADA)
Laboratory name:
Statistics:download
Deposited By: Pierre de Saqui-Sannes
Deposited On:12 Mar 2009 10:26

Repository Staff Only: item control page