收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

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

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


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 黄正宝;张广泉;;UML 2.0顺序图的XYZ/E时序逻辑语义研究[J];计算机科学;2006年08期
2 叶俊民;王振宇;陈利;赵恒;;TFSP:一种分布式实时系统的形式化描述工具[J];计算机科学;2003年09期
3 叶俊民,赵恒,王振宇;基于DRTSADL的分布式实时系统建模[J];计算机工程;2005年19期
4 晏荣杰,张广泉;一种基于构件的软件体系结构求精方法及其应用[J];重庆师范学院学报(自然科学版);2003年02期
5 刘珊艳;;基于XYZ/ADL描述的选修课管理系统体系结构[J];云南师范大学学报(自然科学版);2006年04期
6 李辉;张广泉;陈枢茜;;基于UML和XYZ/E的ATM系统体系结构描述[J];微计算机信息;2010年09期
7 刘俭云,戎玫,张广泉;XYZ/E在CA认证系统的一个初步应用[J];计算机工程与应用;2005年26期
8 李辉;张广泉;;UML和XYZ/E在ATM系统的一个初步应用[J];微计算机信息;2010年21期
9 张广泉,唐稚松;基于时序逻辑语言XYZ/E的软件体系结构描述方法[J];淮阴师范学院学报(自然科学版);2002年01期
10 叶俊民,赵良,罗景,王振宇,赵恒;软件体系结构测试覆盖准则研究[J];计算机工程;2005年22期
11 唐胜群,郭学理,姚俊峰,方志民,王文革;电力行业管理信息系统开发研究[J];计算机工程;1999年10期
12 于卫,杨万海,蔡希尧;软件体系结构的描述方法研究[J];计算机研究与发展;2000年10期
13 何炎祥,黄浩,石莉,张戈,李超;软件体系结构中五种常见风格的剖析[J];计算机工程;2000年10期
14 王振宇,池志强,陈利;软件体系结构讲座(八)——体系结构设计工具[J];计算机与数字工程;2000年02期
15 赵恒;王振宇;曹万华;叶俊民;;化学抽象机的分析与应用研究[J];计算机科学;2003年01期
16 莫世锋,何贤江,王秉中;一种总线型软件体系结构的设计与应用[J];计算机应用;2004年05期
17 王君珂,王柏,艾波;电信运营支撑系统的业务场景体系结构模式[J];北京邮电大学学报;2004年S2期
18 褚华;陈平;;基于进程组构件模型的软件体系结构设计方法[J];计算机科学;2004年06期
19 杨泽平,龚正良;基于体系结构依赖图的Wright形式化语言的切片方法[J];计算机与数字工程;2005年07期
20 赵恒,黄志刚,王振宇;插拔式软件连接件的设计与实现[J];计算机与数字工程;2005年10期
中国重要会议论文全文数据库 前10条
1 张玲;陈东义;陈霸东;韩露;马福齐;;可穿戴计算机软件体系结构综述[A];第一届中国情感计算及智能交互学术会议论文集[C];2003年
2 蒋心晓;李新星;;基于分布智能的防空指挥系统软件体系结构[A];'2010系统仿真技术及其应用学术会议论文集[C];2010年
3 李晖;张慧;赵海;蔡巍;;软件网络中的簇度相关性及演化分析[A];第八届沈阳科学学术年会论文集[C];2011年
4 陈于平;刘畅;伍星;迟毅林;;转子故障智能诊断系统的软件体系结构研究[A];第十二届全国设备故障诊断学术会议论文集[C];2010年
5 杨娟;张雷;王柏;艾波;;新一代电信业务支撑系统软件体系结构的研究[A];2003年通信软件技术学术年会论文集[C];2003年
6 戴学臻;赵勇;陈君;;B/S与C/S多层混合软件体系结构在公路信息管理系统中的应用[A];第十四届全国煤矿自动化学术年会暨中国煤炭学会自动化专业委员会学术会议论文集[C];2004年
7 张玲红;张广泉;朱雪阳;戎玫;何玉乾;;UML与XYZ/ADL在电梯控制系统体系结构建模中的应用[A];企业应用集成系统与技术学术研究会论文集[C];2006年
8 杨娟;王柏;艾波;;新一代电信运营支撑系统软件体系结构的形式化描述[A];’2004计算机应用技术交流会议论文集[C];2004年
9 柳刘;金培权;周英华;岳丽华;;一种可重用和可重构的ERTDBS软件体系结构[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
10 李文军;阳春华;;起动机性能测试系统体系结构设计及组件开发[A];04'中国企业自动化和信息化建设论坛暨中南六省区自动化学会学术年会专辑[C];2004年
中国博士学位论文全文数据库 前10条
1 叶俊民;基于软件体系结构的测试用例生成技术研究[D];哈尔滨工程大学;2005年
2 杨春花;软件体系结构中状态方面的编织研究[D];山东大学;2010年
3 张南;命题投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2012年
4 田聪;命题投影时序逻辑的判定性、复杂性、表达性及模型检测[D];西安电子科技大学;2010年
5 郑志;动态软件体系结构建模与模型验证方法的研究[D];大连理工大学;2010年
6 舒新峰;投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2010年
7 陈晓江;分布式系统软件体系结构建模与开发方法研究[D];西北大学;2010年
8 吴克寿;基于公理设计的软件体系结构构建方法研究[D];华中科技大学;2011年
9 徐光侠;分布式实时系统的软件故障注入及可靠性评测方法研究[D];重庆大学;2011年
10 杨琛;打结不变的命题投影时序逻辑与模型检测[D];西安电子科技大学;2010年
中国硕士学位论文全文数据库 前10条
1 金旗铭;基于时序逻辑语言的分布式实时软件体系结构描述与精化[D];苏州大学;2009年
2 李辉;基于UML和时序逻辑语言的银行ATM系统描述与求精[D];苏州大学;2007年
3 刘俭云;基于时序逻辑语言XYZ/E的CA认证系统描述与求精[D];苏州大学;2005年
4 徐宏兴;插件体系结构软件开发方法研究[D];四川大学;2005年
5 李凯;基于规则的软件体系结构研究[D];天津大学;2007年
6 陆文佳;基于SA理论的代码自动生成技术实现和应用[D];复旦大学;2009年
7 孙学军;分布式对象技术在Web应用中的研究[D];西安科技大学;2003年
8 杨磊;基于科学数据共享网的软件体系结构及其质量属性的研究[D];北京工业大学;2005年
9 祝义;基于UML和Z的软件体系结构求精方法及其应用[D];苏州大学;2005年
10 廖立君;基于EGSA的ADL研究及其开发工具的设计[D];中南大学;2004年
中国重要报纸全文数据库 前10条
1 王知遇;从设计模式到体系结构模式[N];中华读书报;2003年
2 陈斌;“开源”浪潮走向复兴[N];计算机世界;2004年
3 焦世东;广东江门市社保系统的由来[N];中国计算机报;2003年
4 本报记者 李良玉 熊伟;为推广.Net奔波[N];计算机世界;2000年
5 本报记者 曹开彬;科怡2000:档案管理新思路[N];中国计算机报;2001年
6 中讯集团市场策划总监 全民 技术总监 杨学松;客户满意度很重要[N];中国计算机报;2001年
7 刘江宁;实现信息孤岛集成[N];中国计算机报;2003年
8 清华大学 谢晓芹 王克宏;两个基本共识[N];计算机世界;2002年
9 彭辉;设计新一代综合业务管理系统[N];通信产业报;2004年
10 敬超;北京农信联社实现“小三通”[N];中国计算机报;2002年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978