A UML-based framework for distributed system design

This paper introduces a new environment for developing distributed systems. It is based on the TURTLE UML profile. Analysis and design phases, described in previous papers, have been extended with an additional deployment phase. In this new step, TURTLE components are deployed over hardware execution nodes, and nodes are connected together throughout links. TURTLE deployment diagrams are given a formal semantics in RT-LOTOS, therefore following the approach used for TURTLE analysis and design diagrams. Moreover, the paper presents a Java code generator which outputs appropriate Java code for TURTLE deployment diagrams. This code is automatically deployable on networks because it implements node communication using network protocols such as UDP or RMI. TTool, the TURTLE toolkit has been extended to support these new diagrams and code generators. The attack of protected data exchanged throughout secured HTTP sessions serves as example.