基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
混成系统是由计算机和物理设备组成的嵌入式实时计算系统.它允许在交互式实时系统中引入连续变化的单元.XYZ/E 是基于Manna-Pnueli的线性时序逻辑的程序设计语言.它将程序的动态语义与静态语义统一在同一框架中,支持从抽象的程序规范到可执行代码的逐步求精的全过程.该文使用XYZ/E语言描述和验证混成系统.首先介绍了计算模型,然后介绍了XYZ语言对混成系统的形式化描述,最后介绍了混成系统的验证.与同类工作相比,XYZ/E支持状态转换,从而可以方便地描述复杂的控制算法.
推荐文章
基于UML和XYZ/E的ATM系统体系结构描述
软件体系结构
描述
UML
XYZ/E
银行ATM系统
UML和XYZ/E在ATM系统的一个初步应用
软件体系结构
描述
求精
UML
XYZ/E
ATM系统
混成系统研究综述
混成系统
建模
分析
验证
基于XYZ/ADL的工厂自动化系统体系结构描述与求精
软件体系结构
XYZ/ADL
描述
求精
工厂自动化系统
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于XYZ/E的混成系统
来源期刊 软件学报 学科 工学
关键词 混成系统 相位转换系统 时序逻辑语言 XYZ/E 程序规范 验证
年,卷(期) 2000,(1) 所属期刊栏目
研究方向 页码范围 1-7
页数 7页 分类号 TP311
字数 756字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 唐稚松 中国科学院软件研究所计算机科学开放研究实验室 8 175 4.0 8.0
2 阎安 中国科学院软件研究所计算机科学开放研究实验室 1 10 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (10)
同被引文献  (4)
二级引证文献  (13)
2000(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2001(2)
  • 引证文献(2)
  • 二级引证文献(0)
2003(1)
  • 引证文献(1)
  • 二级引证文献(0)
2005(4)
  • 引证文献(2)
  • 二级引证文献(2)
2006(2)
  • 引证文献(0)
  • 二级引证文献(2)
2007(1)
  • 引证文献(0)
  • 二级引证文献(1)
2008(2)
  • 引证文献(1)
  • 二级引证文献(1)
2010(1)
  • 引证文献(1)
  • 二级引证文献(0)
2012(1)
  • 引证文献(1)
  • 二级引证文献(0)
2013(1)
  • 引证文献(1)
  • 二级引证文献(0)
2014(3)
  • 引证文献(1)
  • 二级引证文献(2)
2016(1)
  • 引证文献(0)
  • 二级引证文献(1)
2017(1)
  • 引证文献(0)
  • 二级引证文献(1)
2018(1)
  • 引证文献(0)
  • 二级引证文献(1)
2019(2)
  • 引证文献(0)
  • 二级引证文献(2)
研究主题发展历程
节点文献
混成系统
相位转换系统
时序逻辑语言
XYZ/E
程序规范
验证
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
软件学报
月刊
1000-9825
11-2560/TP
16开
北京8718信箱
82-367
1990
chi
出版文献量(篇)
5820
总下载数(次)
36
论文1v1指导