Domain-specific metamodeling language(DSMML) defined by informal method cannot strictly represent its structural semantics,so its properties such as consistency cannot be holistically and systematically verified.In re...Domain-specific metamodeling language(DSMML) defined by informal method cannot strictly represent its structural semantics,so its properties such as consistency cannot be holistically and systematically verified.In response,the paper proposes a formal representation of the structural semantics of DSMML named extensible markup language(XML) based metamodeling language(XMML) and its metamodels consistency verification method.Firstly,we describe our approach of formalization,based on this,the method of consistency verification of XMML and its metamodels based on first-order logical inference is presented;then,the formalization automatic mapping engine for metamodels is designed to show the feasibility of our formal method.展开更多
优秀的计算机辅助标引和著录系统应该是一个开放系统。电子叙词表作为这些系统的核心部件,应该积极引入 SGML 或者 XML 技术。本文从结构性置标的OHCO(有序树状内容对象)假设入手,结合国际标准 ISO2788:1986,在详尽分析叙词表结构的基...优秀的计算机辅助标引和著录系统应该是一个开放系统。电子叙词表作为这些系统的核心部件,应该积极引入 SGML 或者 XML 技术。本文从结构性置标的OHCO(有序树状内容对象)假设入手,结合国际标准 ISO2788:1986,在详尽分析叙词表结构的基础之上,设计出了它的文档类型定义(DTD),讨论了这一定义兼容 SGML 和XML 的办法,比较了3种流行的 XML 工具,最后指出目前情况下 XML 应用的最后一步通常是形成 HTML 文档。展开更多
基金the Yunnan Provincial Department of Education Research Fund Key Project(No.2011z025)General Project(No.2011y214)
文摘Domain-specific metamodeling language(DSMML) defined by informal method cannot strictly represent its structural semantics,so its properties such as consistency cannot be holistically and systematically verified.In response,the paper proposes a formal representation of the structural semantics of DSMML named extensible markup language(XML) based metamodeling language(XMML) and its metamodels consistency verification method.Firstly,we describe our approach of formalization,based on this,the method of consistency verification of XMML and its metamodels based on first-order logical inference is presented;then,the formalization automatic mapping engine for metamodels is designed to show the feasibility of our formal method.
文摘优秀的计算机辅助标引和著录系统应该是一个开放系统。电子叙词表作为这些系统的核心部件,应该积极引入 SGML 或者 XML 技术。本文从结构性置标的OHCO(有序树状内容对象)假设入手,结合国际标准 ISO2788:1986,在详尽分析叙词表结构的基础之上,设计出了它的文档类型定义(DTD),讨论了这一定义兼容 SGML 和XML 的办法,比较了3种流行的 XML 工具,最后指出目前情况下 XML 应用的最后一步通常是形成 HTML 文档。
