Rewriting-Based Navigation of Web Sites: Looking for Models and Logics

Authors:
Salvador Lucas
Affiliations:
DSIC, UPV, Camino de Vera s/n, 46022 Valencia, Spain
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 7
Cited 1

Automata on infinite objects

Handbook of theoretical computer science (vol. B)
Languages, automata, and logic

Handbook of formal languages, vol. 3
Term rewriting and all that

Term rewriting and all that
Sequentiality, monadic second-order logic and tree automata

Information and Computation
Advanced topics in term rewriting

Advanced topics in term rewriting
Maude: specification and programming in rewriting logic

Theoretical Computer Science - Rewriting logic and its applications
Rewriting and Tree Automata

Term Rewriting, French Spring School of Theoretical Computer Science, Advanced Course

Formal Verification of Websites

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we outline the use of term rewriting techniques for modeling the dynamic behavior of Web sites. We associate rewrite rules to each Web page expressing the Web pages which are immediately reachable from this page. The obtained system permits the application of well-known results from the rewriting theory to analyse interesting properties of the Web site. In particular, we briefly discuss the use of some logics with strong connections with term rewriting as a basis for specifying and verifying dynamic properties of Web sites. We use Maude as a suitable specification language for such rewriting models which also permits to directly explore interesting dynamic properties of Web sites.