Model-driven approach to modeling and validating integrity constraints for XML with OCL and Schematron

Malý, Jakub; Nečaský, Martin

doi:10.1007/s10796-013-9471-4

Cited by 3 publications

(3 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…They reported on experiments showing that the method allows for an effective and efficient validation of XML documents. Malý and Nečaský showed an integrity rule expressed at the platform‐independent level as an Object Constraint Language expression that can be used to validate XML documents. An extension for the validation/verification of integrity constraints is not considered in these papers.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

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%

“…Inconsistency detection is fundamental for certifying the quality of models and for preserving model integrity while manipulating the models . In the decisive setting, inconsistency typically arises from errors that occur during the generation or evolution of a model, as well as during the development process.…”

Section: Introductionmentioning

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

“…The modeling language is also proposed describing the dependencies across the multimodel data [9]. The eXtensible Mark-up Language (XML) can be found in [10] to represent the discrete domain. Unified Modeling Language (UML) in software engineering is a wellknown language as well as SysML.…”

Section: Related Workmentioning

confidence: 99%

An Integrated Design Method For Cyber-Physical Production Systems

Wan

Wang

Xue

et al. 2018

2018 IEEE 3rd Advanced Information Technology, Electronic and Automation Control Conference (IAEAC)

View full text Add to dashboard Cite

The industrial cyber-physical production system contains a variety of heterogeneous devices and models, which increase the complexity of system design, particularly in software programming. Although the proposed model-driven engineering (MDE) is applied to industrial automation for this issue, the inherent complex dependencies and constraints between models and the availability of suitable tools for code generation limit the application of the model-driven approach in practice, especially as the system becomes more enormous. The component-based design (CBD) approach, which is a bottom-up approach, in contrast to the MDE that is top-down, is proposed to manage the complexity of software aspect based on the idea that building a system from existing components instead of the scratch. However, CBD can't provide the whole system model, so other ways should be adopted to design the system structure in advance. This paper presents an integrated design approach based on the combination of CBD and MDE to realize auto-design for cyberphysical production systems.

show abstract

scenario modeling for government big data governance decision-making: Chinese experience with public safety services

Liu

Zhu

2022

Information & Management

View full text Add to dashboard Cite

Model-driven approach to modeling and validating integrity constraints for XML with OCL and Schematron

Cited by 3 publications

References 23 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

An Integrated Design Method For Cyber-Physical Production Systems

scenario modeling for government big data governance decision-making: Chinese experience with public safety services

Contact Info

Product

Resources

About