欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
介绍了ADL，它是一种基于网络实时系统的活动性描述语言，一种描述并发处理中时态和功能行为的新的形式规格说明符号。ADL专用于计算机网络，是DORIS的一种形式语言扩充。它组合了状态机活动（ASM）的图形符号和基于模型的活动功能行为（AFB）符号；提供了关于ASM的抽象语法和静态、动态语义。最后通过一个小实例说明该语言是如何解释指定网络实时系统的。
英文摘要：
This paper presented ADL that it is an activity description language for real-time networks, a new formal notation for the specification of the temporal and functional behaviour of concurrent processes. ADL is used to specify a computer network. DORIS were extended with the formal language. It combines a graphical Activity State-Machine（ASM） notation and a model-based Activity Functional Behaviour（AFB） notation. The abstract syntax and static and dynamic semantics for the ASM notation are given. This paper illustrsted how an ADL specified real-time system by a small case study.
同期刊论文项目
同项目期刊论文
期刊信息
位置：