Attribute Grammar for XML Integrity Constraint Validation

Bouchou, Béatrice; Ferrari, Mírian Halfeld; Lima, Maria Adriana Vidigal de

doi:10.1007/978-3-642-23088-2_7

Cited by 6 publications

(3 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Bouchou et al proposed the validation of integrity rules in XML using attribute grammars. They reported on experiments showing that the method allows for an effective and efficient validation of XML documents.…”

Section: Related Workmentioning

confidence: 99%

A model‐driven framework to enhance the consistency of logical integrity constraints: Introducing integrity regression testing

Abadeh

Ajoudanian

2018

Softw Pract Exp

View full text Add to dashboard Cite

Summary Although the importance of models continuously grows in software development, common development approaches are less able to integrate the automatic management of model integrity into the development process. These critically important constraints may ensure the coherence of models in the evolution process to prevent manipulations that could violate defined constraints on a model. This paper proposes an integrity framework in the context of model‐driven architecture to achieve sufficient structural code coverage at a higher program representation level than machine code. Our framework offers to propagate the modifications from a platform‐independent specification to the corresponding test template model while keeping the consistency and integrity constraints after system evolution. To examine the efficiency of the proposed framework, a quantitative analysis plan is evaluated based on two experimental case studies. In addition, we propose coverage criteria for integrity regression testing (IRT), derived from logic coverage criteria that apply different conceptual levels of testing for the formulation of integrity requirements. The defined criteria for IRT reduce the inherent complexity and cost of verifying complex design changes in regression testing while keeping the fault detection capability with respect to the changes. The framework aims to keep pace with IRT in a formal way. The framework can solve a number of restricted outlooks in model integrity and some limiting factors of incremental maintenance and retesting. The framework satisfies several valuable quality attributes in software testing, such as safety percentage, precision, abstract fault detection performance measurable coverage level, and generality.

show abstract

Section: Related Workmentioning

confidence: 99%

A model‐driven framework to enhance the consistency of logical integrity constraints: Introducing integrity regression testing

Abadeh

Ajoudanian

2018

Softw Pract Exp

View full text Add to dashboard Cite

show abstract

“…Our approach performance is comparable to implementations in Vincent and Liu (2005), Shahriar and Liu (2009), but contrary to them, it intends to be a generic model for XML constraints validation. The ideas guiding this work are the ones outlined in Bouchou et al (2011). An incremental validation method for keys is defined in Bouchou et al (2007), using the generic model considering multiple updates in an XML tree.…”

Section: Related Workmentioning

confidence: 99%

“…A path expression defines a way of navigating XML trees and is fundamental for the specification of integrity constraints in an XML context. In this way, we want to express conditional functional dependencies (XCFD) based on path expressions using a homogeneous formalism for their verification, introduced in Bouchou et al (2011), founded on attribute grammar and finite state automata. The validation of an XML document is done in one tree traversal, in the document reading order, going top-down until leaf nodes are reached and then, bottom-up, to finish each node visit, until the root node.…”

Section: Introductionmentioning

confidence: 99%

Conditional functional dependencies validation for XML data: an approach based on attribute grammar

Lima

Rezende

Oliveira

2013

Journal of Applied Computing Research

View full text Add to dashboard Cite

The representation and the exchange of information originating from different data sources is an increasingly common need for companies and industries to integrate their operations and also to publish and trade information with government and other enterprises. For this purpose, there are many standards based on XML language that were created to allow effective data communication and exchange in a particular domain. In order to ensure data quality for XML data, this paper presents an approach based on conditional functional dependencies verification. Conditional dependencies are an extension of traditional database dependencies with the ability to enforce bindings of semantically related data values. The basis of our verification method is a generic grammarware for validating XML integrity constraints in one tree traversal. We use an attribute grammar to describe XML documents and constraints.

show abstract

A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates

Bouchou¹,

Ferrari²,

Lima³

2012

Transactions on Large-Scale Data- And Knowledge-Centered Systems VI

View full text Add to dashboard Cite

International audienceThis paper extends our previous work by showing our grammarware as a generic way for validating XML integrity constraints, both from scratch and incrementally during document updates. Indeed, our generic attribute grammar can stand for any XML constraint validator, provided that the constraint is defined with paths. We specify a common definition framework for seven classes of XML integrity constraints, we recall the validation principles, we detail the incremental validation under multiple updates, and we report on experimental results, focusing on the case of XML Functional Dependencies (XFD)

show abstract

Attribute Grammar for XML Integrity Constraint Validation

Cited by 6 publications

References 15 publications

A model‐driven framework to enhance the consistency of logical integrity constraints: Introducing integrity regression testing

A model‐driven framework to enhance the consistency of logical integrity constraints: Introducing integrity regression testing

Conditional functional dependencies validation for XML data: an approach based on attribute grammar

A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates

Contact Info

Product

Resources

About