A fast algebraic web verification service

Authors:
M. Alpuente;D. Ballis;M. Falaschi;P. Ojeda;D. Romero
Affiliations:
DSIC, Universidad Politécnica de Valencia, Valencia, Spain;Dip. Matematica e Informatica, Udine, Italy;Dip. di Scienze Matematiche e Informatiche, Siena, Italy;DSIC, Universidad Politécnica de Valencia, Valencia, Spain;DSIC, Universidad Politécnica de Valencia, Valencia, Spain
Venue:
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Year:
2007

Citing 14
Cited 1

Data on the Web: from relations to semistructured data and XML

Data on the Web: from relations to semistructured data and XML
Rewriting logic: roadmap and bibliography

Theoretical Computer Science - Rewriting logic and its applications
Optimizing Regular Path Expressions Using Graph Schemas

ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Consistency management with repair actions

Proceedings of the 25th International Conference on Software Engineering
Flexible consistency checking

ACM Transactions on Software Engineering and Methodology (TOSEM)
Homeomorphic embedding for online termination of symbolic methods

The essence of computation
A matching algorithm for measuring the structural similarity between an XML document and a DTD and its applications

Information Systems - Special issue on web data integration
Rule-based verification of Web sites

International Journal on Software Tools for Technology Transfer (STTT)
A rewriting-based inference system for the NRL Protocol analyzer and its meta-logical properties

Theoretical Computer Science - Automated reasoning for security protocol analysis
Verifying integrity constraints on web sites

IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
A Rule-based System for Web site Verification

Electronic Notes in Theoretical Computer Science (ENTCS)
The maude 2.0 system

RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
The maude LTL model checker and its implementation

SPIN'03 Proceedings of the 10th international conference on Model checking software

Formal Verification of Websites

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present the rewriting-based, Web verification service WebVerdi-M, which is able to recognize forbidden/incorrect patterns and incomplete/missing Web pages. WebVerdi-M relies on a powerful Web verification engine that is written in Maude, which automatically derives the error symptoms. Thanks to the AC pattern matching supported by Maude and its metalevel facilities, WebVerdi-M enjoys much better performance and usability than a previous implementation of the verification framework. By using the XML Benchmarking tool xmlgen, we develop some scalable experiments which demonstrate the usefulness of our approach.