An Abstract Generic Framework for Web Site Verification

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

doi:10.1109/saint.2008.17

Cited by 4 publications

(1 citation statement)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Therefore, to the best of our knowledge, none of these existing approaches include quality properties as the ones we have proposed here, or, in general, that focus on the consistent relationship between a navigation model and a data model. An exception is the rewriting-based framework presented in (Alpuente, Ballis, & Falaschi, 2006), (Alpuente, Ojeda, Romero, Ballis, & Falaschi, 2008). However, modification operations are not supported.…”

Section: Related Workmentioning

confidence: 99%

Evaluating the Consistency between Navigation and Data Models for Web Applications

Cabot

Gómez

2010

International Journal of Information System Modeling and Design

View full text Add to dashboard Cite

Specification of web applications involves the definition of two main viewpoints: the navigation model and the data model. Thus far, correctness analysis of the relationship between both models has received little attention. In this paper, the authors present a set of correctness properties to evaluate the consistency of a navigation model with respect to its corresponding data model. Mainly, this paper focuses on the completeness of the navigation model (i.e., if users can manipulate all of the data through the operations in the navigation model) and its executability (i.e., whether all navigation paths admit at least one possible run-time execution that leaves the application data in a consistent state).

show abstract

Section: Related Workmentioning

confidence: 99%

Evaluating the Consistency between Navigation and Data Models for Web Applications

Cabot

Gómez

2010

International Journal of Information System Modeling and Design

View full text Add to dashboard Cite

show abstract

Rewriting-based repairing strategies for XML repositories

Alpuente

Ballis

Falaschi³

et al. 2013

The Journal of Logic and Algebraic Programming

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

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

An Abstract Generic Framework for Web Site Verification

Cited by 4 publications

References 23 publications

Evaluating the Consistency between Navigation and Data Models for Web Applications

Evaluating the Consistency between Navigation and Data Models for Web Applications

Rewriting-based repairing strategies for XML repositories

An Abstract Generic Framework for Web Site Verification

Contact Info

Product

Resources

About