La version consistency nella riconfigurazione dinamica dei processi di business

I sistemi distribuiti basati su componenti (CBDS) costituiscono un modello architetturale che sta avendo una rapida diffusione nel mondo IT. L’architettura di un CBDS è costituita da una rete di componenti che interagiscono tra loro per eseguire transazioni. I CBDS devono essere in grado di evolvere per reagire ai continui cambiamenti del mondo in cui sono calati e nei requisiti che devono soddisfare. L’installazione di aggiornamenti software è tipicamente effettuata offline e richiede l’arresto ed il riavvio del sistema. Tuttavia, diverse categorie di sistemi non possono interrompere le transazioni in esecuzione per effettuare l’aggiornamento. Con l’implementazione della nostra tesi abbiamo sviluppato un framework per rendere sicuri e ottimali gli aggiornamenti dinamici di CBDS basati su processi di business. I componenti (nel nostro caso processi BPEL che orchestrano Web Services) devono essere infatti in grado di evolvere dinamicamente modificando la propria implementazione, tramite l’aggiornamento della logica e delle funzionalità. Il nostro framework si basa sul criterio di Version Consistency, ovvero una policy che attraverso un algoritmo stabilisce quando e come effettuare l’update. Il problema più significativo è infatti capire l’istante temporale in cui effettuare l’aggiornamento di un nodo senza impattare sulla consistenza del sistema. L’approccio di Version Consistency garantisce riconfigurazioni sicure assicurando la correttezza globale del sistema, con bassi tempi di aggiornamento e interruzione del servizio. Inoltre questo criterio è localmente verificabile sui nodi del CBDS, che possono verificare il proprio stato in modo autonomo senza dover ricorrere ad un sistema di gestione centralizzato. La nostra implementazione permette anche una corretta esecuzione dell’algoritmo in caso di transazioni distribuite in concorrenza. Le simulazioni eseguite hanno confermato buone performances sui tempi di aggiornamento nonostante l’overhead introdotto dalla gestione della logica del framework.