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

收藏 分享

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

广东工业大学工学硕士学位论文基于UML和形式化方法的面向方面实时系统模型刘瑞成二零零六年五月八日分类号学校代码111911UDC密级学号2240305243广东工业大学学位论文基于UML和形式化方法的面向方面实时系统模型刘瑞成指导教师张立臣教授广东工业大学计算机学院学科门类工学专业名称计算机软件与理论申请学位级别硕士论文提交日期2006年5月论文答辩日期2006年5月学位授予单位广东工业大学ADISSERTATIONSUBMITTEDTOGUANGDONGUNIVERSITYOFTECHNOLOGYFORTHEDEGREEOFMASTERASPECTORIENTEDMODELFORREALTIMESYSTEMSBASEDONUMLANDFORMALMETHODSMASTERCANDIDATELIURUICHENGSUPERVISORPROFZHANGLICHENMAY2006COMPUTERFACULTYGUANGDONGUNIVERSITYOFTECHNOLOGYGUANGZHOU,GUANGDONG,PRCHINA,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,WIDELYUSEDPRINCIPLEINSOFTWAREENGINEERINGITSUGGESTSTHATACOMPLEXPROBLEMTHATISHARDTOUNDERSTANDBEDIVIDEDINTOASERIESOFSMALLERPROBLEMSTHATARELESSCOMPLEXANDEASIERTOCOMPREHENDTHESESMALLERPROBLEMSMAYTHANBESOLVEDONEATATIMEANDFINALLYMAYBEPUTBACKTOGETHERAGAINTOSOLVETHEBIGPROBLEMDEVELOPINGSOFTWARETHISWAYLEADSTOAGREATERCOMPREHENSIBILITY,MAINTAINABILITY,ADAPTABILITY,ANDREUSABILITYOFPROGRAMSSINCEPROBLEMSARECUTDOWNTOUNITSWHOSESIZEISPERCEPTIBLEBYHUMANMINDSANDTHATMAYBEGENERALIZEDTOSUITVARIOUSNEEDSREALTIMESYSTEMSHAVEBEENAPPLIEDINEVERYAREAWIDELY,BUTTHEYHAVEMANYNONFUNCTIONALREQUIREMENTS,SUCHASTHEREALTIMEREQUIREMENT,WHICHCROSSCUTTHEWHOLESYSTEMMODULESTHATMAYCAUSETHECODETANGLEANDSCATTER,MAKETHESYSTEMSHARDTODESIGN,REUSEANDMAINTAIN,ANDAFFECTPERFORMANCEOFSYSTEMSBADLYAOPISANEWSOFTWAREDEVELOPMENTPARADIGM,WHICHCOULDATTAINAHIGHERLEVELOFSEPARATIONOFCONCERNSINBOTHFUNCTIONALANDNONFUNCTIONALMATTERSBYINTRODUCINGASPECT,FORTHEIMPLEMENTATIONOFCROSSCUTTINGCONCERNSDIFFERENTASPECTSCANBEDESIGNEDSEPARATELY,ANDWOVENINTOSYSTEMTHISWAYCANNOTONLYSOLVETHEARCHITECTSUNDER/OVERDESIGNDILEMMAOFCROSSCUTTINGINOOP,BUTALSOSOLVETHEPROBLEMSSTATEDABOVETHEREAREMANYIMPLEMENTATIONSOFASPECTORIENTEDPROGRAMSRECENTLY,SUCHASASPECTJ,BUTNOMODELINGLANGUAGEISAVAILABLEFORTHEDESIGNOFAOPSOWEEXPRESSTHEAOPUSINGUMLANDFORMALMETHODS,ANDESTABLISHTHEASPECTORIENTEDSOFTWAREDESIGNMODELCORRESPONDINGLYTOMODELREALTIMESYSTEMSFIRSTLY,WEINTRODUCETHETECHNOLOGIESOFREALTIMESYSTEMS,ASPECTORIENTEDSOFTWAREDESIGN,ANDUML,SUMMARIZETHEEXPRESSIONOFREALTIMEINUML,ANDDISCUSSTHETIMEMODELOFUMLSECONDLY,WEPROPOSEANEWASPECTORIENTEDSOFTWAREDESIGNMODELCALLEDAOSDUMLWHICHEXPRESSESTHEAOPBYEXTENDINGUML,DESIGNSPROFILEOFAOSD广东工业大学工学硕士学位论文IIINTHEMETAMODELOFUML,ANDMODELTHEASPECTORIENTEDSYSTEMSFROMSEVERALPARTSSUCHASSTRUCTURE,BEHAVIORANDASPECTWEAVINGANDSOONFORDEMONSTRATIONPURPOSES,ASIMPLESAMPLEAPPLICATIONISMODELEDINTHISWORKWITHTHEHELPOFAOSDUMLCLASSDIAGRAMSMODELTHESTRUCTUREMODELOFASPECTS,STATICRELATIONSHIPBETWEENASPECTSANDCORECOMPONENT,ANDRELATIONSHIPAMONGASPECTSCOLLABORATIONDIAGRAMSDESIGNDYNAMICBEHAVIORSOFASPECTSANDCORECOMPONENT,WHILESTATECHARTSREFINETHOSEBEHAVIORSANDREALIZETHEASPECTSWEAVINGINORDERTOMODELREALTIMESYSTEMS,WEEXTENDTHEREALTIMEINTOAOSDMUMLWITHINTEGRATINGREALTIMELOGIC,ANDANELEVATOREXAMPLEILLUSTRATESTHEMODELFINALLY,INORDERTOMODELREALTIMESYSTEMSWITHFORMALMETHODS,WEDESIGNTHEDIFFERENTASPECTSOFTHESYSTEMBYDIFFERENTFORMALLANGUAGESACCORDINGTOTHEASPECTORIENTEDTECHNOLOGYTHEFUNCTIONALASPECTSCANBEDESCRIBEDBYLOTOS,WHILETHENONFUNCTIONALASPECTSBYSQTLALABELEDTRANSITIONSYSTEMANDEVENTSCHEDULERCANBEDEFINEDTOWEAVETHEASPECTSWITHTIMEDAUTOMATAACCORDINGTOCHARACTERISTICOFDISTRIBUTEDREALTIMESYSTEMS,WESEPARATETHETIMEASPECTINTOTHREESUBASPECTSINADVANCE,WHICHAREDETERMINISTICTIMESUBASPECT,UNDETERMINISTICTIMESUBASPECTANDFUZZYTIMESUBASPECTTHOSESUBASPECTSAREDESIGNEDBYSQTLANDFTNETCAFTERALLTHESUBASPECTSAREIMPLEMENTED,THEYARETRANSLATEDINTOTIMEDAUTOMATAANDWOVENINTOTHESYSTEM,ANDREALIZETHEREALTIMEFEATUREKEYWORDSAOP;AOSD;REALTIMESYSTEMS;UML;FORMALMETHODS
编号:201311211139078768    类型:共享资源    大小:2.25MB    格式:DOC    上传时间:2013-11-21
  
6
关 键 词:
专业文献 学术论文 精品文档 基于UML?
  人人文库网所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
关于本文
本文标题:基于UML和形式化方法的面向方面实时系统模型_刘瑞成_毕业论文.doc
链接地址:http://www.renrendoc.com/p-108768.html

当前资源信息

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

官方联系方式

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

精品推荐

相关阅读

人人文库
关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服客服 - 联系我们

网站客服QQ:2846424093    人人文库上传用户QQ群:460291265   

[email protected] 2016-2018  renrendoc.com 网站版权所有   南天在线技术支持

经营许可证编号:苏ICP备12009002号-5