Charles Explorer logo
🇬🇧

Model-driven Approach to Modeling and Validating Integrity Constraints for XML with OCL and Schematron

Publication at Faculty of Mathematics and Physics |
2015

Abstract

In this paper, we further extend our approach to modeling XML schemas using UML class diagrams with modeling integrity constraints using Object Constraint Language (OCL). We show that an integrity constraint expressed at the platform-independent level as an OCL expression can be translated to an expression at the XML schema level which can be used to validate XML documents.

In particular, we propose a method which translates an OCL expression at the platform-independent level to a Schematron expression.