Design Environments for Global Applications
description
Transcript of Design Environments for Global Applications
1UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYS
Design Environments for Global Applications
DEGAS
2UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYS
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')
3UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYS
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
4UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYS
• 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.
5UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYS
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
6UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYS
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
7UNITN - IMM - DIPISA
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
8UNITN - IMM - DIPISA
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
9UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYS
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
10UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYS
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.
Self-Evaluation Criteria
11UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYS
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.
Self-Evaluation Criteria
12UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYS
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.
Self-Evaluation Criteria
13UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYS
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
14UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYS
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.
Self-Evaluation Criteria
15UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYS
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.
Self-Evaluation Criteria
16UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYS
- 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
17UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYS
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.
18UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYS
Y2 main recommendationTo further investigate the AGILE airport case study as a test case into DEGAS.
We fully exploited the example(recall presentations)
19UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYSResources
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
20UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYSResources
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
21UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYSResources
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
22UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYS
FUTURE
We wait for the approval of deliverables and then
1. Dissemination material (DVD)2. TIP3. Final PPR4. Leaflets
23UNITN - IMM - DIPISA
UEDIN - MTCI - OMNYS
FUTURE
GC2:
Agile + Degas
AdditionalPartners
SENSORIA