DEGAS Choreographer
Choreographer is a unified tool for the DEGAS (Design Environments for Global ApplicationS) Project, combining the tools developed during the project at the University of Edinburgh, the University of Pisa, and the Technical University of Denmark, into a homogeneous environment.
The main purpose of Choreographer is to provide a bridge between the Unified Modelling Language (UML) and process algebras via a set of Extractors and Reflectors. This means a UML model is annotated with performance or security data in one or more of the diagrams. The Extractors are now able to extract a process algebra model from the UML. The extracted model may be analysed for performance, security, and/or mobility results. These results are then reflected to the UML level by the Reflectors, to make them visible in the UML diagrams that were initially annotated, and thereby presenting the results of the analysis in a language understood by the UML modeler.
Currently three process algebras have been incorporated, PEPA for performance models, LySa for security protocols, and PEPA Nets for mobility.
Choreographer is built on the NetBeans platform: A flexible infrastructure for building complex desktop applications.
Screenshots
 |
 |
 |
| Basic layout of the screen. | A LySa file in the editor. | A PEPA file in the editor. |
 |
 |
 |
| A PEPA Net in the editor. | A PEPA file being debugged. | A LySa and XMI file. |
News
- 25th April 2005 - Choreographer, Release 0.4.6, available for download.
Release includes more enhancements. There is also a new PEPA Net Extractor guide, in the downloads section.
-
19th April 2005 - Choreographer, Release 0.4.5, available for download.
This is the very first post-review release. This contains improved PEPA Nets support and the Choreographer is now open to the public.
04 April 2005 - Choreographer Development Release 0.4.4 available for download.
-
02 April 2005 - Choreographer Development Release 0.4.3 available for download.
This is the latest release.
-
11 March 2005 - Choreographer Development Release 0.4.2 available for download.
The new release features:
- PEPA Net support for mobility analysis.
- User-Guide updated.
- Enhanced ForLySa Extractor.
- Several bug fixes.
- New test models.
Downloads
- Choreographer Development version 0.4.6 (Latest)
- Choreographer Test Models (latest)
- Choreographer User Guide , University of Edinburgh 2005.
- ForLySa Manual , University of PISA, 2005
- PEPA Net Extractor (codename PENE) User-Guide in HTML. Jennifer Tenzer, University of Edinburgh, 2005
Documents
- Deliverable D16 (FINAL, report) - "Extractor". Prototypes that extracts process algebra specifications from UML models preserving the relevant information for the analyses according to D6 and D7.
- M. Buchholtz, C. Montangero, L. Perrone, S. Semprini: For-LySa: UML for Authentication Analysis
- C. Canevet, S. Gilmore, J. Hillston, M. Prowse, and P. Stevens: Performance modelling with UML and stochastic process algebras.
- Mikael Buchholtz, Stephen Gilmore, Valentin Haenel and Carlo Montangero: Choreographer: a design environment for global applications appeared in Formal Methods 2005, Newcastle.
- S.Gilmore, V.Haenel, L.Kloul and M.Maidel: Choreographing Security and Performance analysis. Appeared in WS-FM, Versailles, 2005.
Links
- DEGAS project Web site
- PEPA Workbench - Java Edition
- LySa Tool
- Standard ML of New Jersey
- Sun - Java
- Net Beans
Acknowledgement
This work is supported by DEGAS (Design Environments for Global Applications) project, IST-2001-32072 funded by the FET Proactive Initiative on Global Computing.