主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
闫安,唐稚松.在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决(英文).软件学报,2000,11(6):711-719
在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决(英文)
Building Hybrid Real Time Systems in XYZ/E——Implemen-tation of the Steam-Boiler Control Specification Problem
投稿时间:1998-09-04  修订日期:1999-01-27
DOI:
中文关键词:  时序逻辑语言,混成实时系统,描述,XYZ/E.
英文关键词:Temporal logic language  real-time hybrid system  specification  XYZ/E.
基金项目:This research is supported by the National Natural Science Foundation of China(国家自然科学基金,No.69673019)
作者单位
闫安 中国科学院软件所计算机科学开放研究实验室,北京,100080 
唐稚松 中国科学院软件所计算机科学开放研究实验室,北京,100080 
摘要点击次数: 2908
全文下载次数: 2855
中文摘要:
      XYZ/E是一个时序逻辑系统,同时也是一种时序逻辑程序设计语言。XYZ/E能够在统一的框架下表示高层和低层的描述,所以便于软件系统的描述与实现。该文对基于XYZ/E的蒸气锅炉问题进行了描述与实现,并介绍了为该问题实现的图形用户界面.
英文摘要:
      XYZ is a software engineering system consisting of a temporal logic language XYZ/ E and a set of CASEtools.The temporal logic language XYZ/ E is based on Manna- Pnuli's Linear- Time Temporal L ogic.It canrepresent both high level and low level specifications in the same frame work,so that the specification andimplementation of software systems are very convenient.XYZ/ E is simple yet expressive enough to be acceptedby engineers.Besides,the formal nature of this language makes it capable of programming verif...
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利