###
DOI:
Journal of Software:2000.11(6):711-719

在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决(英文)
闫安,唐稚松
(中国科学院软件所计算机科学开放研究实验室,北京,100080)
Building Hybrid Real Time Systems in XYZ/E——Implemen-tation of the Steam-Boiler Control Specification Problem
YAN An,TANG Zhi song
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2940   Download 2876
Received:September 04, 1998    Revised:January 27, 1999
> 中文摘要: XYZ/E是一个时序逻辑系统,同时也是一种时序逻辑程序设计语言。XYZ/E能够在统一的框架下表示高层和低层的描述,所以便于软件系统的描述与实现。该文对基于XYZ/E的蒸气锅炉问题进行了描述与实现,并介绍了为该问题实现的图形用户界面.
Abstract: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...
文章编号:     中图分类号:    文献标志码:
基金项目:This research is supported by the National Natural Science Foundation of China(国家自然科学基金,No.69673019) This research is supported by the National Natural Science Foundation of China(国家自然科学基金,No.69673019)
Foundation items:
Reference text:

闫安,唐稚松.在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决(英文).软件学报,2000,11(6):711-719

YAN An,TANG Zhi song.Building Hybrid Real Time Systems in XYZ/E——Implemen-tation of the Steam-Boiler Control Specification Problem.Journal of Software,2000,11(6):711-719