A Rule-based System for Web site Verification

Authors:
D. Ballis;J. García-Vivó
Affiliations:
Dip. Matematica e Informatica, Via delle Scienze 206, 33100 Udine, Italy;DSIC, Universidad Politécnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071 Valencia, Spain
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 4
Cited 2

Deadlock detection in distribution object systems

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
xlinkit: a consistency checking and smart link generation service

ACM Transactions on Internet Technology (TOIT)
Connectors Synthesis for Deadlock-Free Component-Based Architectures

Proceedings of the 16th IEEE international conference on Automated software engineering
Modeling web interactions

ESOP'03 Proceedings of the 12th European conference on Programming

Semantic Verification of Web System Contents

ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
A fast algebraic web verification service

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties of a given Web site, and then automatically check whether these properties are actually fulfilled. It provides a rule-based, formal specification language which allows us to define syntactic/semantic conditions for the Web site by means of a user-friendly graphical interface as well as a verification facility for recognizing forbidden/incorrect patterns and incomplete/missing Web pages.