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

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

   首页 人人文库网 > 资源分类 > DOC文档下载

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

  • 资源星级:
  • 资源大小:2.25MB   全文页数:102页
  • 资源格式: DOC        下载权限:注册会员/VIP会员
您还没有登陆,请先登录。登陆后即可下载此文档。
  合作网站登录: 微信快捷登录 支付宝快捷登录   QQ登录   微博登录
友情提示
2:本站资源不支持迅雷下载,请使用浏览器直接下载(不支持QQ浏览器)
3:本站资源下载后的文档和图纸-无水印,预览文档经过压缩,下载后原文更清晰   

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

广东工业大学工学硕士学位论文基于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

注意事项

本文(基于UML和形式化方法的面向方面实时系统模型_刘瑞成_毕业论文.doc)为本站会员(liyun)主动上传,人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知人人文库网([email protected]),我们立即给予删除!

温馨提示:如果因为网速或其他原因下载失败请重新下载,重复下载不扣分。

copyright@ 2015-2017 人人文库网网站版权所有
苏ICP备12009002号-5