清华大学学报(自然科学版)
清華大學學報(自然科學版)
청화대학학보(자연과학판)
JOURNAL OF TSINGHUA UNIVERSITY SCIENCE AND TECHNOLOGY
2000年
4期
80-83
,共4页
肖黎%张晓东%柴跃廷%李芳芸
肖黎%張曉東%柴躍廷%李芳蕓
초려%장효동%시약정%리방예
组件%软件框架%规则%一致性
組件%軟件框架%規則%一緻性
조건%연건광가%규칙%일치성
为保证在组件和框架开发模式下应用系统的一致性,必须研究如何检测和解决组件建模过程中存在的冲突.通过对组件模型、组件库结构和几种典型约束条件的分析,建立应用框架的一致性模型,包括组件体系结构约束和组件行为约束.这些约束条件以规则的形式表示,分层的规则库构成最终的形式化模型,模型的检验归结为规则的推理.在信息系统快速开发平台中,使用上述约束模型可建立信息系统的一致性视图,使开发平台具有一致性管理的功能.
為保證在組件和框架開髮模式下應用繫統的一緻性,必鬚研究如何檢測和解決組件建模過程中存在的遲突.通過對組件模型、組件庫結構和幾種典型約束條件的分析,建立應用框架的一緻性模型,包括組件體繫結構約束和組件行為約束.這些約束條件以規則的形式錶示,分層的規則庫構成最終的形式化模型,模型的檢驗歸結為規則的推理.在信息繫統快速開髮平檯中,使用上述約束模型可建立信息繫統的一緻性視圖,使開髮平檯具有一緻性管理的功能.
위보증재조건화광가개발모식하응용계통적일치성,필수연구여하검측화해결조건건모과정중존재적충돌.통과대조건모형、조건고결구화궤충전형약속조건적분석,건립응용광가적일치성모형,포괄조건체계결구약속화조건행위약속.저사약속조건이규칙적형식표시,분층적규칙고구성최종적형식화모형,모형적검험귀결위규칙적추리.재신식계통쾌속개발평태중,사용상술약속모형가건립신식계통적일치성시도,사개발평태구유일치성관리적공능.