Analogie entre programmes et sites Web

• Document (semi)-structuré

• Une syntaxe (doit être "bien-formé")

• Sémantique statique : contraintes qu'un programme doit vérifier pour être "légal" (consistant)

• Sémantique dynamique

  • Comment un programme s'exécute, flot de controle

  • Formalisation de la navigation dans un site