Saladin

I Workshop progetto Saladin
Software Architectures and Languages
to Coordinate Mobile Distributed Components

UniVe

Programma del Workshop

Mercoledì 14 Febbraio 2001

Registrazione

14.30
Apertura
P. Inverardi, Università de L'Aquila

15.00
Il Progetto TOSCA
U. Montanari, Università di Pisa

16.00
Coffee Break

Specifica ed analisi di architetture software

16.30
Structuring the JVM architecture
E. Börger, Università di Pisa
[Abstract HTML]

17.00
Architectural specifications of mobile systems: choices for an application
L. Bettini, Università di Firenze, S. Gnesi, IEI-CNR Pisa, A. Fantechi, Università di Firenze
[Abstract HTML]

17.40
Architecting Software Systems with Process Algebras
M. Bernardo, Università di Torino, P. Ciancarini, L. Donatiello, Università di Bologna
[Abstract HTML]

18.10
UML-SPACES: A UML Profile for Distributed Systems Coordinated via Tuple Spaces
E. Astesiano, G. Reggio, Università di Genova

Giovedì 15 Febbraio 2001

Validazione e analisi quantitativa

09.00
On software architecture and web components
M. Jazayeri, Technical University of Vienna

10.00
An approach to testing object oriented software
M. Pezzè, Politecnico di Milano

10.30
Testing Implementation Conformance with respect to its Architectural specification
A. Bertolino, IEI-CNR, Pisa, P. Inverardi, H. Muccini, Università de L'Aquila
[TR-SAL-11 (PS), TR-SAL-13 (PS)], [Slides PowerPoint, 380K]

11.00
Coffe Break

11.30
A strategy and tool for test planning based on UML diagrams
F. Basanieri, A. Bertolino, E. Marchetti, IEI-CNR, Pisa

12.00
UML Based Performance Modelling of Distributed Systems
V. Cortellessa, R. Mirandola, Università di Roma "Tor Vergata"

12.30
Performance Analysis of Software Architecures
F. Aquilani, Università de l'Aquila, S. Balsamo, Università Ca' Foscari di Venezia, P. Inverardi, Università de L'Aquila
[Abstract HTML] [TR-SAL-32 (PS), TR-SAL-27 (PDF), TR-SAL-28 (PS)]

13.00
Using UML diagrams to derive performance models
S. Balsamo, M. Simeoni, Università Ca' Foscari di Venezia
[Abstract HTML] [PS, 125K]

13.15
Pranzo

Architetture software, mobilità e componenti

14.00
Mobile internet application architecture
J. Kuusela, Nokia Research Center, Helsinki, FN

15.00
Middleware for mobility: from Jedi to PeerWare through Lime
G. Cugola, G.P. Picco, C. Ghezzi, M. Monga, Politecnico di Milano

15.30
Coffe Break

16.00
Distributed mobile systems: specification and automatic verification
G. Ferrari, C. Montangero, L. Semini, S. Semprini, Università di Pisa
[Abstract PS, 86K] [Slides HTML]

16.30
A Performance based Methodology to Early Evaluate the Effectiveness of Mobile Software Architectures
V. Cortellessa, V. Grassi, Università di Roma "Tor Vergata"
[Abstract HTML]

17.00
Model checking per logiche (temporali) combinate e sua applicazione al formalismo degli Ambienti Mobili
A. Montanari e M. Franceschet, Università di Udine
[Abstract PS, 146K] [Slides PS, 1.36M]

17.30
Verso un trattamento del caso di studio M-M (Milano-Monga) con notazione UML-like
G. Reggio, M. Cerioli, E. Astesiano, Università di Genova

18.00
Dynamically evolving networks in KLAIM
M. Loreti, R. Pugliese, Università di Firenze
[Abstract HTML]

18.30
XEON: un'architettura sw di componenti XML
L. Bompani, Università di Bologna

20.00
Cena presso il Ristorante La Colomba, Calle della Frezzeria (Venezia). Come raggiungere il ristorante.

Venerdì 16 Febbraio 2001

Analisi e gestione di componenti

09.00
Connectors Synthesis for deadlock-Free Component Based Architectures
P. Inverardi, S. Scriboni, Università de L'Aquila

09.30
Analysis of multiple view software architectures: research project
M. Perin, INRIA

10.00
Using IR Techniques Catalogue, Reuse and Maintain Existing SW Objects
M. Pighin, Università di Udine
[Abstract HTML] [Slides PowerPoint, 222K]

10.15
Coffe Break

10.45
Incontro con il Monitore

12.00
Pianificazione delle attività per il secondo anno (solo reponsabili di Unità)

13.00
Chiusura dei lavori