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

一种基于时序逻辑语言的实时售票系统描述与精化方法

金旗铭  张广泉  
【摘要】:时序逻辑语言XYZ/E在统一的形式框架下既能表示静态语义又能表示动态语义,可以实现从抽象描述到可执行程序的平滑过渡。分析了邮政汽车票售票系统的实时性,给出了该系统的组件模型,用XYZ/E描述了整个软件系统的体系结构,逐步精化了核心组件PCServer、PDClient、PSClient,实现了功能组件PSSComput1和PSSComput2到可执行程序XYZ/E的平滑过渡。

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 张广泉,唐稚松;基于时序逻辑语言XYZ/E的软件体系结构描述方法[J];淮阴师范学院学报(自然科学版);2002年01期
2 刘俭云;张广泉;戎玫;;基于XYZ/E的CA认证系统描述与求精[J];计算机科学;2006年08期
3 刘珊艳;张广泉;;基于时序逻辑语言XYZ/E的实时系统应用研究[J];重庆师范大学学报(自然科学版);2006年03期
4 朱雪阳,唐稚松;UML活动图的时序逻辑语义[J];计算机研究与发展;2005年09期
5 王丰元;视觉原理及图象数字化表达[J];山东工程学院学报;1998年02期
6 肖育华,詹纯列;核心期刊对动物实验描述的几点要求[J];华南国防医学杂志;2001年03期
7 耿晨歌,陈祥献,汪乐宇;面向虚拟仪器系统的可视化程序描述方法[J];现代科学仪器;1998年04期
8 阎安,唐稚松;基于 XYZ/ E的混成系统(英文)[J];软件学报;2000年01期
9 焦文品,史忠植;用XYZ/E形式化体系结构风格[J];软件学报;2000年03期
10 叶俊民;王振宇;陈利;赵恒;;TFSP:一种分布式实时系统的形式化描述工具[J];计算机科学;2003年09期
中国重要会议论文全文数据库 前3条
1 邹沐昌;赵北光;;分布式实时系统中控制模型及其坚定性研究[A];1992年中国控制与决策学术年会论文集[C];1992年
2 韩瑞峰;;《小镇畸人》的和谐之美——叙述视野中的小说建构[A];福建省外国语文学会2005年年会暨学术研讨会论文集[C];2005年
3 王建涛;;空间数据元数据管理与检索系统的构建[A];第四届海峡两岸GIS发展研讨会暨中国GIS协会第十届年会论文集[C];2006年
中国博士学位论文全文数据库 前3条
1 王磊;容错实时系统可调度性分析研究[D];浙江大学;2005年
2 陈艾;面向能耗优化的分布式实时系统调度算法研究[D];中国科学技术大学;2007年
3 朱雪阳;软件体系结构形式描述研究[D];中国科学院研究生院(软件研究所);2005年
中国硕士学位论文全文数据库 前10条
1 刘俭云;基于时序逻辑语言XYZ/E的CA认证系统描述与求精[D];苏州大学;2005年
2 郑建丹;基于组件的逐步求精程序设计方法[D];中国科学院软件研究所;2001年
3 周兴丰;一种嵌入式实时中间件的设计与实现[D];浙江大学;2006年
4 黄喜生;爱因斯坦的描述论思想研究[D];南昌大学;2005年
5 周万全;农村居民生活质量的调查研究[D];华中农业大学;2005年
6 余科军;分布式实时系统任务调度算法的设计和实现[D];四川大学;2006年
7 刘辉;河北省传染性非典型肺炎流行相关因素的研究[D];河北医科大学;2005年
8 刘毅;技术知识本体构建及其描述方法研究[D];华中科技大学;2005年
9 黄金伟;解大规模反对称矩阵特征问题的广义Lanczos方法[D];厦门大学;2006年
10 黄正宝;可视化与形式化相结合的软件体系结构描述研究[D];苏州大学;2006年
中国重要报纸全文数据库 前10条
1 欧阳中石;让书法艺术把我们的生活描述得更美[N];北京日报;2000年
2 罗岗;《帝国》:对全球化的另类描述[N];文汇报;2001年
3 刘保全;可贵的新闻敏感 感人的细节描述[N];中国新闻出版报;2001年
4 本报记者 陶晓喆;张兴业描述新世纪汽车[N];中国汽车报;2001年
5 刘;《视频编码与低速率传输》描述真实的多媒体世界[N];中国图书商报;2002年
6 黎叔夏;描述恩怨,穷究私性,体味关怀[N];中华读书报;2002年
7 黄小勇;新公共管理:实践层面的描述[N];学习时报;2002年
8 刘新;中国当代美术评论描述[N];文艺报;2000年
9 刘丽萍;时间序列季节调整描述经济活动的利器[N];中国信息报;2000年
10 刘嘉陵;对电视小品的描述与判断[N];辽宁日报;2001年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978