- 1、本文档共105页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
广东工业大学工学硕士学位论文
基于UML和形式化方法的面向方面
实时系统模型
A Dissertation Submitted to Guangdong University of Technology for the Degree of Master
Aspect-Oriented Model for Real-Time systems Based on UML and Formal Methods
Master Candidate: Liu Ruicheng
Supervisor: Prof. Zhang Lichen
May 2006
Computer Faculty
Guangdong University of Technology
Guangzhou, Guangdong, P.R.China, 510090
摘要
关注分离在软件工程上是一种广泛应用的原理,认为难于理解的复杂问题应该被划分为一系列容易理解的简单问题,并且能够容易解决和集成到原处,从而解决原来复杂的问题。由于问题被分解为人容易理解的小单元,而且适合于各种需求的变化,因此这种方式开发软件能够给程序带来更好的可理解性、维护性、适应性和重用性。
实时系统已经广泛应用于各个领域,但是实时系统具有很多非功能需求(例如实时性),且这些非功能需求往往横切整个系统模块,引起代码混乱和代码分散等问题,导致系统难于设计、重用和维护,严重影响系统的性能。
面向方面编程作为一种基于关注分离的新软件开发范例,能够通过引入实现横切关注点的方面来获得更高的功能性和非功能性关注点的分离,而且系统不同的方面能够进行单独的设计,并织入系统。它不仅能够解决面向对象编程在设计横切关注点时陷入的“应该设计不足还是宁可过分设计”的两难境地,还能够很好的解决上述遇到的问题。
目前面向方面编程的实现语言已经不少,例如AspectJ等,但仍然没有适用面向方面程序设计的建模语言。因此,我们利用UML和形式化方法来表达面向方面程序,并建立相应的面向方面软件设计模型来设计实时系统。
本文分析介绍了实时系统、面向方面软件设计以及UML等技术;总结了UML建模实时系统现有的方法;论述了扩展UML建立的时间模型;提出一种新的基于UML的面向方面软件设计模型(AOSDM-UML),通过扩展UML表达AOP的相关概念,在UML的元模型层次上设计AOSD的模型框架,从结构模型、行为模型和方面织入等几部分建立面向方面的设计模型,并结合实例说明整个建模过程,即利用UML的类图实现方面的结构模型、方面与核心组件以及方面之间的静态关系,协作图表达方面与核心组件之间的动态行为,最后通过状态图细化系统的动态行为,实现在状态图中表达方面与核心组件以及方面之间的织入关系。接着进一步结合形式化语言RTL对AOSDM-UML进行实时扩展,并通过电梯例子来说明实时系统的建模过程。
为了从形式化方法的角度来设计实时系统,本文根据AOP技术把系统不同的方面利用不同的形式化语言来表示,用LOTOS描述实时系统的功能性方面,而实时方面用随机实时时序逻辑SQTL表达,并通过定义迁移系统LTS和事件调度器利用时间自动机来实现方面的织入。根据分布式实时系统的特性,还进一步提出把时间方面划分为确定的、不确定的和模糊的时间子方面,并且把不同的时间子方面分别利用随机实时时序逻辑(SQTL)和模糊时间Petri网(FTN)来设计,然后各个时间子方面都转化为时间自动机组合到系统中,实现系统的实时特性。
关键词:面向方面编程;面向方面软件开发;实时系统;UML;形式化方法
Abstract
Separation of Concerns is a common, widely used principle in software engineering. It suggests that a complex problem that is hard to understand be divided into a series of smaller problems that are less complex and easier to comprehend. These smaller problems may than be solved one at a time and finally may be put back together again to solve the big problem. Developing software this way leads to a greater comprehensibility, maintainability, adaptability, and reusability of programs
您可能关注的文档
- 《基于MATLAB的语音端点检测研究》-毕业论文(设计).doc
- 《基于MATLAB电路特性演示平台的设计》-毕业论文(设计).doc
- 《基于Matlab仿真的电能质量研究》-毕业论文(设计).doc
- 《基于MCGS的机械手控制系统设计》-毕业论文(设计).doc
- 《基于MCGS的小型调速系统》-毕业论文(设计).doc
- 《基于Modbus协议的温度测控节点的设计》-毕业论文(设计).doc
- 《基于MSP430步进电机控制器的设计》-毕业论文(设计).doc
- 《基于MSP430单片机智能阀门控制器的硬件设计》-毕业论文(设计).doc
- 《基于MSP430和CC1100的无线传感器网络节点设计与实现》-毕业论文(设计).doc
- 《基于MSP430矿山通风实时监控系统》-毕业论文(设计).doc
- 专练04世界不同类型的国家易混易错(69个易混易错100题)-2024年中考地理总复习考前抢分易混易错必杀题(原卷版).docx
- 必刷卷04--2022年中考物理考前信息必刷卷(广东省专用).docx
- 解密07任意角的三角函数诱导公式及恒等式.docx
- 53细胞呼吸的原理与应用(第二课时无氧呼吸和细胞呼吸的原理的应用)(备作业)2021-2022学年高一生物(人教版2019必修1)(原卷版).docx
- 82化学品的合理使用-2021-2022学年高一化学教学讲义(人教版2019)(原卷版).docx
- 专题03一元二次方程(重点)(原卷版).docx
- 专题金属镁铝工艺流程训练(原卷版)-2022年高考化学一轮复习必做提升讲义(夯基础再突破).docx
- 2023年伊之密分析报告:高成长性的模压设备龙头,注塑与压铸双赛道成长.pdf
- 2024年欧洲汽车行业分析报告:欧洲市场空间广阔,有望成为全新增长点.pdf
- 2024年无线通信测试设备行业分析报告.docx
最近下载
- 绩效考核方案(经典通用~).doc
- 最新版国有企业因公临时出国(境)管理办法.docx VIP
- 建筑工程图集 07J205:玻璃采光顶.pdf VIP
- 2024年长沙中考作文“考试的背后”审题指导+立意素材+范文8篇.docx
- 中医护理年度工作总结PPT.pptx
- 高考语文思辨类作文写作全面指导写作指导:二元思辨性作文速成模板及示例.pdf VIP
- 项目部安全隐患排查治理制度.docx
- 售楼处保洁服务标准-完整版.pdf VIP
- 《双减背景下小学语文高效课堂和有效教学模式研究》科研课题结题报告.docx
- 【精选 】高一年级(6)班《告别假努力,学会真自律》主题班会(28张PPT)课件.pptx
文档评论(0)