| 一种面向软件工程的时序逻辑语言 |
| |
| 引用本文： | 唐稚松,赵琛.一种面向软件工程的时序逻辑语言[J].软件学报,1994,5(12):1-16. |
| |
| 作者姓名： | 唐稚松 赵琛 |
| |
| 作者单位： | 中国科学院软件研究所，北京 100080;中国科学院软件研究所，北京 100080 |
| |
| 基金项目： | 国家自然科学基金,电子工业部与863计划资助 |
| |
| 摘 要： | ＸＹＺ系统由时序逻辑语言ＸＹＺ／Ｅ及一组基于该语言的ＣＡＳＥ工具集组成．ＸＹＺ／Ｅ语言的目的是欲使逐步求精，描述及验证、快速原型等一些软件工程方法更加有效．特别地，它还能表示实时通信进程中的动态成分．在统一的框架下，不仅能表示不同层次的抽象描述，而且能表示普通高级语言的各种重要性质．本文是关于这一时序逻辑语言最新、最完整的介绍．
|
| 关 键 词： | 时序逻辑语言，一阶逻辑，描述，验证，证明规则，Hoare逻辑，状态转换，变换，并发性，通信进程，实时，分布式系统，通道，动态束定，同步，并行语句，选择语句，CASE工具 |
| 收稿时间： | 1993/8/12 0:00:00 |
A TEMPORAL LOGIC LANGUAGE ORIENTED TOWARD SOFTWARE ENGINEERING |
| |
| Tang Zhisong and Zhao Chen.A TEMPORAL LOGIC LANGUAGE ORIENTED TOWARD SOFTWARE ENGINEERING[J].Journal of Software,1994,5(12):1-16. |
| |
| Authors: | Tang Zhisong and Zhao Chen |
| |
| Abstract: | XYZ system consists of a temporal logic language XYZ/E and a group of CASE tools based on it. The language XYZ/E is designed to facilitate the software engineering methodologies such as stepwise refinement, specification and verification, rapid-prototyping, and in particular, to be able to represent the dynamic aspects of the real time communicating process. With a uniform framework, it can represent not only the specifications of different abstract levels but also almost every kind of significant features in conventional imperative languages. This paper is the most updated and detailed introduction of this temporal logic language in Chinese. |
| |
| Keywords: | Temporal logic language first order logic specification verification proof rules Hoars-logic state-transition transformation concurrency communicating process real time distributed system channels dynamic binding synchronization parallel statement select statement CASE tools |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
