信息系统软件框架的一致性维护  

Consistency management of information system software framework

作　　者：肖黎[1] 张晓东[1] 柴跃廷[1] 李芳芸[1] 

机构地区：[1]清华大学自动化系,北京100084

出　　处：《清华大学学报（自然科学版）》2000年第4期80-83,共4页Journal of Tsinghua University(Science and Technology)

基　　金：国家"八六三"高技术项目 !(863-511-930-003;863-511-844-010);国家自然科学基金项目!(69684007)

摘　　要：为保证在组件和框架开发模式下应用系统的一致性 ,必须研究如何检测和解决组件建模过程中存在的冲突。通过对组件模型、组件库结构和几种典型约束条件的分析 ,建立应用框架的一致性模型 ,包括组件体系结构约束和组件行为约束。这些约束条件以规则的形式表示 ,分层的规则库构成最终的形式化模型 ,模型的检验归结为规则的推理。在信息系统快速开发平台中 ,使用上述约束模型可建立信息系统的一致性视图 。Conflict detection and researchiation must occur to manage the consistency of software framework and components. A framework consistency model was proposed, including component architecturial constraints and behaviorial constraints. By analyzing a component model, a component library structure and several typical consistency restrictions. These constraints were formulated as rule basis which were hierarchically organized as a formal model. The model verification was facilitated by rule reasoning. The results show that consistency views can be established with the model and inconsistency manageability was therefore achieved in a rapid application development platform for information systems.

关 键 词：组件 软件框架 规则 一致性 信息系统 

分 类 号：TP317[自动化与计算机技术—计算机软件与理论]