Thesis full text PDF - Politecnico di Milano

2.1. GOAL DIAGRAM 11
Oltre ai goals, il linguaggio definito da KAOS comprende altre ontolo-
gie come reti semantiche, agenti, oggetti, linee temporali e operazioni da
compiere sul sistema.
Gli oggetti rappresentano entità, relazioni ed eventi e le loro istanze
possono evolversi cambiando più volte il loro stato.
Le operazioni sono relazioni di input e output fra gli oggetti, determinano
un cambio di stato e possiedono precondizioni, postcondizioni e triggers per
l’attivazione.
Un agente è un tipo particolare di oggetto che si propone come un com-
ponente attivo quale può essere una persona, un device o un software.
Gli agenti non possono compiere operazioni su tutti gli oggetti del sistema
ma solo su quelli appositamente definiti.
Un goal è definito come una dichiarazione di obiettivi di un sistema la
cui soddisfazione in genere richiede la cooperazione di alcuni degli agenti che
costituiscono tale sistema.
I goals in KAOS possono riferirsi a dei servizi, functional goals, o alla
qualità dei servizi, non-functional goals.
I goals sono organizzati gerarchicamente secondo relazioni AND/OR e il
raffinamento del diagramma ha termine quando ogni sottogoal è realizzabile
da parte dell’agente assegnatogli. Per questo motivo ogni goal deve essere
espresso in termini di condizioni visibili e controllabili dall’agente.
Riassumendo, il framework KAOS è costituito da questi elementi:
• goal model: rappresentazione dei goals e degli agenti assegnati;
• object model: un modello UML derivato dalle specifiche formali dei
goals;
• operation model: i servizi da fornire agli agenti software.
Una mancanza di KAOS è un metodo per determinare l’impatto delle
decisioni prese in fase di design sui requisiti non funzionali del sistema.