主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第9期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
赵琛,唐稚松,马华东.基于XYZ/RE的多媒体同步器自动构造方法.软件学报,2000,11(8):996-1002
基于XYZ/RE的多媒体同步器自动构造方法
A Methodology for Automatically Constructing a Multimedia Synchronize r in XYZ/RE
投稿时间:2000-01-17  修订日期:2000-04-04
DOI:
中文关键词:  时序关系,XYZ系统,XYZ/RE,同步器.
英文关键词:Temporal relations, XYZ system, XYZ/RE, synchronizer.
基金项目:本文研究得到国家“九五”重点科技攻关项目基金(No.98-780-01-07-01)和国 家863高科技项目基金(No.863-306-ZT02-04-1)资助.
作者单位
赵琛 中国科学院软件研究所计算机科学开放研究实验室,北京,100080 
唐稚松 中国科学院软件研究所计算机科学开放研究实验室,北京,100080 
马华东 北京邮电大学计算机学院,北京,100088 
摘要点击次数: 2753
全文下载次数: 2585
中文摘要:
      XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统.它由时序逻 辑语言(temporal logic language,简称TLL)XYZ/E和以该语言为基础的一组软件工程工具组 成.为了研究XYZ系统在多媒体领域中的应用问题,介绍了一种依据多媒体对象时序描述 自动生成用XYZ/RE表示的播放同步器的方法,XYZ/RE是时序逻辑语言族XYZ/E中表示实时系统 的子语言.与相关工作比较,该方法不仅可以处理简单的时序关系,而且可以处理嵌套的时序 关系,所产生的同步器可以复用于不同的节目.
英文摘要:
      XYZ system is a programming support system with the goal to enhance reliability and productivity of software development. It consists of a TLL (temporal logic l anguage) XYZ/E to serve as its kernel and a suite of software engineering tools. In order to study the application of XYZ system to the multimedia field, in thi s paper, the authors present a method for automatically generating synchronizer in XYZ/RE from the temporal specification of a multimedia program. XYZ/RE is a s ub-language representing real time system in XYZ/E. Compared with the related w ork, this method can transform not only a simple temporal specification but also a nested temporal specification, so that the generated synchronizer can be reus ed for different purposes.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利