Balisage Paper: Utilizing new capabilities of XML languages to verify integrity constraints

Balisage: The Markup Conference 2012
August 7 - 10, 2012

The materials listed below were provided by the speaker as supplements to a presentation at Balisage. These materials may include the slides or visuals used in the presentation; supplementary material, such as code samples or a demonstration application; and/or the paper accompanying the presentation (if it has not been provided in XML). These materials have been zipped for easy download and are identified by a brief description of the contents. The materials themselves are untouched, that is, they have not been tested or edited by Balisage: The Markup Conference or by Mulberry Technologies, Inc. As such, they are included on this website AS IS, i.e., as provided by the speaker, with no warranties, express or otherwise, made by Balisage or Mulberry.

Slides and Materials

×

OCL Specification, version 2.3.1. Object Management Group (OMG). January 2012. http://www.omg.org/spec/OCL/2.3.1/

×

Software Technology Group at Technische Universität Dresden. Dresden OCL - OCL support for your modeling language http://www.dresden-ocl.org/

×

Pagano, Dennis, and Anne Brüggemann-Klein. Engineering Document Applications — From UML Models to XML Schemas. In Proceedings of Balisage: The Markup Conference 2009. Balisage Series on Markup Technologies, vol. 3 (2009). http://www.balisage.net/Proceedings/vol3/html/Bruggemann-Klein01/BalisageVol3-Bruggemann-Klein01.html doi:https://doi.org/10.4242/BalisageVol3.Bruggemann-Klein01.

×

Bauman, Bruce Todd. “Prying Apart Semantics and Implementation: Generating XML Schemata directly from ontologically sound conceptual models.” In In Proceedings of Balisage: The Markup Conference 2009. Balisage Series on Markup Technologies, vol. 3 (2009). http://www.balisage.net/Proceedings/vol3/html/Bauman01/BalisageVol3-Bauman01.html. doi:https://doi.org/10.4242/BalisageVol3.Bauman01.

×

Martin Nečaský, Jakub Klímek, Jakub Malý, Irena Mlýnková, Evolution and change management of XML-based systems, Journal of Systems and Software, vol 85. 2012, ISSN 0164-1212, doi:https://doi.org/10.1016/j.jss.2011.09.038. http://www.sciencedirect.com/science/article/pii/S0164121211002524

×

Martin Nečaský, Irena Mlýnková, Jakub Klímek, Jakub Malý, When conceptual model meets grammar: A dual approach to XML data modeling, Data & Knowledge Engineering, vol 72. 2012, ISSN 0169-023X, doi:https://doi.org/10.1016/j.datak.2011.09.002. http://www.sciencedirect.com/science/article/pii/S0169023X1100125X

×

L. Mandel, M. Cengarle. On the Expressive Power of OCL. In FM'99 Formal Methods, volume 1708 of LNCS. Springer Berlin / Heidelberg, 1999. http://dl.acm.org/citation.cfm?id=730476

×

Saxonica. Saxon - the XSLT processor. http://saxonica.com/

×

C. Stewart, C. Bayes, J. Fuller, U. Ogbuji, D. Pawson, J. Tennison. EXSLT - community initiative to provide extensions to XSLT. http://www.exslt.org/

×

Dimitre Novatchev. Higher-Order Functional Programming with XSLT 2.0 and FXSL. In Extreme Markup Languages 2006, Montréal, Québeck. http://conferences.idealliance.org/extreme/html/2006/Novatchev01/EML2006Novatchev01.html

×

J. Snelson. An implementation of a red/black tree built using XQuery 3.0 higher order functions, and an associative map library built on top of it. https://github.com/jpcs/rbtree.xq

×

J. Malý, I. Mlýnková, M. Nečaský. XML Data Transformations as Schema Evolves. Proceedings of ADBIS 2011: Advances in databases and infromation systems. September 2011. Lecture Notes in Computer Science. Springer. http://dl.acm.org/citation.cfm?id=2041783

×

eXolutio - a Tool for Conceptual Modeling of XML. http://eXolutio.com

×

S. Malaika, Ch. Pichler. Enforce basic document structure with XML constraint checking. IBM. http://www.ibm.com/developerworks/library/x-consthealth/index.html

×

E. F. Codd. Relational Completeness of Data Base Sublanguages. In: Database Systems, Prentice Hall and IBM Research Report RJ 987, San Jose, California, 1972.

Author's keywords for this paper:
Schematron; Integrity Constraint; OCL; UML; Validation