网络实时系统的一种活动性描述语言

• 作者: 张立臣 彭伟洁
• 来源期刊: 计算机应用研究
• 关键词: 结构描述语言 形式规格说明 实时处理
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 网络通信
• 页码范围: 288-291
• 页数: 4页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2007.04.088

摘要

介绍了ADL,它是一种基于网络实时系统的活动性描述语言,一种描述并发处理中时态和功能行为的新的形式规格说明符号.ADL专用于计算机网络,是DORIS的一种形式语言扩充.它组合了状态机活动(ASM)的图形符号和基于模型的活动功能行为(AFB)符号;提供了关于ASM的抽象语法和静态、动态语义.最后通过一个小实例说明该语言是如何解释指定网络实时系统的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张立臣	广东工业大学计算机学院	158	820	14.0	21.0
2	彭伟洁	广东工业大学计算机学院	1	0	0.0	0.0