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

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

Consistency management of information system software framework

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.