基于时序逻辑语言的分布式实时软件体系结构描述与精化

发布时间：2021-09-16 20:27

　　如何解决系统的分布性、实时性和并发性问题是分布式实时系统研究中的难点和重点。但如果将参与实时交互行为的各独立计算结点看成一个个组件,那么参与实时交互行为成为了各组件的实时性交互行为,分布式实时系统的分布性、实时性和并发性也转换成了各组件之间交互行为的属性。本文介绍了分布式实时系统的概念、特点和软件体系结构的基本理论,比较和分析了几种常用形式化方法的特点。在分布式实时软件体系结构描述和精化中引入了实时组件与实时连接件的概念,给出了它们的XYZ/E时序逻辑语义,并证明了它们之间实时连接匹配的条件。本文主要提出了基于时序逻辑语言XYZ/E的分布式实时软件体系结构描述与精化的方法。首先,分析系统中组件之间实时性交互行为,形成系统规范并予以整体描述。然后,确定系统的组件和连接件的规范;组件与组件、组件与连接件之间的连接,实现了体系结构第一层的整体描述。接着对连接件和抽象的组件进行逐层分解,精化到若干个具体的功能组件;再将功能组件逐步平滑过渡到具体可执行的实时语句程序。最后以实时售票系统为例,分析系统实时性,描述软件体系结构,逐层精化实时组件,平滑过渡到具体的可执行的实时语句程序。通过该实例表明此... 

【文章来源】：苏州大学江苏省 211工程院校

【文章页数】：80 页

【学位级别】：硕士

【文章目录】：
中文摘要
Abstract
第一章 绪论
    1.1 研究的背景
    1.2 本文研究内容
    1.3 本文的组织结构
第二章 分布式实时系统简介
    2.1 分布式实时系统的概念
        2.1.1 分布式实时系统的定义
        2.1.2 分布式实时系统的分类
    2.2 分布式实时系统的特性
    2.3 分布式实时系统的实现方式
    2.4 分布式实时系统软件的特性
    2.5 本章小结
第三章 软件体系结构与时序逻辑语言XYZ/E
    3.1 软件体系结构
        3.1.1 软件体系结构概述
        3.1.2 软件体系结构的组成要素
        3.1.3 软件体系结构风格
        3.1.4 软件体系结构的描述与精化
    3.2 时序逻辑
        3.2.1 时序逻辑介绍
        3.2.2 实时逻辑与实时系统的其它形式化方法
    3.3 时序逻辑语言XYZ/E
        3.3.1 时序逻辑语言XYZ/E概述
        3.3.2 XYZ/E的构成元素
        3.3.3 XYZ/E的实时性扩展
    3.4 本章小结
第四章 基于XYZ/E的分布式实时软件体系结构
    4.1 分布式实时软件体系结构组成要素的实时性分析
    4.2 实时组件和连接件的XYZ/E描述
        4.2.1 实时组件的描述
        4.2.2 连接的实时匹配问题
        4.2.3 实时连接件的描述
    4.3 XYZ/E的基层模块和程序框架
    4.4 XYZ/E的程序结构形式
    4.5 基于XYZ/E的分布式实时软件体系结构描述与精化
        4.5.1 分布式实时软件体系结构
        4.5.2 基于XYZ/E的分布式实时软件体系结构的描述与精化的方法
    4.6 本章小结
第五章 实例系统应用
    5.1 系统的实时性分析
    5.2 基于XYZ/E的的体系结构描述
    5.3 实时售票系统的体系结构的精化
        5.3.1 端口的描述
        5.3.2 实时连接件的描述
        5.3.3 实时组件的初步精化
        5.3.4 功能实时组件的精化
            5.3.4.1 数据结构的描述
            5.3.4.2 精化后的功能组件到可执行的具体程序过渡
    5.4 本章小结
第六章 总结与展望
    6.1 工作总结
    6.2 下一步工作
参考文献
攻读学位期间本人公开发表的论文
致谢
详细摘要


【参考文献】：
期刊论文
[1]分布式实时系统的自适应资源管理中间件[J]. 廖勇,陈旭东,桑楠,胡林辉,熊光泽,朱清新.  电子科技大学学报. 2008(01)
[2]软件体系结构研究进展[J]. 梅宏,申峻嵘.  软件学报. 2006(06)
[3]分布式实时系统体系结构描述语言的设计及其应用实例研究[J]. 叶俊民,王振宇,黄萍,赵恒.  小型微型计算机系统. 2005(09)
[4]基于时序逻辑的软件体系结构描述语言XYZ/ADL[J]. 朱雪阳,唐稚松.  软件学报. 2003(04)
[5]软件体系结构抽象模型[J]. 赵会群,王国仁,高远.  计算机学报. 2002(07)
[6]关于软件形式化方法[J]. 张广泉.  重庆师范学院学报(自然科学版). 2002(02)
[7]基于层次消息总线的软件体系结构风格[J]. 张世琨,王立福,杨芙清.  中国科学E辑:技术科学. 2002(03)
[8]A-ADL:一种多智能体系统体系结构描述语言[J]. 马俊涛,傅韶勇,刘积仁.  软件学报. 2000(10)
[9]基于框架和角色模型的软件体系结构规约[J]. 冯铁,张家晨,陈伟,金淳兆.  软件学报. 2000(08)
[10]软件体系结构描述语言ADL及其研究进展[J]. 孙志勇,刘宗田,袁兆山.  计算机科学. 2000(01)

硕士论文
[1]实时分布式软件建模技术研究[D]. 朱良.西北工业大学 2007
[2]异构的分布式实时系统的建模及性能分析[D]. 董玉梅.广东工业大学 2006
[3]可视化与形式化相结合的软件体系结构描述研究[D]. 黄正宝.苏州大学 2006
[4]软件体系结构描述语言XYZ/ADL与UML的转换机制研究[D]. 陈琳琳.苏州大学 2006
[5]基于组件的逐步求精程序设计方法[D]. 郑建丹.中国科学院软件研究所 2001



本文编号：3397240