%0 Journal Article
%T 网络实时系统的一种活动性描述语言*
%A 彭伟洁
%A 张立臣
%J 计算机应用研究
%D 2007
%I 
%X 介绍了ADL,它是一种基于网络实时系统的活动性描述语言,一种描述并发处理中时态和功能行为的新的形式规格说明符号.ADL专用于计算机网络,是DORIS的一种形式语言扩充.它组合了状态机活动(ASM)的图形符号和基于模型的活动功能行为(AFB)符号;提供了关于ASM的抽象语法和静态、动态语义.最后通过一个小实例说明该语言是如何解释指定网络实时系统的.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=EF4AD2E7BFCF0B30EE0F6DBE69BA2A9C&yid=A732AF04DDA03BB3&vid=B91E8C6D6FE990DB&iid=E158A972A605785F&sid=334C61CAF4C8EF4E&eid=6490F0E20C4B41AD&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=10