10.3969/j.issn.1001-3695.2007.04.088
网络实时系统的一种活动性描述语言
介绍了ADL,它是一种基于网络实时系统的活动性描述语言,一种描述并发处理中时态和功能行为的新的形式规格说明符号.ADL专用于计算机网络,是DORIS的一种形式语言扩充.它组合了状态机活动(ASM)的图形符号和基于模型的活动功能行为(AFB)符号;提供了关于ASM的抽象语法和静态、动态语义.最后通过一个小实例说明该语言是如何解释指定网络实时系统的.
结构描述语言、形式规格说明、实时处理
24
TP393(计算技术、计算机技术)
国家自然科学基金60474072;60174050;广东省自然科学基金04009465;010059;广东省高校自然科学基金Z03024
2007-05-21(万方平台首次上网日期,不代表论文的发表时间)
共4页
288-291