The Tropos Modeling Language. A User Guide

Tropos e` una nuova metodologia basata sul paradigma dei sistemi multi-agente che supporta il progettista in tutto il processo di sviluppo del software, dall'analisi dei requisiti all'implementazione del sistema. Essa vuole offrire un approccio strutturato allo sviluppo del software, basato sulla costruzione di modelli concettuali definiti secondo un linguaggio di modellazione visuale, i cui elementi base sono concetti quali agente (attore), credenze, obiettivi, piani e intenzioni. Tropos si caratterizza per tre idee chiave: (i) le nozioni di agente, goal, piani e altre nozioni mentalistiche sono usate lungo tutte le fasi di sviluppo del software; (ii) l'adozione di un approccio allo sviluppo del software guidato dai requisiti anziché dai vincoli dettati dalla piattaforma di implementazione scelta; (iii) la costruzione di modelli concettuali seguendo un approccio trasformazionale di tipo incrementale. Questo lavoro si colloca all'interno di un progetto che coinvolge diverse università e istituti di ricerca nel mondo, tra le quali l'Università degli Studi di Trento e l'ITC-irst. Obiettivo di questo documento è quello di fornire una guida all'uso della metodologia Tropos lungo tutte le fasi del processo di sviluppo del software con particolare enfasi al linguaggio di modellazione visuale. Il linguaggio utilizzato in Tropos è un linguaggio di specifica semiformale caratterizzato da un'ontologia, un meta-modello, una notazione grafica e un insieme di regole. L'ontologia è rappresentata da un insieme di concetti per la modellazione (attori, goal, piani) e di relazioni tra questi (dipendenze). Il meta-modello (descritto tramite diagrammi delle classi UML) è necessario per la specifica dei modelli Tropos. Ciascun concetto definito all'interno del meta-modello dispone della propria rappresentazione grafica che lo identifica lungo tutte le fasi del processo. Sono disponibili vari diagrammi che catturano aspetti statici e dinamici dei modelli da più punti di vista. Ogni diagramma è costruito seguendo un insieme di regole precise che guidano all'uso dei concetti durante le diverse fasi del processo di sviluppo del software.