文档介绍：基于氖凳毕低车拿嫦蚍矫娴形式化方法广东工业大学硕士学位论文邓建波指导教师姓名、职称..:学校代号:学科ㄒ或领域名称:学生所属学院:论文答辩日期:密级:学号:ぱ妒
。二
㈣⋯帅舢川⋯⋯—篋:.,甊.●●●ⅢⅢ叭,,
摘要向方面编程思想。随着面向方面编程技术的日渐成熟,面向方面思想已不再局限于编向方面软件开发的有效手段,但是至今还很少有面向方面形式化方法的应用研究,使学研究领域的热点。特别是网络环境设计概念的提出,使得实时系统的应用综合了计算机与网络的系统环境,这个环境可以小到汽车控制系统,大到国家电网,卫星通信系统等。整个系统中要研究领域涉及到建模、逻辑学、并发性、实时性、且网络计算与物理系统的并发性问题有重大分歧。┱埂T诿嫦蚍矫婕际醴矫姹疚南晗嘎凼銎浠靖拍罴昂特性。为了能够满足在实时系统设计要求,最后给出了的面向方面形式化方法。并在此基础上通过综合其它学者在实时系统时间特性形式化方面的成果和基于—向方面形式化扩展方法,给出了一个综合模型,使其能充分的描述在络环境下运行的实时系统的特性。同时在设计过程中可以充分的应用形式化语言严谨针对面向对象技术在处理分散于系统各处的横切关注点上的不足,业界提出了面程层次,而是开始影响到软件开发的各个阶段,形成了面向方面软件开发技术。面向方面建模是用一致的方法来描述、构造、记录和可视化面向方面设计思想,是实现面其在使用过程中难以使用严谨的数学逻辑来表达和论证软件设计过程的正确性。随着云计算和计算机网络技术的发展,实时系统的应用及其设计技术成为计算机科安全性等。目前存在的技术性难题有模型设计问题,管理力度过大,时间周期长,并针对上述问题,本文系统的介绍了网络环境的特性,抽取出网络环境下的时间特性并与实时系统的实时特性相结合。为了能够很好表达实时特性,本文心思想,ü設甖进行面向方面形式化扩展,比较完整的讨论了在网络环境下面向方面形式化方法。同时在基本元素中增加分离变量和横切关注点的形式化描述来达到形式化描述面向方面的的数学逻辑来解决开发过程中的不确定性和不一致性问题。最后本文通过智能交通系统中的列车调度控制系统实例来论证上述思想的正确性。关键词:面向方面;实时系统;:形式化方法;网
.琻屺譸甒琤甀嬲,,琫·甌甅广东工业大学硕士学位论文瑃—瓵.,瓸瓻瑆,瑀,.,瑃.Ⅱ
·:籖—甅;甀—甌’瑃狿瓼,.籆
目录第二章相关知识及技术⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。面向方面技术⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯第三章形式化方法理论与框架⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.形式化方法概述⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一形式化方法框架⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.课题研究国内外动态⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.课题研究主要内容及组织形式⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.特性分析⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。模型分析⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.语义分析⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.....。..........。。...。⋯...。......。........⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.....⋯⋯。....。。...⋯肌甀第一章绪论⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。课题的背景及意义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..实时系统⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..本章小结⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一广东工业大学硕士学位论文.Ⅳ
.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.瓹形式语言概述⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯瓹基本规约语法⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯本章小结⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯...⋯⋯⋯.第四章形式化方法扩展⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。┱⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯:.基于瓹实时形式化方法扩展⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..