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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1145/1416729.1416745 | NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems |
Keywords | DocType | Citations |
use cases,methodological assistant,methodological support,patterns,use case,protocols,turtle uml profile,uml analysis,protocol modeling environment,designer step,uml,use-case analysis,scenarios,formal verification,interaction overview,uml profile,accepted service,formal semantics,modeling language,sequence diagram | Conference | 0 |
PageRank | References | Authors |
0.34 | 6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ludovic Apvrille | 1 | 136 | 22.23 |
Pierre de Saqui-Sannes | 2 | 133 | 18.91 |