《计算机应用研究》|Application Research of Computers

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

Activity Description Language for Realtime Networks

免费全文下载 (已被下载 次)  
获取PDF全文
作者 彭伟洁,张立臣
机构 广东工业大学 计算机学院,广东 广州 510090
统计 摘要被查看 次,已被下载
文章编号 1001-3695(2007)04-0288-04
DOI 10.3969/j.issn.1001-3695.2007.04.088
摘要 介绍了ADL,它是一种基于网络实时系统的活动性描述语言,一种描述并发处理中时态和功能行为的新的形式规格说明符号。ADL专用于计算机网络,是DORIS的一种形式语言扩充。它组合了状态机活动(ASM)的图形符号和基于模型的活动功能行为(AFB)符号;提供了关于ASM的抽象语法和静态、动态语义。最后通过一个小实例说明该语言是如何解释指定网络实时系统的。
关键词 结构描述语言;形式规格说明;实时处理
基金项目 国家自然科学基金资助项目(60474072,60174050)
广东省自然科学基金资助项目(04009465,010059); 广东省高校自然科学基金资助项目(Z03024)
本文URL http://www.arocmag.com/article/1001-3695(2007)04-0288-04.html
英文标题 Activity Description Language for Realtime Networks
作者英文名 PENG Wei-jie, ZHANG Li-chen
机构英文名 Faculty of Computer, Guangdong University of Technology, Guangzhou Guangdong 510090, China
英文摘要 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.
英文关键词
参考文献 查看稿件参考文献
 
收稿日期
修回日期
页码 288-291
中图分类号
文献标志码 A