@inproceedings{278fb0641b43485e8520ba0856377e5b,
title = "Adding a methodological assistant to a protocol modeling environment",
abstract = "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.",
keywords = "Formal verification, Patterns, Protocols, Scenarios, UML, Use cases",
author = "Ludovic Apvrille and \{De Saqui-Sannes\}, Pierre",
year = "2008",
month = dec,
day = "1",
doi = "10.1145/1416729.1416745",
language = "English",
isbn = "9781595939371",
series = "Proceedings - The 8th International Conference on New Technologies in Distributed Systems, NOTERE 2008",
booktitle = "Proceedings - The 8th International Conference on New Technologies in Distributed Systems, NOTERE 2008",
note = "8th International Conference on New Technologies in Distributed Systems, NOTERE 2008 ; Conference date: 23-06-2008 Through 27-06-2008",
}