基于描述逻辑的带依赖属性UML类图.pdfVIP

第37卷 第 15期 计 算 机 工 程 2011年 8月 、，0lI37 No．15 ComputerEngineering August2011 · 软件技术与数据库 · 文章编号：100o_3428(2011)15—04__o3 文献标识码：A 中圈分类号：TP182 基于描述逻辑的带依赖属性UML类图 陈振庆 (广西贺州学院计算机科学与工程系，广西 贺州 542800) 摘 要：分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题，提出一种基于描述逻辑的带依赖属性 UML 类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带依赖属性 UML类图向描述逻辑知识库转化的方法，以及带依赖属性UML类图知识库可满足性定理及其正确性证明。 关健词：统一建模语言类图；描述逻辑；依赖属性；知识库；推理 UM L ClassDiagram withDependenceAttributes Based0nDescriptionLo cs CHEN Zhen-qing (DepartmentofComputerScienceandEngineering，GuangxiHezhouUniversity,Hezhou542800，China) [Abstract]ThecurrentresearchprogressesnadtheexistingproblemsofUnifiedModelingLanguage(UML)classdiagramformalizationmethods basedondescriptionlogicsraeanalyzed．A kindofformalizationmethodofUMLclassdiagram wiht dependenceattributesbasedondescription logicsispresented．Itproceedsstudyingtheformalizationproblemsofdataattributesdependence，actionattributesdependenceandglobal attributes dependenceofUM Lclassdiagram withdependenceattributesbasedondescription logics．Themethodofhow tOtrna slateUMLclassdiagrma wiht dependenceattributesinto knowledgebasesisgiven，aswellashtesatisfiability theorem ofUML classdiagram with dependence attributes knowledgebases，andthecorrectnessofthetheorem isproved． [Keywords[UnifiedModelingLanguage(UML)classdiagrams；descriptionlogics；dependenceattributes；knowledgebases；reasoning DoI：10．3969／j．issn．1000—3428．2011．15．014 1 概述 定义 1带依赖属性 UML类图是一个五元组 s=(cs，Ps， 描述逻辑(DescriptionLogics)以其具备精确的语义和强 Os， ，DPs)，其中： 大推理功能