End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform

Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is presented to the platform for analysis, formal content is extracted in the form of process calculi descriptions, analysed with the analysers of the calculi, and the results of the analysis are reflected back into a modified version of the input UML model. The design platform supporting the methodology, Choreographer, interoperates with state-of-the-art UML modelling tools. We illustrate the approach with a well known protocol and report on the experience of industrial users who have applied Choreographer in their development work.
Original languageEnglish
Title of host publicationFM 2005: Formal Methods
Subtitle of host publicationInternational Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings
EditorsJohn Fitzgerald, Ian J. Hayes, Andrzej Tarlecki
PublisherSpringer-Verlag GmbH
Number of pages16
ISBN (Electronic)978-3-540-31714-2
ISBN (Print)978-3-540-27882-5
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords / Materials (for Non-textual outputs)

  • security analysis
  • performance analysis
  • process calculi
  • UML


Dive into the research topics of 'End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform'. Together they form a unique fingerprint.

Cite this