LLM testati su diagrammi di sequenza di messaggi di alto livello

Un nuovo studio valuta se i modelli linguistici di grandi dimensioni (LLM) comprendono la semantica dei diagrammi di sequenza di messaggi di alto livello (HMSC), un linguaggio di modellazione visiva con semantica formale utilizzato nell'architettura software. I ricercatori hanno testato tre LLM—Gemini-3, GPT-5.4 e Qwen-3.6—su 129 compiti semantici, che vanno dall'ordinamento base degli eventi ad astrazioni e composizioni che preservano la semantica. Lo studio, pubblicato su arXiv (2605.13773), colma una lacuna nella ricerca sulla coerenza degli LLM con le specifiche di progettazione architetturale. Gli HMSC sono alla base dei diagrammi di sequenza nel linguaggio di modellazione unificato (UML). I risultati indicano prestazioni variabili tra modelli e compiti, evidenziando i limiti nella comprensione della semantica formale da parte degli LLM.