| 形式化语言RT-Z的合成及其应用 |
| |
| 引用本文： | 吴宇琼,张立臣.形式化语言RT-Z的合成及其应用[J].微机发展,2005,15(8):34-36,40. |
| |
| 作者姓名： | 吴宇琼 张立臣 |
| |
| 作者单位： | [1]嘉应学院数学系,广东梅州514015 [2]广东工业大学计算机学院,广东广州510090 |
| |
| 基金项目： | 国家自然科学基金资助项日（60474072;60174050）;广东省自然科学基金资助项目（04009465;010059）;广东省商校自然科学研究项目（Z03024） |
| |
| 摘 要： | Z是一种确定相关数据特征的非常成功的形式化语言，却在构造动态行为方面的模型缺乏相应的功能；而Timed CSP是一种确定动态行为的功能强大的语言，但它没提供适当的结构来构造相关数据特征。文中通过形式化语言Z和过程代数Timed CSP合成一种新的形式化方法RT-Z，使得RT-Z在软件系统开发过程的需求定义和设计阶段能书写软件系统一致、简单的规格说明。
|
| 关 键 词： | Z语言 过程代数CSP 规格说明 |
| 文章编号： | 1005-3751（2005）08-0034-03 |
| 收稿时间： | 2004-11-09 |
| 修稿时间： | 2004-11-09 |
Intergrated Formalism RT- Z and Its Application |
| |
| Wu YuQiong;Zhang LiChen.Intergrated Formalism RT- Z and Its Application[J].Microcomputer Development,2005,15(8):34-36,40. |
| |
| Authors: | Wu YuQiong;Zhang LiChen |
| |
| Abstract: | Z is a successful formal language of specifying data-related characteristics,but it is not designed to model aspects of the dynamic behaviour.Timed CSP is a powerful language for the dynamic behaviour,but it doesn't provide adequate constructs to model data-related characteristics. This paper combines the formal specification languages Z and timed CSP,called RT-Z.RT-Z is intended to be used in the requirements definition and design phases of the system and software development process.RT-Z can achieve a single, uniform specification. A case is forwarded to illustrate the usage of RT-Z in writing software specification. |
| |
| Keywords: | Z language Timed CSP specification |
| 本文献已被 CNKI 维普 等数据库收录！ |
