Studio del linguaggio TROPOS per la modellazione dei requisiti orientata agli agenti

Transcript

1 tesi di laurea Studio del linguaggio TROPOS per la modellazione dei requisiti orientata agli agenti Anno Accademico 2005/2006 relatore Ch.mo Prof. Stefano Russo correlatore Ing. Generoso Paolillo candidato Domenico Luongo Matr. 831/184

2 Contesto L analisi e la modellazione dei requisiti sono tra le problematiche più sentite nella realizzazione di un sistema software Nella definizione dei requisiti occorre tener conto delle possibili relazioni sociali tra gli attori coinvolti nel dominio applicativo Obiettivo Studio di un nuovo strumento per la modellazione dei requisiti: TROPOS La metodologia TROPOS si distingue per l attenzione ai requisiti ed alle relazioni sociali TROPOS è un progetto di ricerca a cui partecipano diverse Università ed Istituti internazionali

3 Fasi del processo Il processo di sviluppo si articola in cinque fasi, in modo iterativo: Early Requirements: modellazione degli Stakeholders come attori e dei loro rispettivi obiettivi Late Requirements: modellazione dell attore System-to-be e dei suoi compiti Architectural Design: definizione dei System components e scelta dell architettura da impiegare Detailed Design: agentificazione degli attori e definizione delle loro capabilities Implementation: implementazione del sistema

4 Linguaggio TROPOS TROPOS è un linguaggio di modellazione visuale basato su concetti dell organizzazione sociale: Attore: entità autonoma Goal: obiettivo da raggiungere Softgoal: obiettivo di desiderabile soddisfacimento Piano: azione da compiere Risorsa: informazione oppure oggetto da fornire od ottenere TROPOS permette l analisi di sistemi complessi mediante l uso di Relazioni di dipendenza Punti di vista degli attori Diversi tipi di analisi e decomposizione dei goal

5 Diagrammi di TROPOS Actor Diagram: modella le relazioni tra gli stakeholders e sistema Goal Diagram: analizza come attori e sistema realizzano i propri goals Actor Diagram Goal Diagram

6 Formal TROPOS Formal TROPOS è il linguaggio formale da affiancare ai diagrammi Si usa per evitare ogni tipo di ambiguità derivante dal modello Conferisce dinamicità ai diagrammi Permette di specificare più alternative di esecuzione SoftGoal Ridurre Rimanenze Task Consultazione Catalogo Mode maintain Attribute condition (Cliente AND Negozion On-line) is true Goal Scegliere Prodotto &maintain Attribute condition (Cliente AND Negozion On-line) is true Resource Prodotto Creation trigger (Scegliere Prodotto is fulfilled) AND (Dati Prodotto is provided) SoftGoal Risparmiare Resource Dati Prodotto Creation condition Scegliere Prodotto is fulfill Task Dependency Consultazione Catalogo Depender Cliente Dependee Negozio On-line Resource Dependency Prodotto Depender Cliente Dependee Negozio On-line Goal Dependency Scegliere Prodotto Depender Cliente Dependee Negozio On-line Listato Formal TROPOS

7 Linguaggio Secure TROPOS Secure TROPOS è un evoluzione di TROPOS incentrato sulla sicurezza Le fasi del processo non cambiano ma vengono impiegate nuove relazioni: Ownership degli obiettivi Providing delle risorse Trust verso un attore Distrust verso un attore Delegation di un servizio Monitor di un attore Due nuovi diagrammi: Trust Model Trust Implementation Model Trust Implementation Model

8 Strumenti di sviluppo Gli strumenti di sviluppo permettono la verifica automatica dei conflitti nei modelli Indispensabili nel caso di complessi sistemi Gestiscono l integrazione con i preesistenti linguaggi di modellazione e programmazione Sono sviluppati dagli stessi autori di TROPOS ST-Tool

9 Conclusioni TROPOS si propone come nuovo paradigma di sviluppo di sistemi software: Utilizza un approccio allo sviluppo del software guidato dai requisiti Impiega le stesse nozioni in tutte le fasi dello sviluppo del software Permette costruzione di modelli concettuali complessi seguendo un processo di trasformazione incrementale Consente l utilizzo di un linguaggio formale in aggiunta a quelli visuali Si integra completamente con gli esistenti strumenti per lo sviluppo di sistemi Agent- Oriented E supportato da una sempre più ampia comunità di ricercatori e sviluppatori