AGENDA Serenity Meeting

9:00-9:15
Welcome and Introduction
F. Massacci (UNITN)




9:15-10:00
The Tropos Methodology an Overview
J. Mylopoulos (Toronto & UNITN) and P. Giorgini (UNITN)




10:00-10:30
Coffee Break




10:30-11:30
Modelling Dependability, Security and Trust in Tropos
N. Zannone (UNITN & CINI)




11:30-12:30
From Tropos Models to Agent-Oriented software: principles and tools
L. Penserini (ITC-IRST)




12:30-14:00
Lunch




Case studies issues and criticalities
14:00-14:25
Air-Traffic Management
Y. Asnar (UNITN)




14:25-14:50
E-Business
A. Yautsiukhin/G. Frankova (UNITN)




14:50-15:15
E-Voting
V. Bryl (UNITN)




15:15-15:30
Coffee Break

15:30-16:30
Modelling the Scenarios - Questions & Answers
Input from UNITN - Input from Industry partners (DBL/ENG/SAP/...)




16:30 - 17:00
What is an Organizational S&D Pattern? A proposal for Tropos to Business Processes
F.Massacci (UNITN) and G. Frankova (UNITN)




17:30 -18:00
Smart-Items Scenario Preliminaries for the Review
N. Zannone (UNITN)




Social Dinner
Registration for the social dinner should be made in advance. (Dinner will be on your charge)

9:00-10:30
SERENITY S&D Patterns
Division in groups to discuss the meting in parallel:
- ATM: DBL/ENG/UNITN/...
- E-Business/E-Gov: SAP/UNITN/THAL?/...




10:30-11:00
Coffee Break




11:00-11:30
What Verification for S&D Patterns UNITN