lezione 1 introduzione al corso - LabSEDC Wiki

Transcript

lezione 1 introduzione al corso - LabSEDC Wiki
Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo”
Software Engineering and Dependable Computing Laboratory
LEZIONE 1
INTRODUZIONE AL CORSO
Laboratorio di
Ingegneria del Software
Guglielmo De Angelis
[email protected]
chi sono io ?!?!?!
» NOME : Guglielmo
» COGNOME : De Angelis
» SESSO : M
» COSA FACCIO :
» modellazione di sistemi software
» modellazione di proprietà extra-funzionali
» generazione automatica a partire da modelli
» service oriented architecture
» software testing
» GRUPPO : LabSEDC @ ISTI – CNR
» DOVE : Pisa
SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING LABORATORY
ISTITUTO DI SCIENZA E TECNOLOGIE DELL'INFORMAZIONE “A. FAEDO”
chi sono io ?!?!?!
» NOME : Guglielmo
» COGNOME : De Angelis
A
N
A
M
I
T
T
E
!!
S
» COSA FACCIO :
!
LA ILA
» modellazione di sistemi
U
software
E Q
T
A
N
'
A
L
» modellazione R
di proprietà
extra-funzionali
A
U
D automatica
O
» generazione
a partire da modelli
N
E
R SO
E
» service
N oriented
architecture
N
E
G NO
IN» software testing
» GRUPPO : LabSEDC @ ISTI – CNR
» DOVE : Pisa
» SESSO : M
SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING LABORATORY
ISTITUTO DI SCIENZA E TECNOLOGIE DELL'INFORMAZIONE “A. FAEDO”
risorse
»
HOME PAGE CORSO:
»
»
http://labsedc-wiki.isti.cnr.it/labse20122013
e-MAIL :
»
[email protected]
SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING LABORATORY
ISTITUTO DI SCIENZA E TECNOLOGIE DELL'INFORMAZIONE “A. FAEDO”
informazioni sul corso
»
»
il corso è strutturato in 11 lezioni tematiche
i libri di testo consigliati sono:
» J. Arlow, I. Neustadt:”UML2 e Unified Process - analisi
e progettazione Object-Oriented”, 2a Ed.,
McgrawHill. 2007
»
»
P. Grässle, H. Baumann, P. Baumann: “UML 2.0 in Action,
A Project-Based Tutorial”, Packt Publishing, 2005
»
H.E. Eriksson, M. Penker, B. Lyons, D. Fado: “UML 2
Toolkit”, Wiley. 2004.
importanti sono anche :
»
»
»
UML Superstructure Specification
documentazione ufficiale di Acceleo 3.0
presentazioni delle lezioni anni precedenti
SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING LABORATORY
ISTITUTO DI SCIENZA E TECNOLOGIE DELL'INFORMAZIONE “A. FAEDO”
modalità di esame
»
progetto e discussione del progetto
»
»
in combinazione con il corso di teoria
cercherò di riservare l'ultima parte di ogni
lezione a discussioni in classe sullo stato e
sulla interpretazione del progetto, cercando
di facilitare chiarimenti o avanzamenti
collettivi
»
»
se man mano avete domande relativamente al
progetto, siete invitati ad esporle a lezione
discussione sulla base di domande attinenti
»
»
»
la sintassi/semantica del linguaggio UML
aspetti progettuali
aspetti generativi a partire da modelli UML
SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING LABORATORY
ISTITUTO DI SCIENZA E TECNOLOGIE DELL'INFORMAZIONE “A. FAEDO”
struttura del corso – lezione 1 -
BHE !!?!?!
LA “LEZIONE UNO”
E'
QUESTA !!!!
SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING LABORATORY
ISTITUTO DI SCIENZA E TECNOLOGIE DELL'INFORMAZIONE “A. FAEDO”
struttura del corso - lezione 2»
introduzione ai linguaggi di modellazione ed
UML
»
»
»
»
»
»
il problema della conoscenza, trasmissione e
progettazione del software
importanza dei modelli software
i modelli come forma di documentazione
che cosa è UML / obiettivi di UML
i modelli come mezzo di programmazione ed
evoluzione
le viste di UML
SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING LABORATORY
ISTITUTO DI SCIENZA E TECNOLOGIE DELL'INFORMAZIONE “A. FAEDO”
la famiglia di diagrammi UML
»
structure diagrams
»
»
»
»
»
»
»
»
class diagram
object diagram
component diagram
deployment diagram
composite structure diagram
package diagram
….
behavior diagrams
»
»
»
»
»
state machine diagram
activity diagram
use case diagram
interaction diagrams
» sequence diagram
» communication
diagram
» interaction overview
diagram
» timing diagram
...
SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING LABORATORY
ISTITUTO DI SCIENZA E TECNOLOGIE DELL'INFORMAZIONE “A. FAEDO”
struttura del corso – lezione 3 »
use case diagram && activity diagram
»
»
quando e come si usano
sintassi :
»
»
»
»
»
per
per
per
per
casi d'uso
le relazioni tra casi d'uso
descrizione di attività
costrutti di flusso per attività
semantica :
»
»
»
notazione
notazione
notazione
notazione
semantica semi-formale (da specifica)
semantic gap
esempi in classe
SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING LABORATORY
ISTITUTO DI SCIENZA E TECNOLOGIE DELL'INFORMAZIONE “A. FAEDO”
struttura del corso – lezione 4 -
»
class diagram && package diagram
»
»
quando e come si usano
sintassi :
»
»
»
»
notazione per le classi
tipi di dato primitivi di UML
notazione per le relazioni tra classi
semantica :
»
»
»
semantica semi-formale (da specifica)
semantic gap
sematica operazionale (su Java)
SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING LABORATORY
ISTITUTO DI SCIENZA E TECNOLOGIE DELL'INFORMAZIONE “A. FAEDO”
struttura del corso – lezione 5 -
»
sequence diagram
»
»
quando e come si usano
sintassi :
»
»
»
»
notazione per le gli elementi
tipi di dato primitivi di UML
notazione per le relazioni tra gli elementi
semantica :
»
»
»
semantica semi-formale (da specifica)
semantic gap
sematica operazionale (su Java)
SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING LABORATORY
ISTITUTO DI SCIENZA E TECNOLOGIE DELL'INFORMAZIONE “A. FAEDO”
struttura del corso – lezione 6 -
»
presentazione del progetto
»
»
»
»
introduzione allo scenario
presentazione del problema
presentazione delle tecnologie da utilizzare
descrizione agli ambienti operativi
SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING LABORATORY
ISTITUTO DI SCIENZA E TECNOLOGIE DELL'INFORMAZIONE “A. FAEDO”
struttura del corso – lezione 7 -
»
state machines diagram
»
»
quando e come si usano
sintassi :
»
»
»
»
notazione per le stati
notazione per gli le transizioni
macchine a stati gerarchiche
(eventi, guardie, effetti)
semantica :
»
»
»
semantica semi-formale (da specifica)
semantic gap
sematica operazionale (su Java)
SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING LABORATORY
ISTITUTO DI SCIENZA E TECNOLOGIE DELL'INFORMAZIONE “A. FAEDO”
struttura del corso – lezione 8 »
UML : sotto la punta dell'iceberg:
»
»
»
»
la nozione di meta-modello
la specifica di UML
discussioni sulla semantica di UML
la codifica XMI
ATTENZIONE!!!! : QUESTA LEZIONE E'
(POTREBBE ESSERE) UN PO' PALLOSA, MA
POTREBBE ESSERE (E') IMPORTANTE PER
UNA PARTE DEL PROGETTO !!!
SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING LABORATORY
ISTITUTO DI SCIENZA E TECNOLOGIE DELL'INFORMAZIONE “A. FAEDO”
organizzazione del corso – lezione 9 »
Prima Esercitazione
utilizzo di un tool per la modellazione
in UML
» differenza tra modelli UML e disegni
UML
»
SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING LABORATORY
ISTITUTO DI SCIENZA E TECNOLOGIE DELL'INFORMAZIONE “A. FAEDO”
organizzazione del corso – lezione 10 »
ACCELEO (http://www.eclipse.org/acceleo/)
introduzione
» installazione
» esempi di trasformazione
»
SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING LABORATORY
ISTITUTO DI SCIENZA E TECNOLOGIE DELL'INFORMAZIONE “A. FAEDO”
organizzazione del corso – lezione 11 »
Seconda Esercitazione
utilizzo di un tool per la modellazione
in UML
» implementazione di un semplice
trasformatore di modelli
»
SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING LABORATORY
ISTITUTO DI SCIENZA E TECNOLOGIE DELL'INFORMAZIONE “A. FAEDO”
eeehmmmm !?!?!?
OK, la prima è fatta!!!
SOFTWARE ENGINEERING AND DEPENDABLE COMPUTING LABORATORY
ISTITUTO DI SCIENZA E TECNOLOGIE DELL'INFORMAZIONE “A. FAEDO”