Incremental validation of models in a MDE approach applied to the modeling of complex data structures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6428 LNCS, Issue , 2010, Pages 120-129

  Menet, Ludovic ^a   Lamolle, Myiam ^a   Le Dc, Chan ^a  

^a UNIVERSITÉ PARIS 8   (France)

Author keywords

MDE; Meta model; UML; UML Profile; Validation; Validation contexts; XML Schema

Indexed keywords

MDE; META MODEL; UML; UML PROFILES; VALIDATION; VALIDATION CONTEXTS; XML SCHEMA; XML SCHEMAS;

ABSTRACTING; DATA STRUCTURES; INTERNET; MODELS; OPTIMIZATION; PEER TO PEER NETWORKS; XML; FORMAL LOGIC;

MODEL CHECKING;

EID: 78649507305     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16961-8_28     Document Type: Conference Paper

References (14)

1. Altova XMLSpy., http://www.altova.com/xmlspy
2. ArgoUML, http://argouml.tigris.org
3. 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)
4. 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)
5. Iyengar S., Brodsky A.: XML Metadata Interchange (XMI) Proposal to the OMG Object Analysis & Design Task. Object Management Group, http://www.omg.org.
6. 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)
7. 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)
8. 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)
9. MetaObject Facility, http://www.omg.org/mof
10. OMG. Response, to the UML 2.0 OCL (2002), http://www.omg.org/docs/ad/02- 05-09.pdf
11. Unified Modeling Language, http://www.uml.org
12. Extendible Markup Language (XML) 1.0. W3C XML Working Group (2000), http://www.w3.org/TR/REC-xml
13. W3C. XML-Schema Part 1: Structures, 2nd edn. (2004), http://www.w3.org/ TR/xmlschema-1
14. 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)