用面向对象技术实现相关分离的双语言描述
文献类型 | 期刊 |
作者 | 孙文彦[1];熊璋[2];宋京民[3] |
机构 | [1]北京航空航天大学计算机科学与工程系,北京航空航天大学计算机科学与工程系,北京航空航天大学计算机科学与工程系 [2]北京航空航天大学计算机科学与工程系,北京航空航天大学计算机科学与工程系,北京航空航天大学计算机科学与工程系 [3]北京航空航天大学计算机科学与工程系,北京航空航天大学计算机科学与工程系,北京航空航天大学计算机科学与工程系 ↓ |
来源信息 | 年:2000期:02页码范围:206-209 |
期刊信息 | 北京航空航天大学学报ISSN:11-2625/V |
关键词 | 分布式计算机;实时;形式语言;分布式多媒体;服务质量;面向对象技术 |
摘要 | 介绍了一种新的形式化描述思想 ,即“相关分离”的思想 ,并分析了基于此思想的双语言方法 ,与传统的单一语言的描述技术相比 ,“相关分离”的思想和双语言方法更适合于分布式多媒体的描述 .结合对面向对象技术在分布式多媒体的形式化描述中应用的方法分析 ,本文提出了一种以LOTOS/QTL或Esterel/QL为基础 ,融合面向对象技术的形式化描述方案 ,该方案可用于建立分布式多媒体系统的时间模型和同步模型 |
收录情况 | PKU |
所属部门 | 计算机学院 |
影响因子:
先进计算机应用技术教育部工程中心
dc:title:用面向对象技术实现相关分离的双语言描述
dc:creator:孙文彦;熊璋;宋京民
dc:date: publishDate:2000-04-30
dc:type:期刊
dc:format: Media:北京航空航天大学学报
dc:identifier: LnterrelatedLiterature:北京航空航天大学学报.2000,206-209.
dc:identifier:DOI:
dc: identifier:ISBN:11-2625/V