中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 中科院软件所  > 中科院软件所
题名:
SAQ规约库管理系统的扩充、重新实现和一个应用
作者: 万战勇
答辩日期: 1997
专业: 计算机软件
授予单位: 中国科学院软件研究所
授予地点: 中国科学院软件研究所
学位: 博士
关键词: 规约库 ; 实例库 ; 乐谱
摘要: 如何获得形式规约,以及如何使形式规约与用户的真实需求相符合,是软件工程的源头根本问题之一。SAQ系统中形式规约的获取、复用和检验,都依赖于规约库管理系统SpecBMS的支持。本文提出给规约库管理系统增加实例库管理的功能,以更好地支持大型规约的获取和检验。 文中讨论了扩充实例库的方案、SpecBMS的重新设计以及在此基础上实现一个乐谱处理系统SMART的形式规约。SAQ用上下文无关法描述概念,概念的一个合法句子被称作该概念的实例。实例库就是存放和管理规约库中概念的实例的地方。用户可以通过FDL的内部函数或交互式的实例浏览器去访问实例库的内容。为了提高系统效率和代码可读性,并配合实例库的设计,笔者用面向对象的方法重新设计实现了SpecBMS。SMART是笔者为了弥补传统音乐记谱方式的不足而提出的一种可用上下文无关方法描述的音乐记谱体系。SMART支持音符、音色、和弦、旋律、和声等概念,并用FDL语言实现了节拍变化、音乐的转调、合成和演奏等运算。SMART的输出结果可以经过一个翻译器转化为标准MIDI文件在任何支持通用MIDI标准的音源上演奏。笔者已用SMART系统完成了数首多声部乐曲的记谱和演奏。
英文摘要: One of the fundamental problems in software engineering is that how to acquire formal specifications which conform to the real requirements of users. In system SAQ, the acquisition, reusing and verification of formal specifications all rely on the SpecBMS (Specification Base Management System). In this paper, the author suggests adding the capability of instance base management into SpecBMS to support the acquisition and verification of large scale specifications. The scheme of instance base, the re-design of instance base, the re-design of SpecBMS, and the formal specification of a music notation processing system SMART, which is implemented using instance base, are discussed. SAQ describes concepts as context-free languages, and a legal sentence of a concept is called an instance of that concept. Instance base is where instances of concepts are stored and managed. SAQ users can access an instance base through FDL internal functions or the interactive instance browser. To improve the efficiency of the system and the readability of source code, and to support the design of instance base, the author re-designed and re-implemented SpecBMS through an object-oriented manner. SMART is a music notation system brought forward by the author to overcome the inconvenience of traditional music notations. It is based on context-free grammar, and supports note, patch, chord, melody and harmony. The change of tempo, the transposition, composition and performance of music are defined. A converter can be used to translate the outcome of SMART to a standard MIDI file, which can thus be played on any musical instruments supporting general MIDI. The author has described and performed several pieces of polyphon
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/7102
Appears in Collections:中科院软件所

Files in This Item:

There are no files associated with this item.


Recommended Citation:
万战勇. SAQ规约库管理系统的扩充、重新实现和一个应用[D]. 中国科学院软件研究所. 中国科学院软件研究所. 1997-01-01.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[万战勇]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[万战勇]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace