Navigation in Hypermedia Applications: Modeling and Semantics