caa a22 4500 60622906X CHVBK 20210128101207.0 cr unu---uuuuu 210128e20150801xx s 000 0 eng 10.1007/s10796-013-9471-4 doi (NATIONALLICENCE)springer-10.1007/s10796-013-9471-4 Model-driven approach to modeling and validating integrity constraints for XML with OCL and Schematron [Elektronische Daten] [Jakub Malý, Martin Nečaský] The idea behind Model Driven Development (MDD) (Miller and Mukerji 2003) is to model the software system on several layers of abstraction. A designer starts from the very abstract specification (independent of the platform and language used) and progresses to more concrete models (using platform-specific constructs) and finally to code. Ideally, each step of the transformation of the model from the more abstract to the less abstract is achieved by a declarative transformation obtained (semi-)automatically. In our previous work, we have developed an approach for designing XML schemas based on MDD. We showed that a set of XML schemas representing different views of the same problem domain can be first modeled in a platform-independent level with a uniform conceptual schema expressed as a UML class diagram. Then each XML schema can be modeled as a view on this uniform UML class diagram. 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. Schematron is a language which enables to express integrity constraints at the XML schema level. We show that our approach saves time and prevents from errors made by designers when expressing Schematron constraints manually. Springer Science+Business Media New York, 2013 Integrity constraints nationallicence OCL nationallicence UML nationallicence XML nationallicence Schematron nationallicence Conceptual modeling nationallicence Malý Jakub XML and Web Engineering Research Group, Faculty of Mathematics and Physics, Charles University in Prague, Prague, Czech Republic aut Nečaský Martin XML and Web Engineering Research Group, Faculty of Mathematics and Physics, Charles University in Prague, Prague, Czech Republic aut Information Systems Frontiers Springer US; http://www.springer-ny.com 17/4(2015-08-01), 917-946 1387-3326 17:4<917 2015 17 10796 https://doi.org/10.1007/s10796-013-9471-4 text/html Onlinezugriff via DOI BK010053 XK010053 XK010000 Metadata rights reserved Springer special CC-BY-NC licence nationallicence 1 research-article jats NATIONALLICENCE NATIONALLICENCE NL-springer NATIONALLICENCE 856 40 https://doi.org/10.1007/s10796-013-9471-4 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Malý Jakub XML and Web Engineering Research Group, Faculty of Mathematics and Physics, Charles University in Prague, Prague, Czech Republic aut NATIONALLICENCE 700 1- Nečaský Martin XML and Web Engineering Research Group, Faculty of Mathematics and Physics, Charles University in Prague, Prague, Czech Republic aut NATIONALLICENCE 773 0- Information Systems Frontiers Springer US; http://www.springer-ny.com 17/4(2015-08-01), 917-946 1387-3326 17:4<917 2015 17 10796