design environments for global applications

1UNITN - IMM - DIPISA

UEDIN - MTCI - OMNYS

Design Environments for Global Applications

DEGAS



Plan of the review:1. Introduction to the team and the project (5')2. Follow-up from previous review (10')3. Main technical achievements in the reference period (50')

30' Coreographer demo10' Dynamic10' Static

4. Exploitation and dissemination, Impact assessment (20') 10' MMPORG videoclip 10' WebBased MicroBusiness

5. Financial aspects: resources spent, etc. and Future plans (5')



University of Trento

Technical University of Denmark

University of Pisa

University of Edinburgh

Motorola Electronics

Omnys Wireless Technology

PARTICIPANTS:PARTICIPANTS:

Italy

Denmark

Italy

United Kingdom

Italy

Italy

University of TrentoProf. Corrado PriamiDipartimento di Informatica eTelecomunicazioniVia Sommarive, 1438050 Povo (TN) - ITALY

PROJECT COORDINATOR:PROJECT COORDINATOR:

Email: [email protected] Tel.: +39 0461 882085Fax: +39 0461 881624

TOTAL PROJECTCOST:

Euro 2.283.386

EU FUNDING: Euro 1.600.000 DURATION:

START DATE:

40 months

1st January 2002



• OBJECTIVESDegas addresses foundational aspects for the design of global applications

by enhancing the state of the art in scientific as well as engineering principles. The main concerns are the specification in UML and the qualitative and quantitative analysis of global applications.

• DESCRIPTION OF WORKCustomization of a tool to build the designers interface and manipulate

UML models. Extraction from UML models to process algebra representation. Reflection of the formal analysis in UML notation. Case studies of two global (wireless) applications.

• EXPECTED RESULTSUML extensions. Definition and implementation of extractors. Definition

and implementation of new models and techniques for the analysis of global applications.



Qualitative and Quantitativeanalysis (Performance, Security)

UML models and specificationsof Global Applications

Representation inProcess Algebra

ExtractionExtractionExtractionExtraction

ReflectionReflectionReflectionReflection

DEGASEnvironment

DEGASEnvironment

Designer’sInterface

Designer’sInterface

THE PROJECT SCOPETHE PROJECT SCOPE



WP1 Management of the project

WP2 Assessment of progress and results

WP3 UML feasibility, modification and

tool customization

WP4 Extraction, Reflection and integration

WP5 Dynamic analysis

WP6 Static analysis

WP7 Case studies

UNITN

UNITN

UEDIN

UNITN

DIPISA

IMM

MTCI

Structure of the project


UEDIN - MTCI - OMNYSStructure of the project

UML

Dynamic analysis(PePa, EOS)

Static analysis(LySa)

Case study 1

Case study 2

WP5

WP6

WP4

WP7

WP3


UEDIN - MTCI - OMNYSDeliverables

D4 International WK proceedings UNITND5 Final report and TIP UNITND13 Final report dynamic techniques DIPISAD14 Final report static techniques IMMD20 Reflector UNITND21 UML tool customization for reflection UEDIND22 Degas prototype UNITND23 Project meetings UNITND26 Case studies MTCI



INDICATORS

• POSITIONING WITH RESPECT TO THE STATE OF THE ART

• COMPARISON WITH ALTERNATIVE/COMPETING APPROACHES

• USABILITY AND EXPLOITATION PERSPECTIVES

• DISSEMINATION

• OTHER SCIENTIFIC CRITERIA

STRONG & WEAK VERSION

Self-Evaluation Criteria



POSITIONING WITH RESPECT TO THE STATE OF THE ART

S1 - implementation of a real mobile MMPORG (Massive Multi Player Online Role-playing Game) game running in a distributed environment.

W1 - Ability of deriving quantitative measures about protocols and for their performance analysis.




COMPARISON WITH ALTERNATIVE/COMPETING APPROACHES

S2 - Clarification of the fundamentally different behaviours of model checking and static

analysis as regards protocol validation;The extractor, that allows UML users to obtain representations of their protocols in the

process algebra LySa with no knowledge on it.

W2 - Capability of using model checking to validate the flaws reported by static analysis.




USABILITY AND EXPLOITATION PERSPECTIVESS3 - Design of the analysis tool so that also educated users outside of the research group (mainly MSc-students) can use the tool for realistic

protocols.The PEPA workbench is now equipped to accept models as

XMI files from a UML tool and will automatically reflect results into the XMI file, removing the need for the user to understand PEPA. The mathematics is transparent to the user.

S4 - The ability of both PEPA and PEPA nets to handle real globalapplications has been demonstrated on a number of (published) case studies.

W4 - Ability to analyse the OASIS protocol for Single SignOn and finding a new flaw.




S5/W5:

We developed an integrated environment based on the coreographer that could surely be exploited on software production frameworks. We think to have surely matched this weak indicator and having good chances to catch the strong one as well.

Self-Evaluation



DISSEMINATION

S6 - The ability to teach the analysis method to advanced MSc-students and PhD-students that subsequently can

use it for projects.

W6 - Presentation of scientific documentation to relevant conferences and presence of the project on the

web.




OTHER SCIENTIFIC CRITERIA

S7 - Organization of international events on topics related to the project and publication of proceedings in scientific books.

Jane Hillston winning of the Roger Needham award for the PEPA project over the last ten years, including the

DEGAS work.

W7 - Publication of results in relevant conferences and international journals.




- Publications: 46 Presentations: 39

- Meetings attended and visits:

• Project meetings: 3

• Visits among project partners: 7 (1 long)

• Conference, Workshop, etc: 12

- Other

• PhD courses: 3

• PhD theses: 2

• Undergraduate dissertations: 3

• Master theses: 6

• Organization of international events: 2

Dissemination



Y1 recommendations

No biological work done under DEGAS, it isgoing on with other funded projects

to further emphasize the integration of formal systems models with UML models and to clearlydemonstrate the relevance of the former within the framework of the later;

to clearly identify which part of the work on modelling biological systems will be pursued in thecurrent project, how this work contributes to the overall goals of the project, and which of thecurrently planned work it will replace.

Implementation of prototypes, analysis of case studies,discovery of flaws.



Y2 main recommendationTo further investigate the AGILE airport case study as a test case into DEGAS.

We fully exploited the example(recall presentations)


UEDIN - MTCI - OMNYSResources

QuickTime™ and aTIFF (LZW) decompressor

are needed to see this picture.



QuickTime™ and aTIFF (LZW) decompressor

are needed to see this picture.



Cumulative efforts whole project

EST ACT Var %UNITN 153 166,5 8,82353IMM 45 43 -4,4444DIPISA 85 89 4,70588UEDIN 94 94 0MTCI 43 46,65 8,48837OMNYS 27 32,22 19,3333TOTAL 447 471,37 5,4519



FUTURE

We wait for the approval of deliverables and then

1. Dissemination material (DVD)2. TIP3. Final PPR4. Leaflets



FUTURE

GC2:

Agile + Degas

AdditionalPartners

SENSORIA

design environments for global applications

Documents