DEGAS Project at Edinburgh

The Design Environments for Global Applications project is an EU-funded project in which the Laboratory for Foundations of Computer Science of The University of Edinburgh is a partner. DEGAS aims to combine the use of UML for design of global wireless applications with formal methods for their analysis and verification, particularly with respect to performance prediction and security.

Other information on DEGAS can be found at

• the main DEGAS page or
• the local Edinburgh page
• local images and resources page

Documents, papers and software

The following papers and working drafts have been produced for the DEGAS project at The University of Edinburgh site. This information is also available as a BibTeX database. The DEGAS BibTeX file contains 53 references. It was last updated on Fri Apr 15 11:15:41 2005

• P. Ballarini and J. Hillston. Compositional CSL model checking for Boucherie product processes. In Proceedings of the Second Workshop on Process Algebra and Stochastically Timed Activities (PASTA Secondi Piatti), pages 9-22, June 2003. (PostScript)

• L. Brodo, S. Gilmore, J. Hillston, and C. Priami. A stochastic pi-calculus semantics for PEPA nets. Working draft in preparation, May 2002. (PostScript) (PDF)

• L. Brodo, S. Gilmore, J. Hillston, and C. Priami. Translation and mobility. Slides from the PASTA workshop talk, Edinburgh, June 2002. (PostScript)

• L. Brodo, P. Degano, S. Gilmore, J. Hillston, and C. Priami. Performance evaluation for global computation. Submitted for publication in the proceedings of the Rovereto meeting of the Global Computing Initiative, May 2003. (PostScript) (PDF)

• L. Brodo, S. Gilmore, J. Hillston, and C. Priami. Mapping coloured stochastic Petri nets to stochastic process algebras. Slides to accompany the ICALP Workshop on Stochastic Petri nets in Eindhoven, June 2003. (PDF)

• L. Brodo, S. Gilmore, J. Hillston, and C. Priami. Mapping coloured stochastic Petri nets to stochastic process algebras. In P. Kemper, editor, On-site proceedings of the ICALP Workshop on Stochastic Petri Nets and Related Formalisms, pages 47-66, Eindhoven, Holland, 2003. University of Dortmund Research Report number 780. (PostScript) (PDF)

• M. Buchholtz, S. Gilmore, V. Haenel, and C. Montangero. End-to-end integrated security and performance analysis on the DEGAS choreographer platform. In Proceedings of the 27th International Conferernce on Software Engineering (ICSE 2005), ST. Louis, Missouiri, May 2005. IEEE Press. Submitted for consideration.

• C. Canevet and M. Prowse. Documentation for the Python Extractor and Reflector. Laboratory for Foundations of Computer Science, The University of Edinburgh, September 2002. (PostScript) (PDF)

• C. Canevet and M. Prowse. Python extractor and reflector software. Zipped archive of computer programs in the Python scripting language, September 2002.

• C. Canevet, S. Gilmore, J. Hillston, and P. Stevens. Performance modelling with UML and stochastic process algebras. In Proceedings of the Eighteenth Annual UK Performance Engineering Workshop, July 2002. (PostScript) (PDF)

• C. Canevet, S. Gilmore, J. Hillston, and P. Stevens. Software performance design environments. Slides from the PASTA workshop talk, Edinburgh, June 2002. (PDF)

• C. Canevet, S. Gilmore, and M. Prowse. Documentation for the Java Extractor and Reflector. Laboratory for Foundations of Computer Science, The University of Edinburgh, November 2002. (PostScript) (PDF)

• C. Canevet, S. Gilmore, J. Hillston, L. Kloul, and P. Stevens. Analysing UML 2.0 activity diagrams in the software performance engineering process (long version). Submitted for publication, August 2003. (PostScript)

• C. Canevet, S. Gilmore, J. Hillston, M. Prowse, and P. Stevens. Performance modelling with UML and stochastic process algebras. IEE Proceedings: Computers and Digital Techniques, 150(2):107-120, March 2003. (PostScript) (PDF)

• C. Canevet, S. Gilmore, J. Hillston, L. Kloul, and P. Stevens. Analysing UML 2.0 activity diagrams in the software performance engineering process. In Proceedings of the Fourth International Workshop on Software and Performance, pages 74-78, Redwood Shores, California, USA, January 2004. ACM Press. (PostScript)

• S. Gilmore and M. Gribaudo. Graphical modelling of process algebras with DrawNET. To appear in the proceedings of the tools appendix of the proceedings of the 2003 Illinois international multiconference on Measurement, Modelling and Evaluation of Computer-Communication systems, September 2003. (PostScript) (PDF)

• S. Gilmore and J. Hillston. An enhanced operational semantics for PEPA nets. Working draft, May 2002. (PostScript) (PDF)

• S. Gilmore and J. Hillston. A survey of the PEPA tools. In Proceedings of the Second Workshop on Process Algebra and Stochastically Timed Activities (PASTA Secondi Piatti), pages 40-49, June 2003. (PostScript)

• S. Gilmore and J. Hillston. A survey of the PEPA tools. Slides to accompany the paper at the PASTA workshop in Edinburgh, June 2003. (PDF)

• S. Gilmore and L. Kloul. A unified approach to performance modelling and verification, May 2003. Paper presented at Dagstuhl seminar on ``Probabilistic Methods in Verification and Planning''. (PostScript)

• S. Gilmore and L. Kloul. A unified approach to performance modelling and verification, May 2003. Slides from the invited presentation at the Dagstuhl seminar on ``Probabilistic Methods in Verification and Planning''. (PDF)

• S. Gilmore and L. Kloul. A unified tool for performance modelling and predicition. In Proceedings of the 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP'03), volume 2788 of LNCS, pages 179-192, Edinburgh, Scotland, September 2003. Springer-Verlag. (PostScript)

• S. Gilmore and L. Kloul. A unified tool for performance modelling and predicition: Slides from the conference presentation. Presentation at the 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP'03), September 2003. (PDF)

• S. Gilmore, J. Hillston, and M. Ribaudo. PEPA nets: A dynamic stochastic modelling formalism. Slides from the Informatics Jamboree talk, May 2002. (PostScript) (PDF)

• S. Gilmore, J. Hillston, and M. Ribaudo. PEPA nets: A structured performance modelling formalism. In A.J. Field and P.G. Harrison, editors, Proceedings of the 12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation, number 2324 in Lecture Notes in Computer Science, pages 111-130, London, UK, April 2002. Springer-Verlag. (PostScript) (PDF)

• S. Gilmore, J. Hillston, L. Kloul, and M. Ribaudo. PEPA nets: A structured performance modelling formalism. Performance Evaluation, 54:79-104, 2003. (PostScript) (PDF)

• S. Gilmore, J. Hillston, L. Kloul, and M. Ribaudo. Performance modelling with PEPA nets and PRISM. In Proceedings of the Second Workshop on Process Algebra and Stochastically Timed Activities (PASTA Secondi Piatti), pages 23-39, June 2003. (PostScript)

• S. Gilmore, J. Hillston, L. Kloul, and M. Ribaudo. Performance modelling with PEPA nets and PRISM. Slides to accompany the paper at the PASTA workshop in Edinburgh, June 2003. (PDF)

• S. Gilmore, J. Hillston, L. Kloul, and M. Ribaudo. The Tao of PEPA nets. Slides from an invited seminar at Imperial College, London, August 2003. (PDF)

• S. Gilmore, J. Hillston, L. Kloul, and M. Ribaudo. Software performance modelling using PEPA nets. In Proceedings of the Fourth International Workshop on Software and Performance, pages 13-24, Redwood Shores, California, USA, January 2004. ACM Press. (PDF)

• S. Gilmore, L. Kloul, and D. Piazza. Modelling role-playing games using PEPA nets. In Proceedings of the 19th International Symposium on Computer and Information Sciences (ISCIS 2004), volume 3280 of LNCS, pages 523-532, Kemer-Antalya, Turkey, October 2004. Springer-Verlag. (PDF)

• S. Gilmore, V. Haenel, L. Kloul, and M. Maidl. Choreographing security and performance analysis. In Proceedings of the Fifth International Workshop on Software and Performance (WoSP 2005). ACM Press, July 2005. Submitted for consideration.

• S. Gilmore. PRISM reflector software. Zipped archive of computer programs in the Standard ML programming language, November 2002.

• S. Gilmore. A reflector for the PRISM probabilistic model checker. Documentation on DEGAS project software, November 2002. (PostScript) (PDF)

• S. Gilmore. Screenshots, graphics and images from the Edinburgh DEGAS papers. Web page archive of images in GIF, PNG and PostScript format, November 2002.

• N.V. Haenel. User Guide for the Java Edition of the PEPA Workbench---Tabasco release. LFCS, Edinburgh, October 2003. (PostScript) (PDF)

• J. Hillston and M. Ribaudo. Modelling mobility with PEPA nets. In Proceedings of the 19th International Symposium on Computer and Information Sciences (ISCIS 2004), volume 3280 of LNCS, pages 513-522, Kemer-Antalya, Turkey, October 2004. Springer-Verlag. (PDF)

• J. Hillston. Searching for middle ground with PEPA. Slides to accompany an invited talk at the ICALP Workshop on Stochastic Petri nets in Eindhoven, June 2003. (PDF)

• Perdita Stevens. Small-scale XMI programming: a revolution in UML tool use? Journal of Automated Software Engineering, 10(1):7-21, January 2003. (PDF)