Modèle mathématique pour une mise en page?

Question

Obtenir la disposition correcte (même si seule une structure est considérée) avec HTML5 / CSS3 ressemble encore plus à un art ou à une magie noire.

D'un autre côté, il existe d'autres systèmes d'interface graphique (comme Wxwindows et TCL / TK) et quelques recherches sur l'interface graphique (comme le modèle de mise en page d'Auckland, ALM et Autres méthodes), qui fait allusion à la possibilité de formalisation pour les gestionnaires de disposition (gestionnaires de géométrie).

Existe-t-il des modèles formels compréhensibles pour HTML5 / CSS, qui fournissent un moyen ultracompact (abstrait) de décrire la structure, la "physique" et la "géométrie" des pages Web redimensions, en utilisant le langage des blocs? HTML / CSS peut également être généré à partir de celui-ci, ce qui fonctionne plus ou moins comme décrit dans les navigateurs standard. De plus, un modèle peut être dérivé étant donné HTML / CSS (les navigateurs le font par leurs algorithmes, donc cela semble théoriquement possible).

Par "ultracompacact" et abstrait, il est compris: beaucoup plus compact que le HTML / CSS et aussi plus axé sur le domaine, "parlant" le langage de la dynamique de la page Web en réponse au redimensionnement ou au contenu modifié, c'est-à-dire un niveau plus élevé que les constructions HTML / CSS .

Pour une analogie, il est possible d'écrire un programme pour effectuer une recherche textuelle, sur la base de certaines règles complexes, mais la même tâche peut être effectuée par une expression régulière beaucoup plus compacte. Alors, y a-t-il un langage compact similaire pour la disposition HTML / CSS?

Les objectifs d'un tel modèle pourraient être:

• Pour vérifier la conception existante (vérification du modèle)
• pour construire une conception robuste avec des spécifications de niveau supérieur
• Pour vérifier si un ensemble d'exigences est conforme au moteur HTML5 / CSS3 (par exemple, ne nécessite pas d'écrire JavaScript pour rendre un ajustement trop complexe pour les langues déclaratives)
• Être une plate-forme solide pour des recherches encore plus élevées sur les qualités («pour vérifier l'harmonie avec l'algèbre».)

Il pourrait également s'agir d'une langue à utiliser pour certaines abstractions liées à l'interface graphique, comme est habituel dans le domaine du langage de programmation, où nous n'avons pas besoin d'utiliser une syntaxe concrète pour exprimer une idée de boucle et nous avons toutes sortes de belles et prouvées, Résultats sur les principaux concepts des constructions algorithmiques.

Bien sûr, les navigateurs Web possèdent un modèle algorithmique pour le rendu, par exemple, une description populaire et simplifiée peut être trouvée ici, mais comme indiqué ci-dessus, il n'a pas les propriétés énumérées ci-dessus.