Il ministero della sanità deve inoltre poter inserire i dati sui medici e sulle strutture sanitarie.

Transcript

1 ESERCIZIO 1 L applicazione da progettare riguarda le informazioni sui neonati, le loro madri, i medici che hanno prestato assistenza durante il parto, e le strutture sanitarie presso cui questi ultimi lavorano. Di ogni persona interessa la data di nascita, il nome ed il cognome. Esistono solamente tre categorie di persone: donne, neonati e medici. Ai fini di questa applicazione, queste categorie possono essere considerate disgiunte. Delle prime interessa il numero di gravidanze, dei secondi se vengono allattati artificialmente, dei terzi i titoli di studio di cui sono in possesso e l anno in cui hanno conseguito ciascuno di essi. Dei medici interessa inoltre la struttura sanitaria presso cui lavorano. Delle strutture sanitarie interessano il codice regionale, l indirizzo e l anno in cui sono state autorizzate dalla Regione. Di ogni neonato interessa la madre, il medico che ha prestato assistenza durante il parto, e se quest ultimo è stato cesareo oppure no. Dopo la nascita un neonato può essere registrato all anagrafe, dopo di che gli può essere attribuito un codice fiscale e successivamente può essere registrato presso la ASL. Il Ministero della Sanità deve poter effettuare, come cliente della nostra applicazione, dei controlli sulla produttività delle strutture sanitarie. A questo scopo, si faccia riferimento ad uno use case che prevede le seguenti operazioni: dato un insieme di medici, calcolare il rapporto fra il numero di parti a cui hanno assistito e il numero di strutture sanitarie distinte in cui lavorano; dato un insieme di neonati, calcolare la percentuale di quelli registrati all anagrafe. Il ministero della sanità deve inoltre poter inserire i dati sui medici e sulle strutture sanitarie.

2 ESERCIZIO 2 L applicazione da progettare riguarda le informazioni su aziende e contenziosi tra aziende. Di ogni azienda interessa il nome e l anno di fondazione (con non possono cambiare). Ogni contenzioso è caratterizzato dall azienda accusatrice, l azienda accusata, la persona eletta per operare come giudice, e l anno di inizio. Si noti che una stessa persona non può fare da giudice in due contenziosi che coinvolgono la stessa azienda accusatrice e la stessa azienda accusata. Di ogni persona interessa il codice fiscale, il nome, il cognome (queste tre proprietà non possono ovviamente cambiare), ed i contenziosi di cui è giudice. Esistono esattamente tre categorie di aziende, che sono fra loro disgiunte: piccole, medie e grandi. Di ogni azienda piccola interessa la città in cui ha sede. Di ogni azienda media interessa conoscere le persone cha hanno stipulato un contratto di lavoro con esse, con l anno di inizio del contratto e lo stipendio previsto. Si noti che una stessa persona può aver stipulato in anni diversi più contratti con la stessa azienda. Di ogni grande azienda interessa conoscere la persona che eventualmente funge da presidente. L ufficio giudiziario del lavoro deve poter effettuare, come cliente della nostra applicazione, dei controlli sui contenziosi. A questo scopo, si faccia riferimento ad uno use case che prevede le seguenti operazioni: dato un insieme S di aziende, restituire il sottoinsieme di S formato da tutte le aziende che sono accusatrici in almeno due contenziosi con la stessa azienda accusata. data una grande azienda A ed una persona P, dire se A è accusata in almeno un contenzioso in cui P opera come giudice. Inoltre si richiede di realizzare la funzionalità per l inserimento delle informazioni relative alle aziende.

3 ESERCIZIO 3 L applicazione da progettare riguarda le informazioni su facoltà, docenti e corsi di una certa università. Di ogni docente interessa il nome ed il cognome, la facoltà di cui `e dipendente e da che anno, i corsi che insegna e da che anno. Di ogni corso interessa il nome. Di ogni facoltà interessa il nome e il preside, che è un docente della stessa università, ma non necessariamente dipendente della stessa facoltà. Un docente può essere preside di più facoltà. Una facoltà può essere scientifica o umanistica (ma non entrambe) o non appartenere a nessuna di queste categorie. Delle prime facoltà interessa il numero di laboratori, delle seconde il numero di biblioteche. Ogni facoltà ha almeno otto docenti fra i suoi dipendenti. Ogni docente insegna fra uno e tre corsi, mentre ogni corso è insegnato da almeno un docente. Ogni docente può essere in servizio oppure assente, in particolare per ferie, malattia o anno sabbatico. Dall anno sabbatico si può tornare solamente in servizio, mentre se se si `e in ferie si può anche andare in malattia e se si è in malattia si può anche andare in anno sabbatico. Il Ministero dell Istruzione deve poter effettuare, come cliente della nostra applicazione, dei controlli sulla gestione delle facoltà. A questo scopo, si faccia riferimento ad uno use case che prevede le seguenti operazioni: dato un insieme di facoltà, calcolare la percentuale di quelle il cui preside non `e loro dipendente; dato un insieme di facoltà, calcolare se il numero medio di corsi insegnati da ciascun docente `e più alto per quelle scientifiche o per quelle umanistiche. Inoltre l amministrazione centrale dell università deve poter immettere i dati relativi ai docenti e alle facoltà.

4 ESERCIZIO 4. L applicazione da progettare riguarda informazioni di varia natura sulle scuole materne. Esistono solamente tre categorie di persone di interesse nell applicazione: le baby-sitter, i bambini, e le maestre. Ai fini dell applicazione, queste categorie possono essere considerate disgiunte. Di ogni persona interessa la città di nascita, il nome ed il cognome. Delle baby-sitter interessa il anche codice fiscale, dei bambini anche il sesso, e delle maestre anche lo stipendio. Inoltre, delle maestre interessa anche la scuola presso cui prestano servizio. Delle scuole interessano il codice regionale, la città, e l anno di fondazione. Di ogni bambino interessa inoltre la baby-sitter che è eventualmente autorizzata a riprendere il bambino all uscita, e di ogni baby-sitter interessa sapere i bambini (zero o più) che può riprendere all uscita. Infine, di ogni bambino interessa anche conoscere la maestra (una ed una sola) che opera come sua insegnante. Dopo l assegnazione della maestra ad un bambino, ad ogni bambino viene assegnato un codice scolastico, dopo di che gli viene assegnata (eventualmente aggiornata nel corso del tempo) una valutazione (da 1 a 8) sul suo livello di socialità. Quando e solo quando questa valutazione è inferiore a tre, il bambino viene considerato problematico. Gli organi preposti devono poter effettuare, come clienti della nostra applicazione, dei controlli sull andamento delle scuole materne. A questo scopo, si faccia riferimento ad uno use case che prevede le seguenti operazioni: data una maestra, calcolare la media delle valutazioni del livello di socialità dei bambini (ovviamente solo quelli ai quali è stato assegnata la valutazione del livello di socialità) ai quali tale maestra insegna; dato un insieme di bambini, calcolare la percentuale di quelli problematici. Inolre, una scietà di baby sitting vuole immettere i dati relativi alle baby sitter e ad i bambini da esse accuditi.

5 ESERCIZIO 5. L applicazione da progettare riguarda la gestione di playlist musicali su dispositivi informatici. Una playlist è formata da un insieme di file musicali da suonare in un certo ordine. Essa ha associato un nome ed una durata (calcolata come la somma delle durate in secondi dei file musicali in essa presenti). Ciascun file musicale è caratterizzato da un nome, da una dimensione in kilobyte, da una durata in secondi e può essere solo in due formati: traccia-cd e mp3. Dei file in formato traccia-cd viene memorizzato il numero della traccia sul cd di cui originariamente faceva parte. I file in formato mp3 hanno associato un tag contenente il nome del brano musicale, il nome dell artista e l anno in cui il brano è stato scritto. Una playlist, una volta preparata, può essere mandata in esecuzione. Una volta in esecuzione, la playlist viene ciclicamente ripetuta, a meno che non venga messa in pausa o in stop. Quando è in pausa o in stop può essere rimessa in esecuzione. La playlist può essere modificata solo quando è in stop. Si supponga che l applicazione debba poter essere fruita online utilizzando un web browser. L utente è interessato ad effettuare i seguenti controlli: data una playlist p ed un numero intero n, verificare se la dimensione complessiva dei file che compongono p è minore di n kilobyte. data una playlist p, calcolare la playlist formata dai soli file mp3 presenti in p mantenendo l ordine relativo degli stessi. dato un file musicale m, restituire il numero di playlist in cui esso è presente.

6 ESERCIZIO 6. L applicazione da progettare riguarda la gestione degli articoli sottomessi ad una conferenza scientifica. Le persone, di cui interessa nome, cognome ed indirizzo di posta elettronica, possono essere autori o revisori, ma non entrambi. Gli articoli, di cui interessa il titolo e la dimensione in kilobyte del file, sono scritti da almeno un autore. Ad ogni articolo viene assegnato un revisore senior e almeno due revisori junior. Un revisore, di cui interessa la nazionalità, non può essere contemporaneamente senior e junior. Su ciascun articolo assegnato loro, i primi esprimono un giudizio positivo o negativo, mentre i secondi assegnano un voto compreso fra 0 e 9. Un articolo, una volta sottomesso, si trova sotto esame e può essere candidato all accettazione o al rifiuto. Nel primo caso può essere definitivamente accettato, oppure tornare sotto esame. Il secondo caso è analogo. Solo ad articoli sotto esame possono essere assegnati revisori. Il comitato di indirizzo della conferenza è interessato, come cliente della nostra applicazione, ad effettuare i seguenti controlli: data una persona, sapere se è autore di almeno un articolo con giudizio negativo o con media dei voti inferiore a 4, che è stato accettato; dato un articolo, sapere se è stato assegnato ad almeno due revisori della stessa nazionalità. Inoltre ogni autore o revisore deve potersi registrare inserendo i propri dati anagrafici.

7 ESERCIZIO 7. L applicazione da progettare riguarda le informazioni sulle visite mediche effettuate in una certa regione. Di ogni visita interessa l assistito a cui è stata effettuata, il medico che l ha fatta, la data di effettuazione e le eventuali prescrizioni indicate. Di ogni persona (medico o assistito) interessa il codice regionale, il nome, il cognome e la data di nascita, le visite che ha ricevuto come assistito. Si noti che una stessa persona può essere medico o assistito, a seconda delle circostanze. Di ogni prescrizione interessa il codice e la visita in cui è stata indicata. Esistono solamente due categorie di prescrizioni, che sono fra loro disgiunte: prescrizione di farmaco e richiesta di ricovero. Delle prime interessa la quantità del farmaco. Delle seconde interessa il reparto previsto. Una visita è inizialmente prenotata; successivamente può essere disdetta o effettuata. Solamente le visite effettuate possono avere l indicazione di prescrizioni. La ASL vuole effettuare, come cliente della nostra applicazione, dei controlli sulle visite. A questo scopo, si faccia riferimento ad uno use case che prevede che si possa sapere: dato un insieme di visite, la percentuale di visite in cui è stato prescritto almeno un farmaco, data una persona p e un anno a, la quantità totale di farmaci che sono stati prescritti a p durante a.

8 ESERCIZIO 8. L applicazione di interesse riguarda la progettazione di appartamenti. Di ogni appartamento interessano l indirizzo, una descrizione testuale, i locali che lo compongono e come questi sono connessi tra loro (si noti che se il locale A è connesso con il locale B, allora anche B è connesso con A). Di ciascun locale interessano i metri quadri ed una descrizione testuale. I locali sono suddivisi in vani generici di cui interessa il tipo ( singolo, doppio, corridoio ), bagni di cui interessa il numero di punti acqua, e cucine di cui interessa il numero di punti gas. Un appartamento è inizialmente in preparazione, alla fine dei lavori diviene pronto per la consegna, a questo punto possono essere richiesti ulteriori lavori (e quindi torna ad essere in preparazione) o può essere consegnato. Solo quando un appartamento è in preparazione si possono aggiungere ed eliminare locali da esso. L utente dell applicazione vuole poter effettuare dei controlli sugli appartamenti. A questo scopo, si faccia riferimento ad uno use case che prevede che, dato un appartamento, si possa: verificare che sia presente almeno un bagno ed una cucina tra i locali di cui `e composto; restituire l insieme di tutti i vani generici che lo compongono. Inoltre deve essere previsto uno use case per l inserimento dei dati relativi ad una appartamento.

9 ESERCIZIO 9. L'applicazione da progettare riguarda la gestione di partite all' interno di un videogioco. Una partita è caratterizzata da un codice (una stringa), da un insieme non vuoto e ordinato di quadri giocati, e dai punti (un intero) guadagnati durante la partita in ciascun quadro. Un quadro è caratterizzato dal nome del file che contiene l'ambientazione. In un quadro, inoltre, possono essere presenti dei personaggi (dato un quadro non è di interesse conoscere quali personaggi sono presenti in esso). Ogni personaggio è caratterizzato dal nome del file che contiene la sua immagine. Alcuni quadri sono dedicati ad un particolare personaggio presente nel quadro stesso e sono caratterizzati dal nome di un file contenente un filmato. Una partita, quando viene creata è inizialmente in pausa. Una partita in pausa può essere messa in gioco oppure può essere terminata. Quando è in gioco può essere messa di nuovo in pausa. La partita può essere modificata solo quando è in gioco. L'utente del gioco è interessato ad effettuare i seguenti controlli: dato un quadro q ed un intero n restituire il numero di partite in cui sono stati guadagnati più di n punti in q; dato un personaggio p restituire l'insieme delle partite che includono un quadro a lui dedicato. Si richiede inoltre di realizzare uno use case per l upload dei file relativi alle immagini dei personaggi ed ai filmati dei quadri dedicati.

10 ESERCIZIO 10. L'applicazione da progettare riguarda la gestione di prenotazioni di una catena di agenzie di viaggi. Un'agenzia è caratterizzata da un codice (una stringa). Un cliente è caratterizzato da nome, cognome e data di nascita. Una destinazione è caratterizzata dal nome. Per ogni agenzia interessa conoscere le prenotazioni in atto: una prenotazione viene stipulata fra un'agenzia e un cliente per una certa destinazione e prevede una data di partenza. L'unica restrizione sulle prenotazioni è che uno stesso cliente non può stipulare due prenotazioni diverse con la stessa agenzia per la stessa destinazione. Per ogni destinazione è di interesse conoscere le prenotazioni in atto. Le destinazioni a rischio sono particolari destinazioni per cui esiste almeno un'agenzia abilitata dal Ministero degli Esteri, e di cui interessa un codice di rischio (una stringa). Delle agenzie abilitate interessa la data di scadenza dell'abilitazione. Un'agenzia non può essere abilitata per più di tre destinazioni a rischio. Un cliente inizialmente viene catalogato come nuovo. Se paga il dovuto (e continua a pagare) viene riconosciuto come affidabile, se è in ritardo nei pagamenti viene catalogato come moroso. Se è stato catalogato come cliente moroso anche solo una volta, anche qualora pagasse il dovuto (quindi non sarebbe più moroso) sarebbe sempre ritenuto sospetto. La Camera di Commercio è interessata ad effettuare un'analisi di qualità dei servizi erogati, che si concretizza nei seguenti controlli: data un'agenzia abilitata, conoscere quanti clienti morosi hanno prenotazioni con essa. data un'agenzia abilitata, se ha effettuato prenotazioni per destinazioni a rischio senza avere l'autorizzazione per esse, oppure se ha effettuato prenotazioni per destinazioni a rischio la cui data di partenza è successiva alla data di scadenza dell'autorizzazione. Prevedere inoltre uno use case per l inserimento dei dati relativi ad un utente e per la modifica dello stato di un utente.

11 ESERCIZIO 11. L'applicazione da progettare riguarda la gestione di slideshow di fotografie in formato elettronico. Uno slideshow è caratterizzato dal nome (una stringa che rappresenta il nome del file nel quale lo slideshow è memorizzato), da un insieme non vuoto e ordinato di fotografie, e da un brano musicale (che viene usato come colonna sonora durante l'esecuzione dello slideshow). Una fotografia è caratterizzata da un nome (una stringa che rappresenta il nome del file nel quale è memorizzata l'immagine) e dal tipo dell'immagine stessa (una stringa, per esempio panorama, primo piano, piano americano, ecc.). Un brano musicale è caratterizzato da un nome (una stringa che rappresenta il nome del file nel quale è memorizzato il brano). Alcuni slideshow sono speciali in quanto possono associare ad alcune fotografie degli effetti di visualizzazione speciali. Gli effetti stessi sono identificati da un codice numerico (un intero). Gli slideshow speciali hanno un titolo (una stringa) che viene visualizzato quando vanno in esecuzione. Uno slide show può essere in tre stati non-attivo", in-esecuzione", in-pausa". Quando non attivo può essere messo in esecuzione con il comando play ; quando in esecuzione può essere messo in pausa con il comando pause" o nello stato non-attivo con il comando stop"; quando in pausa può essere rimesso in esecuzione con il comando play. Lo slideshow può essere modificato (aggiungendo o eliminando fotografie, ecc.) solo quando nello stato non-attivo. L'utente dell'applicazione è interessato ad effettuare diverse operazioni tra cui: dato uno slideshow s ed un tipo di fotografia t, generare in modo automatico un nuovo slideshow s contenente la stessa colonna sonora di s e solo le fotografie del tipo t presenti in s (in un ordine qualsiasi); data una fotografia f restituire il numero di slideshow speciali in cui essa è presente. Si richiede inoltre di realizzare uno use case per l upload dei file relativi alle immagini ed ai brani musicali.

12 ESERCIZIO 12. L applicazione da progettare riguarda la gestione di impianti audio alta fedeltà. Ogni impianto audio è caratterizzato da un codice (una stringa) da un amplificatore da uno o più dispositivi di ingresso (lettore di cd, giradischi, radio, ecc.) e da uno o più diffusori. Un amplificatore è caratterizzato da una descrizione (una stringa) e da una potenza nominale (un intero). Un dispositivo di input è caratterizzato da una descrizione (una stringa), dal tipo (una stringa, ad esempio lettore cd, giradischi, radio, ecc) e da una impedenza di uscita (un reale). Un diffusore è caratterizzato da una descrizione (una stringa) e dall impedenza di ingresso (un reale). A differenza degli amplificatori e dei dispositivi di input, i diffusori possono essere collegati a più di un impianto audio. I diffusori si dividono esattamente in due categorie: per bassi e per medio-alti. I diffusori per bassi sono caratterizzati dalla frequenza minima diffusa. I diffusori medio-alti invece sono sempre in coppia ed dato un diffusore è di interesse individuare il suo compagno. Un impianto audio può essere spento, accesso, o in stand-by. Quando è spento può essere accesso, quando è acceso può essere spento o messo in stand-by, quando è in stand-by può essere acceso o spento. La configurazione di un impianto audio può essere cambiata solo quando questo è spento. Chi configura l impianto audio è interessato a effettuare di versi controlli sullo stesso, in particolare: dato un impianto audio a verificare se esso ha un diffusore per medio-alti ma non il suo compagno; dato un diffusore d produrre l insieme degli impianti audio a cui d è collegato. Realizzare inoltre una funzionalità che consenta di inserire i dati relativi ad una configurazione di un impianto audio.

13 ESERCIZIO 13. L applicazione da progettare riguarda la gestione di librerie di contenuti multimediali. Ogni libreria ha un nome (una stringa) ed un insieme arbitrario di elementi. Ogni elemento è caratterizzato da un nome di un file (una stringa). Gli elementi sono di diversi tipi, tra questi abbiamo i video e i brani musicali. I video sono a loro volta suddivisi in film e video musicali. Dei film interessa il titolo (una stringa) e il regista (una stringa). Di ciascun video musicale interessa il brano musicale a cui è associato. Dei brani musicali interessa il nome (una stringa), l artista (una stringa) e opzionalmente il nome dell album in cui il brano è originariamente apparso (una stringa). Un elemento può essere disponibile, in accesso, o in aggiornamento. Quando è disponibile può essere messo in accesso o in aggiornamento. Sia quando è in accesso che in aggiornamento può essere reso nuovamente disponibile. L elemento può essere modificato solo quando questo è in aggiornamento. Il fruitore della applicazione è interessato ad effettuare diverse operazioni, in particolare: data una libreria l, verificare se essa è formata solo da brani musicali e video musicali; dato un brano b, restituire una nuova libreria l avente come nome il nome di b e contenente b e tutti i video musicali associati a b. Si richiede inoltre di realizzare uno use case per l upload dei file relativi agli elementi della libreria multimediale (video e brani musicali).

14 ESERCIZIO 14. L applicazione da progettare riguarda la gestione di costruzioni per bambini. Sono di interesse le scatole di montaggio, ciascuna caratterizzata da una descrizione testuale e dai tipi di mattoncini che essa contiene (almeno uno) con le rispettive quantità. Alcune scatole sono speciali e sono caratterizzate da un livello di difficoltà (un intero). Tali scatole speciali contengono almeno un tipo di mattoncini elettrificati (per esempio motorini elettrici, dispositivi luminosi, ecc.). I tipi di mattoncini sono caratterizzati dalle dimensioni (rappresentate da una stringa) e dal colore (una stringa). I tipi di mattoncini elettrificati sono inoltre caratterizzati da una specifica elettrica (una stringa). Oltre alle scatole di montaggio sono di interesse le costruzioni realizzabili con i mattoncini. Ogni costruzione è caratterizzata dalle istruzioni di montaggio (una stringa) e dai tipi di mattoncini richiesti, con le rispettive quantità. Alcune costruzioni sono speciali in quanto servono a illustrare un fenomeno elettrico, queste sono caratterizzate da una descrizione testuale del fenomeno (una stringa) e contengono esattamente un tipo di mattoncini elettrificati (in quantità arbitraria). Una costruzione può essere montata e poi esposta. Sia quando è montata che esposta può essere smontata. Inizialmente la costruzione è ovviamente smontata. Il fruitore della applicazione è interessato ad effettuare diverse operazioni, in particolare: data una scatola di montaggio s ed una costruzione c, verificare se s contiene tutti i tipi di mattoncini richiesti per c in quantità sufficienti; dato un tipo di mattoncino elettrificato me, restituire l insieme C delle costruzioni in cui me è richiesto. Realizzare inoltre una funzionalità che consenta di inserire i dati relativi ad una scatola di montaggio.

15 ESERCIZIO 15. L applicazione da progettare riguarda una parte dell interfaccia ad icone di un telefono cellulare di nuova generazione. Ogni icona è caratterizzata da un codice (una stringa) e da una immagine (rappresentata anche essa da una stringa). Alcune icone sono icone attive e sono caratterizzate da: i) un suono (rappresentato da una stringa) che viene prodotto al click su di esse; ii) dall applicazione che viene attivata al click; iii) dalla sequenza (non vuota) di animazioni che vengono mostrate al click e iv) dalle display-area (una o più) che occupano, ciascuna con l indicazione se essa è occupata interamente o meno. Le applicazioni sono caratterizzate dal loro nome e dal nome del file (una stringa) dove è memorizzato il codice eseguibile. Le animazioni sono caratterizzate da un link (una stringa) al codice di visualizzazione. Le display-area dalla posizione (un intero) e dall immagine di background (una stringa). Un animazione, a sua volta, può coinvolgere una o più display-area (anche non correlate con quelle occupate dall icona-attiva che la mette in esecuzione). Una icona-attiva è inizialmente nello stato in-attesa. Al click viene messa nello stato in-animazione e quando il sistema operativo lo segnala passa allo stato in-esecuzione. Infine, quando il sistema operativo segnala la terminazione della applicazione associata, si rimette in-attesa. L icona-attiva può essere modificata (modificando l applicazione attivata, le display-area occupate, la sequenza delle animazioni utilizzate) solo quando è in-attesa. Il fruitore della applicazione è interessato ad effettuare diverse operazioni, in particolare: data una icona-attiva ia, restituire una lista contenente l inverso della sequenza della animazioni che ia utilizza; data una animazione a restituire l insieme delle icone-attive che mostrano a. Si richiede inoltre di realizzare uno use case per l upload dei file relativi al codice eseguibile delle applicazioni.

16 ESERCIZIO 16. L applicazione da progettare riguarda la gestione di trenini elettrici che girano su un sistema di rotaie condiviso. Ogni trenino è caratterizzato da un nome (una stringa) e da una sequenza non vuota ordinata di vagoni ad esso assegnati. Un vagone può ovviamente essere assegnato ad al più un trenino in ogni momento. Ogni vagone è caratterizzato da un codice (una stringa) e da una descrizione (una stringa). Ogni trenino è posto su un binario. Ciascun binario può essere caratterizzato da un codice (un intero) e può essere un binario morto oppure un percorso. Ogni binario morto è legato ad un singolo percorso. Ogni percorso può intersecare altri percorsi (si noti che se il percorso i interseca il percorso j allora ovviamente il percorso j interseca il percorso i). Il trenino, che è inizialmente fermo, può essere fatto partire in avanti o indietro, una volta partito può essere fermato. E di interesse conoscere lo stato del trenino. Inoltre il trenino può essere modificato, aggiungendo o eliminando vagoni solo quando è fermo. L utente del sistema è interessato ad effettuare diversi controlli in particolare: dato un insieme I di trenini, verificare se almeno due di essi sono posti su percorsi che si intersecano; dato un insieme J di vagoni restituire il sottoinsieme di J costituito da vagoni non assegnati ad alcun trenino. Realizzare inoltre una funzionalità che consenta di inserire i dati relativi ad trenino.