Choreographing security and performance analysis for web services

Authors:
Stephen Gilmore;Valentin Haenel;Leïla Kloul;Monika Maidl
Affiliations:
Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland;Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland;PRiSM, Université de Versailles, Versailles, France;Siemens AG, CT IC3, München, Germany
Venue:
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Year:
2005

Citing 9
Cited 6

A compositional approach to performance modelling

A compositional approach to performance modelling
Computer security

Computer security
Performance analysis of time-enhanced UML diagrams based on stochastic processes

WOSP '02 Proceedings of the 3rd international workshop on Software and performance
From UML sequence diagrams and statecharts to analysable petri net models

WOSP '02 Proceedings of the 3rd international workshop on Software and performance
UMLsec: Extending UML for Secure Systems Development

UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications

TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering

WOSP '04 Proceedings of the 4th international workshop on Software and performance
Secure Systems Development with UML

Secure Systems Development with UML
For-LySa: UML for authentication analysis

GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing

A model-driven approach to describe and predict the performance of composite services

WOSP '07 Proceedings of the 6th international workshop on Software and performance
Quality Prediction of Service Compositions through Probabilistic Model Checking

QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
A design environment for mobile applications

IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Analytical quality assurance

Service research challenges and solutions for the future internet
Impact of SOAP implementations in the performance of a web service-based application

ISPA'06 Proceedings of the 2006 international conference on Frontiers of High Performance Computing and Networking
Automated performance analysis of business processes

Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.