Fase di Analisi Diagramma delle classi e Specifica delle classi, Diagramma degli Use Case e Specifica degli Use Case

Transcript

1 Fase di Analisi Diagramma delle classi e Specifica delle classi, Diagramma degli Use Case e Specifica degli Use Case Esercizio 9: Officine

2 Esercizio 9 Officine (cont.) (continua l esercizio 6) Le officine riparano i veicoli. Di ogni officina interessano il nome, l indirizzo, il numero di dipendenti, i dipendenti (con l'informazione su quanti anni di servizio ciascun dipendente ha svolto presso l officina), ed il direttore (unico). Si noti che un dipendente lavora presso una ed una sola officina, e che un direttore dirige una ed una sola officina, e non è anche un dipendente (e vice-versa). Dei dipendenti e dei direttori interessano: il codice fiscale, l'indirizzo ed il numero telefono. Dei direttori interessa anche l'età. Di ogni riparazione interessa: il codice, l officina presso cui è eseguita, il veicolo oggetto della riparazione, l ora e la data di accettazione, e, per le riparazioni portate a termine, l ora e la data di riconsegna. Di ogni veicolo interessano: il modello, il tipo, la targa, l anno di immatricolazione, ed il proprietario. Dei proprietari interessa codice fiscale, l indirizzo, ed il numero telefono. Si noti che il proprietario di un veicolo riparato può essere anche un dipendente o il direttore di un officina. Data una officina, gli utenti del sistema vogliono conoscere quali sono i suoi dipendenti, chi è il direttore, quali sono le riparazioni effettuate. Inoltre per ogni direttore è necessario poter risalire alla officina diretta. Infine, dato un veicolo si vuole conoscere il suo proprietario, e data una riparazione si vogliono conoscere il veicolo ed il proprietario. Completare il Class Diagram precedente aggiungendo le operazioni di interesse e fornire la specifica della classe Officina, della classe Riparazione e della classe Direttore.

3 Soluzione 9: Class Diagram Persona CodFis : String Indirizzo : String NumTel : String {disjoint} Riparazione Codice : String DataAccett : Date OraAccett : hour calcolaveicolo() : Veicolo 1..* 0..* Direttore Eta : Integer CalcolaOfficina() : Officina 1 direzione effettua Dipendente Cliente 1..* 1 lavora anniservizio : Integer RipTerminata OraRicons : hour DataRicons : Date riguardante 1 Veicolo Modello : String Tipo : String Targa : String AnnoImm : Integer 1..* 1 Nome : String Indirizzo : String NumDip : Integer 1 1 Officina calcoladipendenti() : Insieme(Dipendenti) calcolariparazioni() : Insieme(Riparazioni) calcoladirettore() : Direttore proprietario calcolaproprietario() : Cliente

4 Soluzione 9: Specifica Classi SpecificaClasse Officina CalcolaDipendenti(): Insieme(Dipendenti) post: result è l'insieme delle istanze di Dipendenti che sono coinvolti in link di tipo lavora con this CalcolaRiparazioni(): Insieme(Riparazioni) post: result è l'insieme delle istanze di RipTerminata che sono coinvolti in link di tipo effettua con this CalcolaDirettore(): Direttore post: result è l'istanza d di Direttore tale che <d,this> è un link di tipo direzione

5 Soluzione 9: Specifica Classi (cont.) SpecificaClasse Riparazione CalcolaVeicolo(): Veicolo post: result è l istanza x di Veicolo tale che <x,this> è un link (unico possibile per this) di tipo riguardante SpecificaClasse Direttore CalcolaOfficina(): Officina post: result è l istanza o di Officina tale che <o,this> è un link (unico possibile per this) di tipo direzione

6 Soluzione 9: Specifica Classi (cont.) SpecificaClasse Veicolo CalcolaProprietario(): Cliente post: result è l'istanza c di Cliente tale che <c,this> è un link (unico possibile per this) di tipo proprieta

7 Esercizio 10 Officine (cont.) (continua l esercizio 9) Le officine riparano i veicoli. Di ogni officina interessano il nome, l indirizzo, il numero di dipendenti, i dipendenti (con l'informazione su quanti anni di servizio ciascun dipendente ha svolto presso l officina), ed il direttore (unico). Si noti che un dipendente lavora presso una ed una sola officina, e che un direttore dirige una ed una sola officina, e non è anche un dipendente (e vice-versa). Dei dipendenti e dei direttori interessano: il codice fiscale, l'indirizzo ed il numero telefono. Dei direttori interessa anche l'età. Di ogni riparazione interessa: il codice, l officina presso cui è eseguita, il veicolo oggetto della riparazione, l ora e la data di accettazione, e, per le riparazioni portate a termine, l ora e la data di riconsegna. Di ogni veicolo interessano: il modello, il tipo, la targa, l anno di immatricolazione, ed il proprietario. Dei proprietari interessa codice fiscale, l indirizzo, ed il numero telefono. Si noti che il proprietario di un veicolo riparato può essere anche un dipendente o il direttore di un officina. Data una officina, gli utenti del sistema vogliono conoscere quali sono i suoi dipendenti, chi è il direttore, quali sono le riparazioni effettuate. Inoltre per ogni direttore è necessario poter risalire alla officina diretta. Infine, dato un veicolo si vuole conoscere il suo proprietario, e data una riparazione si vogliono conoscere il veicolo ed il proprietario. Tracciare il diagramma degli Use Case e fornire la specifica di ogni Use Case

8 Soluzione 10: Use Case Diagram OfficinaDaDirettore Utente InfoOfficina ProprietarioVeicolo DatiRiparazione

9 Soluzione 10: Specifica Use Case SpecificaUseCase ProprietarioVeicolo proprietarioveicolo(v: Veicolo): Cliente post: result è pari a v.calcolaproprietario() SpecificaUseCase DatiRiparazione SpecificaUseCase DatiRiparazione datiriparazione(r: Riparazione): <Veicolo,Proprietario> post: definiamo v come il veicolo v=r.calcolaveicolo() result è pari alla coppia <v,proprietarioveicolo(v)>

10 Soluzione 10: Specifica Use Case SpecificaUseCase InfoOfficina dipendentiofficina(o: Officina): Insieme(Dipendenti) post: result è pari a o.calcoladipendenti() direttoreofficina(o: Officina): Direttore post: result è pari a o.calcoladirettore() elencoripeffettuate (o: Officina): Insieme(Riparazioni) post: result è pari a o.calcolariparazioni()

11 Soluzione 10: Specifica Use Case SpecificaUseCase OfficinaDaDirettore officinadadirettore(d: Direttore): Direttore post: result è pari a d.calcolaofficina()