Abstract
In this paper, we propose an incremental validation method in the scope of a Model Driven Engineering (MDE) approach used to develop XML Schema models. The suggested MDE approach is based on an abstraction layer thanks to UML class diagrams, and on a series of transformations allowing the definition of XML Schema models. Our method of validation aims at minimizing model errors and optimizing the process of model checking. So, we introduce the notion of “contexts of validation” allowing the check of the data model sub-parts. We also use the first-order logic to specify the constraints that the models have to verify. A validation of our approach is presented through an application that we developed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Altova XMLSpy., http://www.altova.com/xmlspy
ArgoUML, http://argouml.tigris.org/
Barbier, F., Henderson-Sellers, B.: The whole-part relationship in object modelling: A definition in cOlOr. Information and Software Technology 43(1), 19–39 (2001)
Henderson-Sellers, B.: Some Problems with the UML V1.3 Metamodel. In: 34th Annual Hawaii International Conference on System Sciences, Maui, Hawaii, janvier 3-6 (2001)
Iyengar S., Brodsky A.: XML Metadata Interchange (XMI) Proposal to the OMG Object Analysis & Design Task. Object Management Group, http://www.omg.org .
Lamolle, M., Menet, L.: Towards a Bidirectional Transformation of UML and XML Models. In: Proceedings of the 2008 International Conference on E-Learning, E-Business, Enterprise Information System and E-Government, EEE 2008, juillet,, Las Vegas, Nevada, USA, pp. 14–17 (2008)
Menet, L., Lamolle, M.: Meta-modelling object: expression of semantic constraints in complex data structure. In: Proceedings of ERIMA 2007, Biarritz, France, pp. 104–108 (2007)
Menet, L., Lamolle, M.: Designing XML Pivot Models for Master Data Integration via UML Profile. In: ICEIS 2008, International Conference on Enterprise Information Systems, Barcelone, Spain, juin 12-16, vol. DISI, pp. 461–464 (2008)
MetaObject Facility, http://www.omg.org/mof/
OMG. Response, to the UML 2.0 OCL (2002), http://www.omg.org/docs/ad/02-05-09.pdf
Unified Modeling Language, http://www.uml.org
Extendible Markup Language (XML) 1.0. W3C XML Working Group (2000), http://www.w3.org/TR/REC-xml
W3C. XML-Schema Part 1: Structures, 2nd edn. (2004), http://www.w3.org/TR/xmlschema-1
Haarslev, V., Möller, R.: Description of the racer system and its applications. In: Proceedings of the International Workshop on Description Logics (DL 2001), Stanford, Californie, pp. 132–141 (August 2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Menet, L., Lamolle, M., Le Dc, C. (2010). Incremental Validation of Models in a MDE Approach Applied to the Modeling of Complex Data Structures. In: Meersman, R., Dillon, T., Herrero, P. (eds) On the Move to Meaningful Internet Systems: OTM 2010 Workshops. OTM 2010. Lecture Notes in Computer Science, vol 6428. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16961-8_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-16961-8_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16960-1
Online ISBN: 978-3-642-16961-8
eBook Packages: Computer ScienceComputer Science (R0)