Choreographing Security and Performance Analysis for Web Services

We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from the UML models in the form of process calculus descriptions. These are analysed to provide strong guarantees of satisfactory security and performance. The results are reflected back in the form of a modified version of the UML model which highlights points of the design which can give rise to operational difficulties. A design platform supporting the methodology, Choreographer, interoperates with state-of-the-art UML modelling tools such as Poseidon. We illustrate the approach on an example.

• Type: Conference
• Year: 2005
• Where: EPEW
• Authors: Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl
• Keywords: EPEW 2005, Process Calculus Descriptions, State-of-the-art Uml Modelling, UML Model