Modello matematico per un layout della pagina web?

Question

Ottenere il layout giusto (anche se viene considerata solo una struttura) con HTML5/CSS3 è ancora più simile all'arte o alla magia nera.

D'altra parte, ci sono altri sistemi GUI (come WXWindows e TCL/TK) e alcune ricerche sulla GUI (come il modello di layout Auckland, ALM e Altri metodi), che suggeriscono la possibilità di formalizzazione per i gestori di layout (gestori di geometria).

Esistono modelli formali comprensibili per HTML5/CSS, che forniscono un modo ultraccompagnato (astratto) per descrivere la struttura, la "fisica" e la "geometria" delle pagine Web ridotte, usando il linguaggio dei blocchi? Anche HTML/CSS può essere generato da esso, che funziona più o meno come descritto nei browser standard. Inoltre, un modello può essere derivato dato HTML/CSS (i browser lo fanno con i loro algoritmi, quindi questo sembra essere teoricamente possibile).

Per "ultraccompagni" e astratto è inteso: molto più compatto di HTML/CSS e anche più orientato al dominio, "parlando" il linguaggio della dinamica di Web Page in risposta al contenuto di ridimensionamento o modificato, cioè più alto dei costrutti HTML/CSS .

Per un'analogia, è possibile scrivere un programma per effettuare una ricerca testuale, basata su alcune regole complesse, ma lo stesso compito può essere eseguito da un'espressione regolare molto più compatta. Quindi, esiste un linguaggio compatto simile per il layout HTML/CSS?

Gli obiettivi di tale modello potrebbero essere:

• Per verificare la progettazione esistente (controllo del modello)
• per costruire un design robusto date specifiche di livello superiore
• Per verificare se una serie di requisiti è coerente con il motore HTML5/CSS3 (ad esempio, non richiede la scrittura di JavaScript per apportare una regolazione troppo complessa per i linguaggi dichiarativi)
• essere una piattaforma solida per una ricerca di livello ancora più elevato sulle qualità ("Per controllare l'armonia con l'algebra")

Inoltre potrebbe essere un linguaggio da utilizzare per alcune astrazioni legate alla GUI, come è normale nel dominio del linguaggio di programmazione, in cui non abbiamo bisogno di usare la sintassi concreta per esprimere un'idea di per anello e abbiamo tutti i tipi di belli e comprovati Risultati sui principali concetti di costruzioni algoritmiche.

Naturalmente, i browser Web possiedono un modello algoritmico per il rendering, ad esempio una descrizione popolare e semplificata è disponibile qui, ma come indicato sopra, non ha le proprietà sopra elencate.