Foeused on the lack of proper organization for patterns in the development of pattern based software, a POMSDP model with layered tree structure for organizing patterns during the process of development was put torwar...Foeused on the lack of proper organization for patterns in the development of pattern based software, a POMSDP model with layered tree structure for organizing patterns during the process of development was put torward. The model and its interrelated eoneepts were strictly defined and introduced by applying the theory of set, symbolie logic and pattern, which ensures the correctness, maturity and expansibility of the model. The expansibility of the model was discussed mainly. The basic realization and the application in the automatic query system were presented. Based on the existing software development methods, the POMSDP model resolves the problem of chaos in the application of patterns, strengthens the controllability of the system, and facilitates the improvement, maintenance, expansion, and especially the reengineering of the software system.展开更多
Typical isolation models are studied and a New Application Security Isolation model called NASI is proposed, which is based on trusted computing technology and least privilege principle. This paper introduces the desi...Typical isolation models are studied and a New Application Security Isolation model called NASI is proposed, which is based on trusted computing technology and least privilege principle. This paper introduces the design ideas of NASI, gives out formal description and safety analysis for the model, and finally describes the implementation of prototype system based on NASI.展开更多
This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system...This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.展开更多
文摘Foeused on the lack of proper organization for patterns in the development of pattern based software, a POMSDP model with layered tree structure for organizing patterns during the process of development was put torward. The model and its interrelated eoneepts were strictly defined and introduced by applying the theory of set, symbolie logic and pattern, which ensures the correctness, maturity and expansibility of the model. The expansibility of the model was discussed mainly. The basic realization and the application in the automatic query system were presented. Based on the existing software development methods, the POMSDP model resolves the problem of chaos in the application of patterns, strengthens the controllability of the system, and facilitates the improvement, maintenance, expansion, and especially the reengineering of the software system.
文摘Typical isolation models are studied and a New Application Security Isolation model called NASI is proposed, which is based on trusted computing technology and least privilege principle. This paper introduces the design ideas of NASI, gives out formal description and safety analysis for the model, and finally describes the implementation of prototype system based on NASI.
文摘This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.
