Un linguaggio dichiarativo per l'ingegneria di sistemi ad agenti nell'impresa virtuale

La tesi ha lo scopo di definire un linguaggio di tipo dichiarativo per la descrizione di workflow schema, spostando quindi l'approccio dal tradizionale paradigma control-driven verso quello information-driven. Questo approccio propone una rappresentazione diretta tra gli enti facenti parte del workflow in grado di migliorare la dinamicità, l'adattabilità e l'inspectability a run-time. La conseguenza maggiore dovuta all'utilizzo di questo tipo di linguaggio è la naturale propensione alla scomposizione (difficilmente realizzabile con la descrizione del comportamento del flusso di lavoro) che porta alla definizione di un'architettura (quindi protocollo) basata su infrastruttura ad agenti in grado di gestire lo split dello schema su differenti motori di workflow distribuiti.