【摘 要】
：
针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM*.该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元
【机 构】
：
中国科学院软件研究所,武汉大学计算机学院
【基金项目】
：
国家自然科学基金，国家自然科学基金，王宽诚教育基金
论文部分内容阅读
针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM*.该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元,利用转换有效期和事件预定机制来描述时间限制,既具有较强的时间限制描述能力,又能自然而直接地支持交互行为的建模,可执行且具有良好的形式语义.给出了该语言的形式化语法,举例说明了其时间描述机制,并通过执行步算法和基于HCA项的结构化操作规则定义了该语言的形式化操作语义.
其他文献
分析了目前高校图书馆资源利用低的原因，指出提高图书馆资源利用率的途径。
本文提出的基于纹理的图像检索算法RAH是以图像的能量谱直方图为基础,包括以下两个方面:第一,计算图像能量谱的半径和角度直方图的方法以及基于图像能量直方图的频率去提取纹理特征的算法;第二,基于纹理特征的相似度检测方程。这个实验结果表明,RAH算法优于一般的灰度共生矩阵纹理检索算法,具有较好的检索效果,比较适用于基于内容的图像检索。
面向对象形式规格说明语言Obiect-Z与进程代数CSP相结合是当今的一个热点，它既可以表示复杂的模块化数据与算法，又可以表示系统的行为，但求精与验证对它们结合后的规格说明需要
NoteExpress是一种具有文献检索、文献整理、引文标注、在文末自动按特定格式生成参考文献列表等强大功能、并且完全支持中文的软件。它可嵌入MSWord环境使用，还可以直接通过