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

作     者：肖黎 张晓东 柴跃廷 李芳芸 XIAO Li;ZHANG Xiaodong;CHAI Yueting;LI Fangyun

作者机构：清华大学自动化系北京100084 

出 版 物：《清华大学学报（自然科学版）》 (Journal of Tsinghua University(Science and Technology))

年 卷 期：2000年第40卷第4期

页      面：80-83页

核心收录：

学科分类：1305[艺术学-设计学（可授艺术学、工学学位）] 0810[工学-信息与通信工程] 13[艺术学] 0805[工学-材料科学与工程（可授工学、理学学位）] 0701[理学-数学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

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

主　　题：组件 软件框架 规则 一致性 信息系统 

摘      要：为保证在组件和框架开发模式下应用系统的一致性 ,必须研究如何检测和解决组件建模过程中存在的冲突。通过对组件模型、组件库结构和几种典型约束条件的分析 ,建立应用框架的一致性模型 ,包括组件体系结构约束和组件行为约束。这些约束条件以规则的形式表示 ,分层的规则库构成最终的形式化模型 ,模型的检验归结为规则的推理。在信息系统快速开发平台中 ,使用上述约束模型可建立信息系统的一致性视图 。