Compiti e compitini

andreRondoandreRondo Posts: 28
edited July 2017 in Ingegneria del software
Salve a tutti, qualcuno ha provato a fare l'esercizio 3 del primo compitino, quello di Jackson?
Come avete rappresentato la sotto-macchina "Controllo Accessi" ?
Questo è il testo:
Si consideri il sottoproblema relativo al controllo delle porte dei vagoni e di banchina. Si definisca un modello del dominio secondo Jackson, che includa sensori e attuatori delle porte e la posizione dei vagoni, nonchè la sotto-macchina "Controllo Accessi", su cui si possa esprimere il requisito di sicurezza che se il vagone non è presente in banchina, con le porte aperte, allora le porte di banchina devono essere chiuse. Si dia una formalizzazione (anche ad alto livello) dei fenomeni condivisi fra i domini individuati e del requisito di cui sopra.

Comments

Sign In or Register to comment.