会员注册 | 登录 | 微信快捷登录 支付宝快捷登录 QQ登录 微博登录 | 帮助中心 人人文库renrendoc.com美如初恋!
站内搜索 百度文库

热门搜索: 直缝焊接机 矿井提升机 循环球式转向器图纸 机器人手爪发展史 管道机器人dwg 动平衡试验台设计

基于UML和形式化方法的面向方面实时系统模型_刘瑞成_毕业论文.doc基于UML和形式化方法的面向方面实时系统模型_刘瑞成_毕业论文.doc -- 6 元

宽屏显示 收藏 分享

页面加载中... ... 广告 0 秒后退出

资源预览需要最新版本的Flash Player支持。
您尚未安装或版本过低,建议您

广东工业大学工学硕士学位论文基于UML和形式化方法的面向方面实时系统模型刘瑞成二零零六年五月八日分类号学校代码111911UDC密级学号2240305243广东工业大学学位论文基于UML和形式化方法的面向方面实时系统模型刘瑞成指导教师张立臣教授广东工业大学计算机学院学科门类工学专业名称计算机软件与理论申请学位级别硕士论文提交日期2006年5月论文答辩日期2006年5月学位授予单位广东工业大学ADissertationSubmittedtoGuangdongUniversityofTechnologyfortheDegreeofMasterAspectOrientedModelforRealTimesystemsBasedonUMLandFormalMethodsMasterCandidateLiuRuichengSupervisorProf.ZhangLichenMay2006ComputerFacultyGuangdongUniversityofTechnologyGuangzhou,Guangdong,P.R.China,510090摘要I摘要关注分离在软件工程上是一种广泛应用的原理,认为难于理解的复杂问题应该被划分为一系列容易理解的简单问题,并且能够容易解决和集成到原处,从而解决原来复杂的问题。由于问题被分解为人容易理解的小单元,而且适合于各种需求的变化,因此这种方式开发软件能够给程序带来更好的可理解性、维护性、适应性和重用性。实时系统已经广泛应用于各个领域,但是实时系统具有很多非功能需求(例如实时性),且这些非功能需求往往横切整个系统模块,引起代码混乱和代码分散等问题,导致系统难于设计、重用和维护,严重影响系统的性能。面向方面编程作为一种基于关注分离的新软件开发范例,能够通过引入实现横切关注点的方面来获得更高的功能性和非功能性关注点的分离,而且系统不同的方面能够进行单独的设计,并织入系统。它不仅能够解决面向对象编程在设计横切关注点时陷入的应该设计不足还是宁可过分设计的两难境地,还能够很好的解决上述遇到的问题。目前面向方面编程的实现语言已经不少,例如AspectJ等,但仍然没有适用面向方面程序设计的建模语言。因此,我们利用UML和形式化方法来表达面向方面程序,并建立相应的面向方面软件设计模型来设计实时系统。本文分析介绍了实时系统、面向方面软件设计以及UML等技术总结了UML建模实时系统现有的方法论述了扩展UML建立的时间模型提出一种新的基于UML的面向方面软件设计模型AOSDMUML,通过扩展UML表达AOP的相关概念,在UML的元模型层次上设计AOSD的模型框架,从结构模型、行为模型和方面织入等几部分建立面向方面的设计模型,并结合实例说明整个建模过程,即利用UML的类图实现方面的结构模型、方面与核心组件以及方面之间的静态关系,协作图表达方面与核心组件之间的动态行为,最后通过状态图细化系统的动态行为,实现在状态图中表达方面与核心组件以及方面之间的织入关系。接着进一步结合形式化语言RTL对AOSDMUML进行实时扩展,并通过电梯例子来说明实时系统的建模过程。广东工业大学工学硕士学位论文II为了从形式化方法的角度来设计实时系统,本文根据AOP技术把系统不同的方面利用不同的形式化语言来表示,用LOTOS描述实时系统的功能性方面,而实时方面用随机实时时序逻辑SQTL表达,并通过定义迁移系统LTS和事件调度器利用时间自动机来实现方面的织入。根据分布式实时系统的特性,还进一步提出把时间方面划分为确定的、不确定的和模糊的时间子方面,并且把不同的时间子方面分别利用随机实时时序逻辑SQTL和模糊时间Petri网FTN来设计,然后各个时间子方面都转化为时间自动机组合到系统中,实现系统的实时特性。关键词面向方面编程面向方面软件开发实时系统UML形式化方法摘要IAbstractSeparationofConcernsisacommon,widelyusedprincipleinsoftwareengineering.Itsuggeststhatacomplexproblemthatishardtounderstandbedividedintoaseriesofsmallerproblemsthatarelesscomplexandeasiertocomprehend.Thesesmallerproblemsmaythanbesolvedoneatatimeandfinallymaybeputbacktogetheragaintosolvethebigproblem.Developingsoftwarethiswayleadstoagreatercomprehensibility,maintainability,adaptability,andreusabilityofprogramssinceproblemsarecutdowntounitswhosesizeisperceptiblebyhumanmindsandthatmaybegeneralizedtosuitvariousneeds.RealTimesystemshavebeenappliedineveryareawidely,buttheyhavemanynonfunctionalrequirements,suchastherealtimerequirement,whichcrosscutthewholesystemmodules.Thatmaycausethecodetangleandscatter,makethesystemshardtodesign,reuseandmaintain,andaffectperformanceofsystemsbadly.AOPisanewsoftwaredevelopmentparadigm,whichcouldattainahigherlevelofseparationofconcernsinbothfunctionalandnonfunctionalmattersbyintroducingaspect,fortheimplementationofcrosscuttingconcerns.Differentaspectscanbedesignedseparately,andwovenintosystem.Thiswaycannotonlysolvethearchitectsunder/overdesigndilemmaofcrosscuttinginOOP,butalsosolvetheproblemsstatedabove.Therearemanyimplementationsofaspectorientedprogramsrecently,suchasAspectJ,butnomodelinglanguageisavailableforthedesignofAOP.SoweexpresstheAOPusingUMLandformalmethods,andestablishtheAspectOrientedSoftwareDesignModelcorrespondinglytomodelrealtimesystems.Firstly,weintroducethetechnologiesofrealtimesystems,aspectorientedsoftwaredesign,andUML,summarizetheexpressionofrealtimeinUML,anddiscussthetimemodelofUML.Secondly,weproposeanewaspectorientedsoftwaredesignmodelcalledAOSDUMLwhichexpressestheAOPbyextendingUML,designsprofileofAOSD广东工业大学工学硕士学位论文IIinthemetamodelofUML,andmodeltheaspectorientedsystemsfromseveralpartssuchasstructure,behaviorandaspectweavingandsoon.Fordemonstrationpurposes,asimplesampleapplicationismodeledinthisworkwiththehelpofAOSDUML.Classdiagramsmodelthestructuremodelofaspects,staticrelationshipbetweenaspectsandcorecomponent,andrelationshipamongaspects.Collaborationdiagramsdesigndynamicbehaviorsofaspectsandcorecomponent,whilestatechartsrefinethosebehaviorsandrealizetheaspectsweaving.Inordertomodelrealtimesystems,weextendtherealtimeintoAOSDMUMLwithintegratingrealtimelogic,andanelevatorexampleillustratesthemodel.Finally,inordertomodelrealtimesystemswithformalmethods,wedesignthedifferentaspectsofthesystembydifferentformallanguagesaccordingtotheaspectorientedtechnology.ThefunctionalaspectscanbedescribedbyLOTOS,whilethenonfunctionalaspectsbySQTL.Alabeledtransitionsystemandeventschedulercanbedefinedtoweavetheaspectswithtimedautomata.Accordingtocharacteristicofdistributedrealtimesystems,weseparatethetimeaspectintothreesubaspectsinadvance,whicharedeterministictimesubaspect,undeterministictimesubaspectandfuzzytimesubaspect.ThosesubaspectsaredesignedbySQTLandFTNetc.Afterallthesubaspectsareimplemented,theyaretranslatedintotimedautomataandwovenintothesystem,andrealizetherealtimefeature.KeywordsAOPAOSDrealtimesystemsUMLformalmethods
编号:201311211139078768    大小:2.25MB    格式:DOC    上传时间:2013-11-21
  【编辑】
6
关 键 词:
专业文献 学术论文 精品文档 基于UML?
温馨提示:
1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
2: 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
3.本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 人人文库网仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
  人人文库网所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
0条评论

还可以输入200字符

暂无评论,赶快抢占沙发吧。

当前资源信息

4.0
 
(2人评价)
浏览:8次
liyun上传于2013-11-21

官方联系方式

客服手机:13961746681   
2:不支持迅雷下载,请使用浏览器下载   
3:不支持QQ浏览器下载,请用其他浏览器   
4:下载后的文档和图纸-无水印   
5:文档经过压缩,下载后原文更清晰   

相关资源

相关资源

相关搜索

专业文献   学术论文   精品文档   基于UML?  
关于我们 - 网站声明 - 网站地图 - 友情链接 - 网站客服客服 - 联系我们
copyright@ 2015-2017 人人文库网网站版权所有
苏ICP备12009002号-5