Вы можете использовать конечные автоматы, но для этого также можно использовать диаграммы последовательности. Если вам не нужно придерживаться чистого UML, существует множество подходов, посвященных спецификации веб-систем, которые включают концепцию моделей веб-навигации (с элементами, такими как страницы, ссылки, ...). В этих подходах используются либо профили UML, либо совершенно другой язык моделирования (например, WebML)