OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Un environnement formel d'assistance à la modélisation de protocoles

Apvrille, Ludovic and Saqui-Sannes, Pierre de Un environnement formel d'assistance à la modélisation de protocoles. (2008) In: NOTERE 2008 : 8ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition, 23-27 June 2008, 23 June 2008 - 27 June 2008 (Lyon, France).

(Document in French)

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

Official URL: http://dx.doi.org/10.1145/1416729.1416745


The use of protocol design toolkits based on UML profiles has been hampered by the lack of methodological support. Indeed, those toolkits should include an assistant based on patterns and dedicated to driving the designer step by step through a well defined methodology. Thus, the TURTLE UML profile is extended with widely accepted service and protocol-oriented patterns. These patterns are built upon UML analysis diagrams i.e. use case, interaction overview and sequence diagrams. Moreover, all these patterns and diagrams have a formal semantics. Finally, they have been implemented in TTool, the open-source toolkit supporting TURTLE. The proposed approach remains general and may be applied to various modeling languages and use-case analysis driven processes.

Item Type:Conference or Workshop Item (Paper)
Additional Information:NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems. ISBN: 978-1-59593-937-1
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > Institut Eurécom (FRANCE)
Other partners > Télécom Paris (FRANCE)
Laboratory name:
Deposited On:07 May 2008 08:38

Repository Staff Only: item control page