从XYZ／E到实时子语言XYZ／RE的扩充及其CASE工具XYZ／RTG

ISCAS OpenIR > 中科院软件所 > 中科院软件所

	从XYZ／E到实时子语言XYZ／RE的扩充及其CASE工具XYZ／RTG
	杨莉
Major	计算机软件
	1995
Degree Grantor	中国科学院软件研究所
Degree Level	博士
Place of Degree Grantor	中国科学院软件研究所
Keyword	时序逻辑实时系统时序算子时间上限时间下限谓词 Case工具
English Abstract	XYZ/RE是XYZ／E的实时子语言。本文讨论了如何在原有Kripke模型上作最小的扩充，使得新引入的实时时序算子可以在其中定义。并在语言上介绍了与XYZ／BE和XYZ／SE相对应的实时语言的语法定义及语义解释。本文还介绍了一种为实时软件工程师设计的CASE工具XYZ／RTG。这一工具可用来将XYZ／SE程序自动软换为实时XYZ／RSE程序，并可检查一致性和计算时间限。有关这一工具的设计思想以及程序实现方法等亦有较详细的计论。
Abstract	XYZ/RE is a Real-Time sublanguage of XYZ/E. This paper discussed how to implement the minimum extension on Kripke Model so that the new Real-Time temporal operator can be defined in it. It mentions the syntax definition and semantics explanation of the Real-time sublanguages corresponding to XYZ/BE and XYZ/SE. The paper also introduces a CASE TOOL designed for Real-Time Programmer, which has the functions to transform XYZ/SE program into XYZ/RSE program, check the consistency properties of a XYZ/RSE program and compute the time bounds of the whole program, etc. The designing method and programming technique are also covered.
Pages	56
Language	中文
Content Type	学位论文
URI	http://ir.iscas.ac.cn/handle/311060/7398
Collection	中科院软件所_中科院软件所
Recommended Citation GB/T 7714	杨莉. 从XYZ／E到实时子语言XYZ／RE的扩充及其CASE工具XYZ／RTG[D]. 中国科学院软件研究所. 中国科学院软件研究所,1995.

Files in This Item:
File Name/Size	DocType	Version	Access	License
N91058.pdf（1981KB）			限制开放	--	Application Full Text

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库