@CONFERENCE\{IMM2005-03656,
    author       = "M. Buchholtz and S. Gilmore and V. Haenel and C. Montangero",
    title        = "End-to-end integrated security and performance analysis on the {DEGAS} Choreographer platform",
    year         = "2005",
    booktitle    = "Formal Methods 2005",
    volume       = "",
    series       = "Lecture Notes of Computer Science",
    editor       = "",
    publisher    = "",
    organization = "",
    address      = "",
    note         = "To appear",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/3656-full.html",
    abstract     = "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."
}