基于uml和形式化方法的面向方面实时系统模型-计算机软件与理论专业论文.docxVIP

广东工业大学工学硕士学位论文为了从形式化方法的角度来设计实时系统，本文根据AOP技术把系统不同的 广东工业大学工学硕士学位论文 为了从形式化方法的角度来设计实时系统，本文根据AOP技术把系统不同的 方面利用不同的形式化语言来表示，用LOTOs描述实时系统的功能性方面，而 实时方面用随机实时时序逻辑sQTL表达，并通过定义迁移系统LTs和事件调度 器利用时间自动机来实现方面的织入。根据分布式实时系统的特性，还进一步提 出把时间方面划分为确定的、不确定的和模糊的时间子方面，并且把不同的时间 子方面分别利用随机实时时序逻辑(sQTL)和模糊时间Petri网(FTN)来设计，然后 各个时间子方面都转化为时间自动机组合到系统中，实现系统的实时特性。 关键词：面向方面编程；面向方面软件开发；实时系统；uML；形式化方法 II Abstract5印8r盯ffD咒 Abstract 5印8r盯ffD咒 口，CD行c已mJ is a common， widely used principle in software enginee ring．It suggests that a complex problem that is hard to understand be divided into a series of smaller problems that are 1ess complex and easier to comprehend． These smaller problems may than be s01Ved 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，adaptabil“y，and reusability of programs since problems are cut down to units whose size is perceptible by human minds and that may be generalized to suit Various needs． R已口f-nm已5”fems have been applied in every area widely，but they have many non—functionaI fequirements，sucb as the，P口，·，砌P，Pg“j，苫，甩占砧f，wbjch cross cu￡the whole system modules．That may cause the code tangle and scatter，make the systems hard to design，reuse and maiⅡtain，and affect performance of systems badly． AOP is a new software deVelopment paradigm，which could attain a higher level of J印口mfi口n D， c伽cPms in both functional and non—functional matters by introducing以jPecf，for the implementation of cr口sjc“fffHg concerns．DifferentⅡ置PPcfs can be designed separately，and woVen into system．This way can not only solve the architect’s under／overdesign dilemma of crossc“ffiHg in OOP，but“so solve the problems stated above． There are many fmp地小已川乜ffDns of aspect-oriented programs recently，such as AspectJ，but no modeling 1anguage is aVailable for the d已sfgn of AOP．So we express the AOP using UML and，扫r，nnz，挖Pf矗Dds，and establish the Aspect—Oriented Software Design Model correspondingly to model r已口f—