A Fast Algebraic Web Verification Service

Alpuente, María; Ballis, Demis; Falaschi, Moreno; Ojeda, Pedro; Romero, Daniel

doi:10.1007/978-3-540-72982-2_18

Cited by 7 publications

(6 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An experimental implementation αVerdi of the abstract framework proposed in this paper has been developed and compared to the previous Verdi implementation for the realistic test cases given in [4]. Table 1 shows some of the results we obtained for the simulation of the Web specification rules for an on-line auction system in five different, randomly generated XML documents.…”

Section: Methodsmentioning

confidence: 99%

“…In this work, we are particularly interested in the abstraction of completeness process, because in the previous version the needed fixpoint computation leads to unsatisfactory performance (see [4]). …”

Section: Abstract Web Site Verificationmentioning

confidence: 99%

“…Some sophisticated Web site management tools have been recently proposed that provide helpful facilities, including active rules that automatically fire repair actions throughout the rich navigational structure of Web sites. Unfortunately, these tools are mostly focused towards syntactic checking (see [3,4,6] for a wider discussion).…”

Section: Introductionmentioning

confidence: 99%

“…The verification methodology of [3] is implemented in the prototype WebVerdi-M (Web VErification and Rewriting for Debugging Internet sites with Maude) [4], written in Maude [10]. For correctness checking, it shows impressive performance thanks to the Associativity-Commutativity (AC) pattern matching and metalevel features supported by Maude (for instance, verifying correctness over a 10Mb XML document with 302000 nodes takes less than 13 seconds).…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

An Abstract Generic Framework for Web Site Verification

Alpuente

Ojeda

Romero

et al. 2008

2008 International Symposium on Applications and the Internet

View full text Add to dashboard Cite

In this paper, we present an abstract framework for Web site verification which improves the performance of a previous, rewriting-based Web verification methodology. The approximated framework is formalized as a source-to-source transformation which is parametric w.r.t. the chosen abstraction. This transformation significantly reduces the size of the Web documents by dropping or merging contents that do not influence the properties to be checked. This allows us to reuse all verification facilities of the previous system WebVerdi-M to efficiently analyze Web sites. In order to ensure that the verified properties are not affected by the abstraction, we develop a methodology which derives the abstraction of Web sites from their Web specification. An experimental implementation shows a huge speedup w.r.t. a previous methodology which did not use this transformation.

show abstract

Section: Methodsmentioning

confidence: 99%

Section: Abstract Web Site Verificationmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

An Abstract Generic Framework for Web Site Verification

Alpuente

Ojeda

Romero

et al. 2008

2008 International Symposium on Applications and the Internet

View full text Add to dashboard Cite

show abstract

“…In the Verdi project [13,14,15,16,17,18], a rule-based, formal specification language has been used to define syntactic/semantic properties of XML repositories and XMLbased Web sites. The key idea behind this approach is to exploit the power of term rewriting [19] and Rewriting Logic (RWL) [20] to support the specification and efficient manipulation of XML/HTML documentation in a natural and effective way.…”

Section: Introductionmentioning

confidence: 99%

Rewriting-based repairing strategies for XML repositories

Alpuente

Ballis

Falaschi³

et al. 2013

The Journal of Logic and Algebraic Programming

Self Cite

View full text Add to dashboard Cite

Keeping XML data in a consistent state w.r.t. both structure and content is a burdensome task. To maintain the consistency of ever-larger, complex XML repositories, suitable mechanisms that are able to fix every possible inconsistency are needed. In this article, we present a methodology for semi-automatically repairing faulty XML repositories that can be integrated on top of an existing rewriting-based verification engine. As a formal basis for representing consistency criteria, we use a rule-based description formalism that is realized in the language Maude. Then, starting from a categorization of the kinds of errors that can be found during the verification process, we formulate a stepwise transformation procedure that achieves correctness and completeness of the XML repository w.r.t. its Maude formal specification while strictly observing the structure of the XML documents. With the aim of increasing the level of automation of our repair methodology, we also define two correction strategies and two completion strategies that reduce either the amount of information to be changed or the number of repair actions to be executed in order to deliver an XML repository that is both correct and complete. Finally, we describe a prototype implementation of the repairing tool, which we use for an experimental evaluation of our method with good results.

show abstract

Modelling methods for web application verification and testing: state of the art

Alalfi

Cordy

Dean

2008

Software Testing Verif & Rel

View full text Add to dashboard Cite

Models are considered an essential step in capturing different system behaviours and simplifying the analysis required to check or improve the quality of software. Verification and testing of web software requires effective modelling techniques that address the specific challenges of web applications. In this study we survey 24 different modelling methods used in web site verification and testing. Based on a short catalogue of desirable properties of web applications that require analysis, two different views of the methods are presented: a general categorization by modelling level, and a detailed comparison based on property coverage. Copyright © 2008 John Wiley & Sons, Ltd.

show abstract

A Fast Algebraic Web Verification Service

Cited by 7 publications

References 13 publications

An Abstract Generic Framework for Web Site Verification

An Abstract Generic Framework for Web Site Verification

Rewriting-based repairing strategies for XML repositories

Modelling methods for web application verification and testing: state of the art

Contact Info

Product

Resources

About