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.展开更多
Process integration is the important aspect of product development process. The recent researches focus on project management, workflow management and process modeling. Based on the analysis of the process, product de...Process integration is the important aspect of product development process. The recent researches focus on project management, workflow management and process modeling. Based on the analysis of the process, product development process is divided into three levels according to different grains from macroscopy to microcosm. Our research concentrate on the workflow and the free-grained design process. According to the need of representing the data and the relationships among them for process integration, context model is introduced, and its characters are analyzed. The tree-like structure of inheritance among context model＇s classes is illustrated; The relationships of reference among them are also explained. Then, extensible markup language （XML） file is used to depict these classes. A four-tier framework of process integration has been established, in which model-view-controller pattern is designed to realize the separation between context model and its various views. The integration of applications is applied by the encapsulation of enterprise＇s business logic as distributed services. The prototype system for the design of air filter is applied in an institute.展开更多
The existing data mining methods are mostly focused on relational databases and structured data, but not on complex structured data (like in extensible markup language(XML)). By converting XML document type descriptio...The existing data mining methods are mostly focused on relational databases and structured data, but not on complex structured data (like in extensible markup language(XML)). By converting XML document type description to the relational semantic recording XML data relations, and using an XML data mining language, the XML data mining system presents a strategy to mine information on XML.展开更多
Based on mobile devices as a solution for measurement faces interesting challenges, which involve poor human- computer interaction and limited computer capability. In this paper, we present the mobile sensing system ...Based on mobile devices as a solution for measurement faces interesting challenges, which involve poor human- computer interaction and limited computer capability. In this paper, we present the mobile sensing system （MSS） with func- tions of constructing, configuring and implementing measurement applications. MSS consists of a mobile device and a sensor probe, In the mobile device we install a pocket virtual instrument platform （PVIP）, which has object-oriented software ar- chitecture and can be configured through extensible markup language （XML） files. And these configuration files can be written to the probe. Therefore, the probe can produce the measurement of APP in the mobile device. This infrastructure has been illustrated by a sound signal acquisition task and a flexible force measurement task which are finished with an android smartphone and a probe. These examples suggest that MSS is reconfigurable, highly automatical and flexible.展开更多
基金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.
基金National Defense Science Foundation of China (No.B0920060901)
文摘Process integration is the important aspect of product development process. The recent researches focus on project management, workflow management and process modeling. Based on the analysis of the process, product development process is divided into three levels according to different grains from macroscopy to microcosm. Our research concentrate on the workflow and the free-grained design process. According to the need of representing the data and the relationships among them for process integration, context model is introduced, and its characters are analyzed. The tree-like structure of inheritance among context model＇s classes is illustrated; The relationships of reference among them are also explained. Then, extensible markup language （XML） file is used to depict these classes. A four-tier framework of process integration has been established, in which model-view-controller pattern is designed to realize the separation between context model and its various views. The integration of applications is applied by the encapsulation of enterprise＇s business logic as distributed services. The prototype system for the design of air filter is applied in an institute.
文摘The existing data mining methods are mostly focused on relational databases and structured data, but not on complex structured data (like in extensible markup language(XML)). By converting XML document type description to the relational semantic recording XML data relations, and using an XML data mining language, the XML data mining system presents a strategy to mine information on XML.
基金The Ministry of Science and Technology of the People's Republic of China,Within the Framework of the Project the CNC Products innovation demonstration(No.2012BAF13B06)
文摘Based on mobile devices as a solution for measurement faces interesting challenges, which involve poor human- computer interaction and limited computer capability. In this paper, we present the mobile sensing system （MSS） with func- tions of constructing, configuring and implementing measurement applications. MSS consists of a mobile device and a sensor probe, In the mobile device we install a pocket virtual instrument platform （PVIP）, which has object-oriented software ar- chitecture and can be configured through extensible markup language （XML） files. And these configuration files can be written to the probe. Therefore, the probe can produce the measurement of APP in the mobile device. This infrastructure has been illustrated by a sound signal acquisition task and a flexible force measurement task which are finished with an android smartphone and a probe. These examples suggest that MSS is reconfigurable, highly automatical and flexible.
