基于答案集程序设计的UML模型图推理方法研究.pdf

计算机科学2008V01．35NQ．11(专刊) 基于答案集程序设计的UML模型图推理方法*) 邓文俊粱意文 (武汉大学计算机学院 武汉430072) 摘要使用UML模型图研发大型软件系统时，自动验证U胤模型图的正确性十分重要。但现有的验证方法 都局限于一个或两个UML模型图。提出一个可自动验证多种UML模型图正确牲的方法。基于答案集程序设 计，提出了将UML模型图和模型图的属性转换成逻辑程序的方法。通过验证眦模型图的属性在该逻辑程序 的答案集语义中是否为真，来判断UML模型图的正确性。与现有的方法比较，本文的方法更具有普适性，适用于 所有的I舢．模型图。 关键词UML，推理，答案集编程 ReasononUML withAnswerSet Diagrams Progrmmning DENG LIANGYi—wen Wen-jun (Schoolof ComputerScience，WuhanUniversity，Wuhan430072，China) AbstractTo the of industrial ofthe of supportdesignlarge-scale applications。automatedC01Tectn骼s vefifying is methodslimitautomaticverificationtOoneortwo UM旺一diagramnecessary．However，existing diagrams．T}lis amethodofautomated onI withAnswerSet of paperproposes reasoningM，diagrams Programming(ASP)．First andformal ofUML are with theseman- all，I舢．diagramspropertiesdiagramsrepresentedlogic programs．Then ticsofthe are that。correctnessoftheUML callbedeterminedchee- logicprogramscomputed．After diagrams by whetherthe formulasofthe aretrueinthesemantics． king 109ie properties set Ke,ords眦，Reason，Answerprogramming 自动验证UML模型图的技术是解决上述问题 1 引言 的方法。这个技术应包括两部分：其一，形式化的语 UML模型已成为软件开发的实际标准模型语 义，描述UML模型图及其属性。其二，推理方法， 言。但是，由于UML语言缺少精确的语义，因此其 自动验证UML模型图的属性是否满足。已有一些 描述的设计中常存在错误。例如，在图1中，类A 研究[1．5]定义了UML模型语义或者提出了UML 的设计存在问题[1]。原因是：在聚合(aggregation)模型上的自动推理方法。Szlenk提出了UML类图 关系