The parametric temporal data model captures a real world entity in a single tuple, which reduces query language complexity. Such a data model, however, is difficult to be implemented on top of conventional databases b...The parametric temporal data model captures a real world entity in a single tuple, which reduces query language complexity. Such a data model, however, is difficult to be implemented on top of conventional databases because of its unfixed attribute sizes. XML is a matured technology and can be an elegant solution for such challenge. Representing data in XML trigger a question about storage efficiency. The goal of this work is to provide a straightforward answer to such a question. To this end, we compare three different storage models for the parametric temporal data model and show that XML is not worse than any other approaches. Furthermore, XML outperforms the other storages under certain conditions. Therefore, our simulation results provide a positive indication that the myth about XML is not true in the parametric temporal data model.展开更多
To enable accessing web information at semantic level, this paper develops a semantic query rewriting mechanism on peer to peer XISs with complex ontology mapping technology. It discusses the patterns of complex ontol...To enable accessing web information at semantic level, this paper develops a semantic query rewriting mechanism on peer to peer XISs with complex ontology mapping technology. It discusses the patterns of complex ontology mappings at first, and the ontology-based query mechanism in peer to peer environment. The extension of XML query algebra and XML query rewriting mechanism are dissussed in detail.展开更多
由于SNMP(S imp le Network M anagem ent Protocol)管理系统在配置管理方面具有一定弱点。Net-conf协议被认为是解决网络配置管理问题较为有效的方法。文中采用XML Schem a描述网络管理系统的数据模型,并且为了保证Netconf配置操作的...由于SNMP(S imp le Network M anagem ent Protocol)管理系统在配置管理方面具有一定弱点。Net-conf协议被认为是解决网络配置管理问题较为有效的方法。文中采用XML Schem a描述网络管理系统的数据模型,并且为了保证Netconf配置操作的事务可靠性,在Netconf的概念模型基础之上定义了网络管理应用操作层。同时也描述了基于Netconf的网络管理系统的系统结构和实现模型,提出了用于建立网络管理应用系统的设计模式,最后介绍了开发基于XML网络管理系统的经验。展开更多
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.展开更多
基金supported by the National Research Foundation in Korea through contract N-12-NM-IR05
文摘The parametric temporal data model captures a real world entity in a single tuple, which reduces query language complexity. Such a data model, however, is difficult to be implemented on top of conventional databases because of its unfixed attribute sizes. XML is a matured technology and can be an elegant solution for such challenge. Representing data in XML trigger a question about storage efficiency. The goal of this work is to provide a straightforward answer to such a question. To this end, we compare three different storage models for the parametric temporal data model and show that XML is not worse than any other approaches. Furthermore, XML outperforms the other storages under certain conditions. Therefore, our simulation results provide a positive indication that the myth about XML is not true in the parametric temporal data model.
基金Supported by the Natural Science Foundation ofHubei Province(2005ABA235) Key Project of Science Research ofEducation Agency of Hubei Province (Z200511005)
文摘To enable accessing web information at semantic level, this paper develops a semantic query rewriting mechanism on peer to peer XISs with complex ontology mapping technology. It discusses the patterns of complex ontology mappings at first, and the ontology-based query mechanism in peer to peer environment. The extension of XML query algebra and XML query rewriting mechanism are dissussed in detail.
文摘由于SNMP(S imp le Network M anagem ent Protocol)管理系统在配置管理方面具有一定弱点。Net-conf协议被认为是解决网络配置管理问题较为有效的方法。文中采用XML Schem a描述网络管理系统的数据模型,并且为了保证Netconf配置操作的事务可靠性,在Netconf的概念模型基础之上定义了网络管理应用操作层。同时也描述了基于Netconf的网络管理系统的系统结构和实现模型,提出了用于建立网络管理应用系统的设计模式,最后介绍了开发基于XML网络管理系统的经验。
基金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.
