I Workshop progetto
Saladin Software Architectures and Languages
to Coordinate Mobile Distributed Components
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