e-Science logo
About NeSC
e-Science Institute
e-Science Hub
e-Science Events
Presentations & Lectures
Technical Papers
Global Grid Links
UK e-Science Centres
UK e-Science Teams
Career Opportunities
Bibliographic Database


Design Environments for Global Applications



DEGAS aims to combine structured (semi-formal) graphical methods for specification of global applications with formal methods for their analysis and verification. We will investigate the extent to which UML is already suitable to model global applications and we will propose extensions. We will establish formal models of these applications based on the operational semantics of foundational process calculi for mobility. Our development of static and dynamic analysis will concentrate on two key-features of global computing: performance prediction and security. We will assess the foundational work in a prototypical proof-of-concept environment that hides the formal treatment from the user when possible. We will tune our development by undertaking case-studies on wireless telecommunication applications.

Maturity: Initial Research
Region: UK
Type: Other
Grant Value:
Start Date: 01/01/2002
End Date: Not specified
Project Status: funded
Funding Agency:

Project Members
There are currently no Project Members associated with this project.

Collaborating Organisations
This project is not associated with any organisations at present.

Component(s) Project Develops
This project is not associated with any components at present.

Application Area(s) associated with Project
This project is not associated with any application areas at present.


Last Updated: 22 Jun 12 11:04
This is an archived website, preserved and hosted by the School of Physics and Astronomy at the University of Edinburgh. The School of Physics and Astronomy takes no responsibility for the content, accuracy or freshness of this website. Please email webmaster [at] ph [dot] ed [dot] ac [dot] uk for enquiries about this archive.