计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2011年
15期
49-51
,共3页
统一建模语言类图%描述逻辑%依赖属性%知识库%推理
統一建模語言類圖%描述邏輯%依賴屬性%知識庫%推理
통일건모어언류도%묘술라집%의뢰속성%지식고%추리
分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法.研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题.给出带依赖属性UML类图向描述逻辑知识库转化的方法,以及带依赖属性UML类图知识库可满足性定理及其正确性证明.
分析基于描述邏輯的統一建模語言(UML)類圖形式化方法的研究現狀和存在的問題,提齣一種基于描述邏輯的帶依賴屬性UML類圖的形式化方法.研究帶依賴屬性UML類圖的數據屬性依賴、行為屬性依賴和全跼屬性依賴的描述邏輯形式化問題.給齣帶依賴屬性UML類圖嚮描述邏輯知識庫轉化的方法,以及帶依賴屬性UML類圖知識庫可滿足性定理及其正確性證明.
분석기우묘술라집적통일건모어언(UML)류도형식화방법적연구현상화존재적문제,제출일충기우묘술라집적대의뢰속성UML류도적형식화방법.연구대의뢰속성UML류도적수거속성의뢰、행위속성의뢰화전국속성의뢰적묘술라집형식화문제.급출대의뢰속성UML류도향묘술라집지식고전화적방법,이급대의뢰속성UML류도지식고가만족성정리급기정학성증명.
