Lo sviluppo del software diventa più semplice
I sistemi software divengono sempre più grandi e complessi, e richiedono soluzioni sempre più sofisticate per agevolare l'ingegnerizzazione del software. Il progetto RIVAR ("Rich interfaces for verifiable aspect reuse"), finanziato dall'UE, ha sviluppato nuovi approcci che suddividono le sfide da vincere in più parti, e ricombinano le soluzioni parziali all'interno di sistemi modulari integrati. Il progetto ha analizzato tale scomposizione attraverso la lente della programmazione orientata agli aspetti (AOP), prendendo in considerazione varie strategie di modularizzazione che consentono ai programmatori di conservare in modo efficiente le gerarchie di modularizzazione in parallelo, e di combinare le stesse nella produzione di un unico sistema completo. Per raggiungere i propri obiettivi, il progetto RIVAR ha analizzato il codice sorgente di tre grandi sistemi basati sugli aspetti, documentando le specifiche ipotesi fatte dai loro sviluppatori. I ricercatori hanno poi catalogato i dati in un'unica pubblicazione che può tra l'altro essere utilizzata per l'elicitazione di assunti nel test dei codici. Il catalogo di tipi di assunti di aspetti che ne è derivato, è stato presentato all'International Conference on Aspect-Oriented Software Development, 2011, concentrandosi in particolare sul linguaggio AspectJ. Il progetto ha inoltre sviluppato modelli di espressioni formali dei tipi di assunti, per verificare che gli assunti di un aspetto possano essere facilmente integrati in un sistema base. Gli sviluppatori orientati agli aspetti possono utilizzare tali modelli per agevolare differenti elementi chiave dell'ingegnerizzazione del software. Molti degli strumenti utili a compiere quest'impresa sono stati pubblicati sul sito Web del progetto, che contiene paper pubblicati, dati correlati e altre risorse.
