ADC '02 Proceedings of the 13th Australasian database conference - Volume 5
On the Expressive Power of OCL
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Journal of Computer and System Sciences - Special issue on PODS 2000
Taxonomy of XML schema languages using formal language theory
ACM Transactions on Internet Technology (TOIT)
On the Complexity of Verifying Consistency of XML Specifications
SIAM Journal on Computing
XML conceptual modeling using UML
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Modular architecture for a toolset supporting OCL
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Using UML/OCL constraints for relational database design
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Evolution of XML schemas and documents from stereotyped UML class models: A traceable approach
Information and Software Technology
XML data transformations as schema evolves
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
When conceptual model meets grammar: A dual approach to XML data modeling
Data & Knowledge Engineering
Evolution and change management of XML-based systems
Journal of Systems and Software
| Hi-index | 0.00 |
Complex applications can benefit greatly from using conceptual models and Model Driven Architecture during development, deployment and runtime. XML applications are not different. In this paper, we examine the possibility of using Object Constraint Language (OCL) for expressing constraints over a conceptual model for XML data. We go through the different classes of OCL expression and show how each class can be translated into XPath constructs. Subsequently we show how the constraints can be checked using Schematron. We introduce a function library OclX, which provides constructs necessary to translate those OCL constructs that have no counterpart in XPath. With our tool, it is possible to check validity of OCL constraints in XML data.