Un environnement de conception de systèmes distribués basé sur UML

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é.AbstractThis 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.

[1]  M. Jaragh,et al.  Modeling communications protocols using the Unified Modeling Language , 2000, 2000 TENCON Proceedings. Intelligent Systems and Technologies for the New Millennium (Cat. No.00CH37119).

[2]  Wolfgang Emmerich,et al.  Deadlock detection in distributed object systems , 2001, FSE 2001.

[3]  Marc Born,et al.  A method for the design and development of distributed applications using UML , 2000, Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000.

[4]  Claude Jard,et al.  Vers l'utilisation d'outils de validation de protocoles dans UML , 1998 .

[5]  Lawrence C. Stewart,et al.  HTTP Authentication: Basic and Digest Access Authentication , 1999 .

[6]  Wang Xu,et al.  Exploiting automatic analysis of e-commerce protocols , 2001 .

[7]  Khalil Drira,et al.  A UML Model for Session Management in Collaborative Design for Space Activities , 2001 .

[8]  Hassan Gomaa,et al.  Designing concurrent, distributed, and real-time applications with UML , 2000, ICSE.

[9]  Daniel A. Menascé,et al.  Design and performance modeling of component interconnection patterns for distributed software architectures , 2000, WOSP '00.

[10]  Ludovic Apvrille,et al.  TURTLE: a real-time UML profile supported by a formal validation toolkit , 2004, IEEE Transactions on Software Engineering.

[11]  Celso A. S. Santos,et al.  Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique , 2000, Comput. Commun..

[12]  Alain Le Guennec,et al.  Génie logiciel et méthodes formelles avec UML : : spécification, validation et génération de tests , 2001 .

[13]  Shing-Chi Cheung,et al.  Exploiting automatic analysis of e-commerce protocols , 2001, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001.

[14]  Jürgen Lind Specifying Agent Interaction Protocols with Standard UML , 2001, AOSE.

[15]  Lionel Sacks,et al.  Applying UML to Design an Inter-domain Service Management Application , 1998, UML.

[16]  Aose,et al.  Agent-Oriented Software Engineering III: Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions , 2003 .

[17]  Pierre de Saqui-Sannes,et al.  Synthèse d'une conception UML temps-réel à partir de diagrammes de séquences , 2005 .

[18]  Jan Jürjens,et al.  UMLsec: Extending UML for Secure Systems Development , 2002, UML.

[19]  Jan Jürjens Using UMLsec and goal trees for secure systems development , 2002, SAC '02.