Abstract | ||
---|---|---|
Résumé Cet article propose un nouvel environnement de développement des systèmes distribués, basé sur le profilUml turtle. Aux étapes d’analyse et de conception qui firent l’objet de précédents articles, nous ajoutons une étape de déploiement. Il s’agit en l’occurrence de déployer des composantsTurtle sur des nœuds matériels d’exécution et de modéliser les liens entre ces nœuds d’exécution. À l’exemple des diagrammesTurtle utilisés en analyse et conception, les diagrammes de déploiement se voient dotés d’une sémantique formelle par traduction vers le langageRt-lotos. L’outilTtool (Turtle Toolkit) est enrichi d’un générateur de code exécutable Java capable de prendre en compte les composantsTurtle déployés sur des nœuds et les liens entre les nœuds d’exécution.Ttool génère maintenant du code réseau qui utilise les protocoles de typeUdp ouRmi pour assurer les communications entre composants. L’intrusion d’un pirate dans une sessionHttp sécurisée sert d’exemple illustratif de l’environnement proposé. Abstract This paper introduces a new environment for developing distributed systems. It is based on theTurtle 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 inRt-lotos, therefore following the approach used forTurtle analysis and design diagrams. Moreover, the paper presents a Java code generator which outputs appropriate Java code forTurtle deployment diagrams. This code is automatically deployable on networks because it implements node communication using network protocols such asUdp orRmi. ttool, the turtle toolkit has been extended to support these new diagrams and code generators. The attack of protected data exchanged throughout securedHttp sessions serves as example. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/BF03219900 | Annales des Télécommunications |
Keywords | Field | DocType |
distributed system,system design,formal method,system description,UML,semantics,programming,Internet security,computer deployment | Electronic engineering,Humanities,Artificial intelligence,Transmission protocol,Phase analysis,Mathematics,Semantics of logic | Journal |
Volume | Issue | ISSN |
61 | 11-12 | 1958-9395 |
Citations | PageRank | References |
1 | 0.39 | 7 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ludovic Apvrille | 1 | 136 | 22.23 |
Pierre de Saqui-Sannes | 2 | 133 | 18.91 |
Renaud Pacalet | 3 | 260 | 24.51 |
Axelle Apvrille | 4 | 104 | 8.01 |