文档介绍：兰州理工大学
硕士学位论文
基于本体推理的UML模型语义检查
姓名:臧凤奎
申请学位级别:硕士
专业:计算机软件与理论
指导教师:李明
20090331
摘要统一建模语言,已经被面向对象建模领域公认为事实上的工业标准。使用枋龅娜砑P停泶锛蚪唷⒅惫郏阌建模人员进行交流沟通。然而,这种图形化的语言缺乏精确的形式化语义基础,由此,可能导致建模过程中产生不一致性等问题。目前虽然已经有很多工作致力于沸匝芯亢蚒模型的不一致性管理等研究,但是,它们主要从局部给出了个别夹谓5慕饩霭旆ǎ荒艽痈旧辖饩鑫侍狻基于本体的精确化特点和自推理功能,我们以本体作为P筒灰恢录查的语义层次基础,根据P秃捅咎宓南嗨菩蕴氐悖裊模型转化为本体模型,通过本体的推理功能,以此来检查P椭械挠镆宀灰恢滦缘任侍狻为达到这个目的,本文主要开展了以下几个方面的研究工作:详细比较了本体和P偷囊焱恪1疚闹饕4泳蔡⒍⒐蚕怼可扩展性、建模方法、继承、封装、类之间的关系、类和属性的层次,以及推理特性等角度,对两者进行了详细的比较;同时,我们还详细比较了两种模型各自建立了两种模型的转换规则。在上述本体和P捅冉系幕∩希于两种模型的相似性,给出了从P偷奖咎迥P偷淖;还嬖颍徊⒁源笱г提出了描述逻辑的动态扩展。目前的描述逻辑荒苊枋鯱图形中的静态特征,还不能很好地描述夹沃械亩褪碧卣鳎攵悦枋逻辑蛔阒Γ疚奶岢隽死┱姑枋雎呒墓乖焖阕樱员阌谑屎闲问化形M嫉亩卣鳎徊⒊醪教教至薚算法的一些基本性质,如:可关键词:本体;P停恍问交椒ǎ欢枋雎呒籘算法的描述语言,以便为下一步的模型转换奠定基础。工的部分P臀J道酆涎橹ち朔椒ǖ目尚行主要内容包括模型的转换和推理验证判定性⒖煽啃、完备性。硕学位论文
—甌互.,,,.基咎宀:理的P陀镆辶娌—甋瑆瑃瑆.,畆畊,,,琲甈甌琣瑂
籉篛籙;硕学位论文;
媛阈运惴ǖ淖;还嬖虮怼附表索引凹的映射关系⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..【加綧【挠锓ê陀镆灞怼表面向对象模型与本体模型的比较⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.表描述逻辑挠锓ê陀镆灞怼┱瓜盗械挠锓ê陀镆灞怼表隓的比较⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..硕十学位论文
插图索引夹畏掷唷图图本体表示语言的联系图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..,榄犁语义柃杏
导师签‰/作者签名:钶茵乏继作者签名:战侄乙乃冬兰州理工大学学位论文原创性声明和使用授权说明原创性声明学位论文版权使用授权书日期:!年日期罐叩辍拢琽日集体已经发表或撰写的成果作品。对本文的研究做出重要贡献的个人和集体,均日期:!『年‘月,。日本人郑重声明:所呈交的论文是本人在导师的指导下独立进行研究所取得的研究成果。除了文中特别加以标注引用的内容外,本论文不包含任何其他个人或已在文中以明确方式标明。本人完全意识到本声明的法律后果由本人承担。本学位论文作者完全了解学校有关保留、使用学位论文的规定,即:学校有权保留并向国家有关部门或机构送交论文的复印件和电子版,允许论文被查阅和借阅。本人授权兰州理工大学可以将本学位论文的全部或部分内容编入有关数据库进行检索,可以采用影印、缩印或扫描等复制手段保存和汇编本学位论文。同时授权中国科学技术信息研究所将本学位论文收录到《中国学位论文全文数据库》,并通过网络向社会公众提供信息服务。月日,。
第绪论研究背景与意义随着计算机应用的飞速发展,软件的复杂程度不断提高,源代码的规模越来越大,项目失败的可能性也相应增加。在长期的研究和实践中,人们愈来愈深刻地意识到,建立简明准确的表示模型是把握复杂系统的关键。模型可以是人们从全局上把握系统的全貌及其相关部件之间的联系,可以防止人们过早地陷入各个模块的细节。因此面向对象的分析和设计应该从建模开始,建模语言一直是面向对象技术的研究重点。统一建模语言某鱿郑侨砑こ塘煊蛑最重要、具有划时代意义的重大成果之一。怯墒澜缰拿嫦蚨韵蠹际方法和方法的基础上,广发征求意见,集众家之长,几经修改而完成的。骋涣嗣嫦蚨韵蠼5幕靖拍睢⑹跤锛捌渫夹畏牛H嗣墙⒘吮阌尽管〉昧讼灾某杉ǎ腔勾嬖谛矶嗳钡研讨会上人们就指出了它的许多缺点。在年诳橹奶致刍嵘咸岢龅娜钡惆ǎ号哟蟮哪谌荨⑽薜览淼母丛性以及缺少良好定义的外围。经常被提到的其它问题还包括不精确性、工具实现的不完备性和缺少对体系结构建模的支持。乇鹗撬狈σ桓鼍返男问交义,这使得开发人员对一个模型的理解可能会有歧义;而且,也可能会导致各种模型之间产生语义不一致性。因此,男问交镆逖芯勘愠晌=饩鰑语义精确性的一个重要研究课题。,自被提出以来就引起了国内外众多科研人员的关