Sistema Multi-Agente Neuro-Simbolico per il Riutilizzo dei Requisiti
Un nuovo sistema multi-agente neuro-simbolico riconcettualizza il riutilizzo dei requisiti come un processo di elicitazione guidato da modelli. Il sistema utilizza un modello linguistico di grandi dimensioni (LLM) come euristica non deterministica per attraversare un modello di dominio deterministico rappresentato da un reticolo formale di requisiti OOMRAM. Un validatore simbolico deterministico impone vincoli strutturali, eliminando combinazioni di requisiti allucinate. Questo approccio affronta i limiti del Metodo Orientato agli Oggetti per la Redazione e Gestione dei Requisiti (OOMRAM), che si basa su corrispondenze esatte di identificatori e modelli rigidi. Il sistema impedisce agli LLM di generare combinazioni di requisiti strutturalmente non valide o incoerenti.
Fatti principali
- 1. arXiv:2605.01562v1
- 2. OOMRAM è un framework per il riutilizzo dei requisiti
- 3. OOMRAM si basa su corrispondenze esatte di identificatori e modelli rigidi
- 4. Gli LLM offrono flessibilità ma rischiano di generare combinazioni di requisiti non valide
- 5. Il sistema neuro-simbolico riconcettualizza il riutilizzo dei requisiti come Elicitazione Guidata da Modelli
- 6. Un LLM funge da euristica non deterministica
- 7. Un modello di dominio deterministico è rappresentato da un reticolo formale di requisiti OOMRAM
- 8. Un validatore simbolico deterministico impone vincoli strutturali
Entità
—