形式化语言RT-Z的合成及其应用

• 作者: 吴宇琼 张立臣
• 来源期刊: 微机发展
• 学科: 工学
• 关键词: Z语言 过程代数CSP 规格说明
• 年，卷（期）: 2005,（8）
• 所属期刊栏目: 软件技术
• 页码范围: 34-36,40
• 页数: 4页
• 分类号: TP301.2
• 字数: 2525字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2005.08.011

摘要

Z是一种确定相关数据特征的非常成功的形式化语言,却在构造动态行为方面的模型缺乏相应的功能;而TimedCSP是一种确定动态行为的功能强大的语言,但它没提供适当的结构来构造相关数据特征.文中通过形式化语言Z和过程代数Timed CSP合成一种新的形式化方法RT-Z,使得RT-Z在软件系统开发过程的需求定义和设计阶段能书写软件系统一致、简单的规格说明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张立臣	广东工业大学计算机学院	158	820	14.0	21.0
2	吴宇琼	嘉应学院数学系	1	3	1.0	1.0