论文研究网络实时系统的一种活动性描述语言.pdf

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