Laboratorio Ingegneria del Software - Università degli Studi di L'Aquila - A.A. 2011-2012

Guglielmo De Angelis — 2012-03-01T13:28:11+02:00

Laboratorio Ingegneria del Software - Università degli Studi di L'Aquila - A.A. 2011-2012

Avvisi

Calendario orari per la discussione del progetto (Appello 1 Marzo 2012). — Guglielmo De Angelis 28.02.2012 16:49
Il termine di consegna del progetto e della relazione per l'appello del 1 Marzo 2012 è fissato per il giorno 26 Febbraio 2012 (incluso). — Guglielmo De Angelis 21.02.2012 10:44 27 Febbraio 2012 (incluso). — Guglielmo De Angelis 24.02.2012 09:16
Calendario orari per la discussione del progetto (Appello 6 Febbraio 2012). — Guglielmo De Angelis 17.02.2012 09:48
Il nuovo termine di consegna del progetto e della relazione per l'appello di recupero del 17 Febbraio 2012 è fissato per il giorno 14 Febbraio 2012 (incluso). — Guglielmo De Angelis 10.02.2012 08:54
L'appello di lunedi' 6 febbraio 2012, rinviato a causa della sospensione delle attivià didattica, verrà recuperato secondo le seguenti modalità:
- Ingegneria del Software con Lab. (9 CFU) - cod. F1I074 e cod. F0146 :
  - scritto 15 Febbraio ore 10:00
  - orale 17 Febbraio ore 14:00
- Lab. di Ingegneria del Software (3 CFU) - cod. F1I019:
  - orale 17 Febbraio ore 14:00

Resta invariato il secondo appello previsto per il 29 febbraio. — Guglielmo De Angelis 10.02.2012 08:54

Si avvisa che la prova scritta per l'esame di Ingegneria del Software fissata per lunedi' 6 febbraio 2012, è stata RINVIATA a data da destinarsi, causa sospensione delle attività didattiche. Conseguentemente anche le prove orali del modulo di Ingegneria del Software, e del modulo di Laboratorio, previste per i prossimi giorni sono da intendersi rinviate. Le nuove date per il recupero dell'appello saranno comunicate non appena possibile tramite i siti web del CdL Informatica e dei rispettivi corsi. — Guglielmo De Angelis 04.02.2012 15:43
il termine di consegna del progetto e della relazione per l'appello del 6 Febbraio 2012 è fissato per il giorno 2 Febbraio 2012 (incluso). — Guglielmo De Angelis 26.01.2012 13:13
La lezione 6 : STATE MACHINE DIAGRAM sara' recuperata il giorno 17 Gennaio 2012 nelle ore 11.30-13.15 (aula 1.6) — Guglielmo De Angelis 14.01.2012 11:31
Aggiornata la descrizione del punto Analisi e Documentazione nella sezione Modalità di Esame — Guglielmo De Angelis 14.12.2011 17:03
Pubblicato nella sezione Materiale Didattico && Orario Lezioni il template (in LaTeX ed in MS-Word) da ulizzare per la stesura del Report per il punto Analisi e Documentazione — Guglielmo De Angelis 14.12.2011 16:56
In accordo con le nuove disposizioni da parte della presidenza di Scienze MM.FF.NN., le nuove fasce orarie per lo svolgimento delle lezioni sono: MATTINO dalle ore 9,30 alle ore 13,15 e POMERIGGIO dalle ore 14,15 alle ore 18,00. Di conseguenza, a partire da oggi, le lezioni di Laboratorio di Ingegneria del Software sono da intendersi adattate al nuovo orario. — Guglielmo De Angelis 12.12.2011 11:22
Mercoledi' 30 Novembre 2011, dalle ore 16.30 alle ore 18.30 (aula 2.4), si svolgerà una lezione integrativa del modulo di Laboratorio di Ingegneria del Software. — Guglielmo De Angelis 28.11.2011 16:24
Martedi' 29 Novembre 2011 la lezione del modulo di Laboratorio di Ingegneria del Software prevista nelle ore 11.30-13.30 (aula 1.6) non avra' luogo, e sara' sostituita da una lezione del modulo di Ingegneria del Software. La lezione 6 : STATE MACHINE DIAGRAM sara' recuperata nel mese di Gennaio 2012 — Guglielmo De Angelis 28.11.2011 15:17
La lezione 4 “CLASS DIAGRAM E PACKAGE DIAGRAM” verrà conclusa il 29 Novembre 2011. — Guglielmo De Angelis 18.11.2011 11:04
Su richiesta degli studenti, nel periodo 10 - 27 Gennaio 2012, è possibile concordare lo svolgimento di ulteriori esercitazioni pratiche sull'uso di UML, e Acceleo. — Guglielmo De Angelis 18.10.2011 10:40

Contatti

mail :
Guglielmo De Angelis
forum : Forum per gli Studenti

Materiale Didattico && Orario Lezioni

20 Ottobre 2011 : ore 11.30-13.30 aula 1.6
- lezione 1 : INTRODUZIONE AL CORSO
- lezione 2 : I LINGUAGGI DI MODELLAZIONE && UML
27 Ottobre 2011 : ore 11.30-13.30 aula 1.6
- lezione 3 : USE CASE DIAGRAM && ACTIVITY DIAGRAM
  - Prima parte
8 Novembre 2011 : ore 11.30-13.30 e ore 14.30-16.30 aula 1.6
- lezione 3 : USE CASE DIAGRAM && ACTIVITY DIAGRAM
  - Seconda parte
- lezione 4 : CLASS DIAGRAM E PACKAGE DIAGRAM
  - Prima parte
17 Novembre 2011 : ore 11.30-13.30 aula 1.6
- lezione 4 : CLASS DIAGRAM E PACKAGE DIAGRAM
  - Seconda parte
29 Novembre 2011 : ore 11.30-13.30 e ore 14.30-16.30 aula 1.6
- lezione 5 : SEQUENCE DIAGRAM
- lezione 6 : STATE MACHINE DIAGRAM
1 Dicembre 2011 : ore 11.30-13.30 aula 1.6
- lezione 7 : Presentazione del Progetto
  - Introduzione al tema del progetto, agli ambienti, ed alle tecnologie coinvolte.
13 Dicembre 2011 : ore 11.30-13.30 e ore 14.30-16.30 aula 1.6
- lezione 8 : UML : SOTTO LA PUNTA DELL'ICEBERG
  - (SPECIFICA, SEMANTICA, ed XMI)
- lezione 9 : Esercitazione con tool di Modellazione UML Esempio Illustrato in classe
15 Dicembre 2011 : ore 11.30-13.30 aula 1.6
- lezione 10 : ACCELEO, Esempio svolto in classe

Template per il Report

Template per LaTeX
Template per MS-Word (file “dot”)

Materiale didattico su come Scrivere un Paper/Report

Presentazione del Prof. Henry Muccini
Articolo di esempio : Software Engineering Issues for Mobile Application Development

Testi consigliati:

Patrick Grässle, Henriette Baumann, Philippe Baumann: “UML 2.0 in Action, A Project-Based Tutorial”, Packt Publishing, 2005
Hans-Erik Eriksson, Magnus Penker, Brian Lyons, David Fado: “UML 2 Toolkit”, Wiley. 2004.
Specifica di Riferimento per UML
Cécile Péraire, Mike Edwards, Angelo Fernandes, Enrico Mancin, Kathy Carroll : The IBM Rational Unified Process for System z, ibm.com/redbooks. 2007. Disponibile qui.

Acceleo
- The Official Documentation
- The Offical Acceleo Wiki
- Jonathan Musset : “Acceleo Code Generation : Let's start with an Android example”. The tutorial is available here

Modalità di Esame

Il progetto è strutturato nelle seguenti parti; ogni parte è suddivisa in una serie di punti. In particolare :

Analisi e Documentazione

Stesura di un report di documentazione che contenga i seguenti capitoli/sezioni (max 15 punti):
- Definizione dei requisiti : si raccolgono i requisiti del sistema
- Analisi dei requisiti : partendo dai requisiti indicati al punto precedente, se ne identifichino le correlazioni/dipendenze mediante una delle tecniche viste nel corso di teoria; si stabiliscano eventuali problemi (incompletezza ed inconsistenza) e le si risolvano; si specificano tecniche di tracciabilità dei requisiti sul design e sulla implementazione.
- Progettazione Architetturale : Progettazione architetturale del software richiesto e della sua integrazione con i servizi di bacheca esistenti attraverso sia System Models che Pattern Architetturali le architetture di riferimento viste nel corso di teoria.

Il suddetto report deve essere formattato secondo il formato scaricabile dalla sezione Materiale Didattico && Orario Lezioni, e non deve eccedere le 10 pagine di lunghezza (Figure, tabelle, bibliografia inclusi. Diagrammi prodotti nei punti seguenti esclusi.)

Progettazione

Use-Case Diagram : partendo dai requisiti di sistema modellare un caso d'uso (o più se necessario) che descriva le funzionalità del sistema e gli attori coinvolti. (max 6 punti)
Activity Diagram : per almeno uno dei casi d'uso identificati nel punto precedente descrivere la sequenza di passi necessari per il compimento dell'attività. Evidenziare eventuali ruoli nel workflow, e relazioni con gli Use-Case Diagram. (max 6 punti)
Class Diagram : in base ai risultati dei punti precedenti, definizione le entità strutturali del sistema e le relazioni che intercorrono tra loro. (max 6 punti)
Sequence Diagram : in base ai risultati dei punti precedenti, progettare un insieme di interazioni tra le entità modellate nel class diagram. (max 6 punti) In particolare si richiede di progettare un insieme minimo di diagrammi per la verifica dei seguenti scenari di integrazione:
- registrazione di un post
- registrazione di un post non corretto
- registrazione di un feedback
- registrazione di un feedback non corretto
- propagazione di un post
- propagazione di un feedback
- valutazione della funzione di trust inter-bacheca nella propagazione di un feedback

Implementazione

Implementare in Java (o in un linguaggio di programmazione analogo) il sistema modello nella parte precedente. (max 15 punti)

Trasformazione di Modelli

scrivere un trasformatore ACCELEO che, preso in ingresso un modello UML e per ogni package contenuto nel modello, crei un file che documenti come segue ogni classe in esso contenuta (max 6 punti):
1. nome della classe
2. visibilità della classe nel package
3. descrizione completa degli attributi della classe
4. una descrizione completa delle operazioni e dei parametri della classe
5. le relazioni in cui la classe è coinvolta
  - per relazioni con classi esterne al package, utilizzare nomi assoluti

Ad ogni punto della parte di Progettazione viene assegnata una valutazione fino ad un massimo di 6 punti. Ai punti della parte di Implementazione, e di Analisi e Documentazione viene assegnata una valutazione fino ad un massimo di 15 punti. Al punto della parte di Trasformazione di Modelli viene assegnata una valutazione fino ad un massimo di 6 punti.

L'assegnamento del punteggio di valutazione sarà dipendente dalla complessità degli scenari modellati, dal numero di persone coinvolte nella realizzazione del progetto e dalla discussione orale.

Il voto finale è dato:

[modulo di laboratorio] dalla somma dei punteggi ottenuti in TUTTE le parti viene mediata in modo pesato (peso = 2/3) con il voto ottenuto nalla prova scritta del corso di Ingegneria del Software.
[corso di laboratorio] dalla somma dei punteggi ottenuti nelle SOLE parti di PROGETTAZIONE e TRASFORMAZIONE DI MODELLI.

IMPORTANTE : Per conseguire il pieno punteggio sugli esercizi di modellazione è essenziale che siano rispettati i livelli di astrazione, siano modellati i concetti con i costrutti appropriati (es. la proprietà “Nome” di una transizione è semanticamente diversa dalla proprietà “Guardia”), esistano le correlazioni richieste tra i vari diagrammi/concetti. Inoltre, per conseguire il pieno punteggio sull'esercizio di Generazione Automatica è tassativamente richiesto che:

venga generato un file di output per package,
l'output contenga almeno le proprietà sopra indicate,
l'output non sia una copia spudorata dell'esercizio visto in classe ( vedi allegato a Lezione 10 ).

La prova deve essere consegnata (orientativamente) una settimana prima la data dell'appello. Tuttavia verrà inserito un avviso (nella sezione ad inizio pagina) per ogni specifico appello o sessione.

Tool di Modellazione UML

Altri Link Utili

The UML Resource Page

The Acceleo 3.0 website

GLIMPSE Public Page

Antonello Calabrò — 2012-02-17T11:37:15+02:00

GLIMPSE Public Page

Generic fLexIble Monitoring based on a Publish-Subscribe infrastructurE

GLIMPSE, is a monitoring infrastructure that will be used to support behavioural learning, performance and reliability assessment, security, and trust management, however the infrastructure is totally generic and can be easily applied to different contexts.

Infrastructure

GLIMPSE Events structure

GLIMPSE is able to catch events coming in from probes.

Those probes must sends events that implements the ConnectBaseEvent interface.

GLIMPSE Transmitted Data Structure

ComplexEventRule: The XSD of the ObjectMessage sent by the GlimpseConsumer to request an evaluation.

GlimpseBaseEvent<?>: The object sent into the data field of the ObjectMessage sent by the GlimpseProbe to Glimpse

ComplexEventException: The XSD of the ObjectMessage sent by GlimpseManager to notify to the GlimpseConsumer an exception occurred into the SUT.

ComplexEventResponse: The XSD of the ObjectMessage sent by GlimpseManager to notify an occurrence of the requested pattern to the GlimpseConsumer.

GLIMPSE requirements

ServiceMix4: http://servicemix.apache.org/SMX4/download.html
A client able to send and receive JMS messages

Prototype Download - ALPHA Version -

Prototype USAGE - ALPHA Version -

Install and run service mix

Modify the parameter “org.apache.activemq.jndi.ActiveMQInitialContextFactory java.naming.provider.url =” contained into the environmentFile of each packet (glimpseEnabler, glimpseProbe, glimpseManager) with the ipaddress of your serviceMix4 installation.

For CONNECT use: tcp:atlantis.isti.cnr.it:61616 For ChoreOS use: tcp:dsbchoreos.petalslink.org:61616

Start the manager typing: java -jar GlimpseManager.jar systemSettings

It is possible to use one or more probe, to do that, just modify the parameter connectorName into the probeSettings file.

Publications

GLIMPSE: A Generic and Flexible Monitoring Infrastructure

Automated Refinement of Dependability Analysis through Monitoring

Towards a model-driven infrastructure for runtime monitoring

Deliverable D4.2

Deliverable D5.2

GLIMPSE: A Generic and Flexible Monitoring Infrastructure - ACM Link

LabSE Wiki

Laboratorio Ingegneria del Software - Università degli Studi di L'Aquila - A.A. 2011-2012

Laboratorio Ingegneria del Software - Università degli Studi di L'Aquila - A.A. 2011-2012

Avvisi

Contatti

Materiale Didattico && Orario Lezioni

Template per il Report

Materiale didattico su come Scrivere un Paper/Report

Testi consigliati:

Modalità di Esame

Analisi e Documentazione

Progettazione

Implementazione

Trasformazione di Modelli

Tool di Modellazione UML

Altri Link Utili

MetaModel eCore & Editor

MetaModel eCore & Editor

Prototype Download Alpha Version

Installation and Usage guide

Publications

Contacts

GLIMPSE Public Page

GLIMPSE Public Page

Infrastructure

GLIMPSE Events structure

GLIMPSE Transmitted Data Structure

GLIMPSE requirements

Prototype Download - ALPHA Version -

Prototype USAGE - ALPHA Version -

Publications

Contacts