Convertitore da GV a SK1

GV è un'estensione di file associata al linguaggio di descrizione grafi DOT, sviluppato presso gli AT&T Labs Research a partire dal 1991, e utilizzato dalla suite Graphviz (Graph Visualization Software) per definire e rendere diagrammi strutturati di grafi, reti e relazioni gerarchiche. Un file GV è un documento in testo semplice che descrive un grafo usando una sintassi dichiarativa: i nodi vengono nominati, gli archi li collegano con link diretti (digraph) o non diretti (graph), e gli attributi controllano le proprietà visive come forma, colore, font, testo dell'etichetta e suggerimenti per il layout. I motori di layout Graphviz — dot (gerarchico), neato (modello a molla), fdp (forza diretta), circo (circolare), twopi (radiale) e sfdp (forza diretta scalabile) — leggono i file GV e producono output renderizzato in formati come SVG, PNG, PDF e PostScript. Il linguaggio supporta sottografi, cluster, nodi a forma di record per schemi di database, formattazione delle etichette simile a HTML e vincoli di rango per un controllo preciso del posizionamento dei nodi nei layout gerarchici. Un vantaggio è la separazione del contenuto dal layout — la struttura del grafo viene specificata in modo dichiarativo, e l'algoritmo di layout gestisce tutto il posizionamento automaticamente, eliminando la noiosa disposizione manuale richiesta dagli strumenti di diagrammazione visuale. Questo rende i file GV ideali per diagrammi generati programmaticamente: sistemi di build, generatori di documentazione e strumenti di analisi del codice possono emettere sintassi DOT e produrre diagrammi di qualità professionale senza alcuna interfaccia grafica. Graphviz è open source, disponibile su tutte le piattaforme, e il suo linguaggio DOT è supportato da numerosi strumenti inclusi notebook Jupyter, Doxygen e molti plugin IDE.