When conceptual model meets grammar: A dual approach to XML data modeling
详细信息 查看全文
- 作者：Martin Ne?aský ; ; necasky@ksi.mff.cuni.cz ; [Author Vitae] ; Irena Mlý ; nková ; mlynkova@ksi.mff.cuni.cz ; [Author Vitae] ; Jakub Klí ; mek klimek@ksi.mff.cuni.cz ; [Author Vitae] ; Jakub Malý ; maly@ksi.mff.cuni.cz ; [Author Vitae]
- 关键词：XML schema ; Conceptual modeling ; Regular tree grammars ; Conceptual to XML schema transformation
- 刊名：Data and Knowledge Engineering
- 出版年：2012
- 出版时间：February, 2012
- 年：2012
- 卷：72
- 期：Complete
- 页码：1-30
- 全文大小：3649 K
文摘
In this paper we introduce a novel approach to conceptual modeling for XML schemas. Compared to other approaches, it allows for modeling of a whole family of XML schemas related to a particular application domain. It is integrated in a well-established way of software-engineering, namely Model-Driven Development (MDD). It allows software-engineers to naturally model their application domain using a conceptual schema at the platform-independent level of the MDD hierarchy. From there they can design the desired XML schemas in a form of conceptual schemas at the platform-specific level of MDD hierarchy. Schemas at the platform-specific level are then automatically translated to particular XML schemas. Beside this forward-engineering direction, reverse-engineering direction integrating existing XML schemas into the MDD hierarchy is supported as well.
We provide several theoretical results which ensure correctness of the introduced approach. We exploit regular tree grammars to formalize XML schemas. We formalize the bindings between the schemas at the two MDD levels and between schemas at the platform-specific level and XML schemas. We prove that conceptual schemas specify the target XML schemas unambiguously. We also prove the expressive power of the conceptual schemas. And, finally, we prove correctness of the introduced translation algorithms between platform-specific and XML schema levels.