【摘 要】
：
该论文的主要内容,即是在针对这一专用领域的CASE工具开发的九五军事预研项目的基础上完成的.论文主要围绕军预研项目中采用的嵌入式实时系统行为建模语言StateChart进行展开
论文部分内容阅读
该论文的主要内容,即是在针对这一专用领域的CASE工具开发的九五军事预研项目的基础上完成的.论文主要围绕军预研项目中采用的嵌入式实时系统行为建模语言StateChart进行展开.首先,对嵌入式实时系统这一领域的特点和针对这一领域的技术和工具进行了考察;其次,对StateChart这种适合于嵌入式实时系统的形式化、可视化的规格语言进行了比较深入的分析和研究,并建立起其语法、语义的形式化描述,另对该语言的可能的扩展也提出了一些展望;第三,对建立StateChart规格语言的创建工具进行了设计与实现,特别是对一些具体实现中的难点提出了解决方案;第四,对StateChart规格语言建立的系统模型的静态特性分析,动态模拟执行的方法和实现算法进行了研究,初步建立了该规格语言模型的确认方法;最后,对软件系统的规范技术发展演化历程进行了比较分析,对系统协同规范的发展进行了展望.
其他文献
随着计算机网络、分布式计算技术的迅速发展，使得实时存取分布在网络不同结点上的信息成为可能，于是分布式实时数据库技术便应运而生。分布式实时数据库系统是分布式数据库系统
该学位论文的主要研究方向是ATM交换机体系结构,研究和开发工作主要包括以下五 部分:1)经过阅读大量文献,综述了交换技术及ATM技术的产生、发展现状及发展趋势;介 绍了ATM交
该文就利用次声-电磁波双信号定位技术对闪电进行定位测量进行探讨.简单介绍闪电辐射电磁波和产生次声波的模式,给出声速方程;在已有的观测资料的基础上,讨论并给出闪电的次
随着网络和计算机技术的迅速发展，互联网技术、电子商务以及办公自动化等应用不断地扩展，使数据信息呈现爆炸性增长趋势，从而带动了存储市场的迅速增长。于是，对大容量、高数传率
该文研究了一种统计和理解相结合的英文自动文摘方法并实现了一个英文自动文摘系统.该文首先提出了一种新的篇章机内表示方法--篇章结构二叉树.该文还研究了英文词类标记方法
该文针对目前在中国国内逐渐兴起的Intranet及相关方面的技术,在大量实验的基础上对诸如CGI等方面的技术进行了深入的研究,提出了一系列相关的方法,并建立了一个实际的、实用
该论文工作在充分研究基于ODP的中间件MOSEware的基础上,设计并实现了它的集成化软件开发环境,后者是应用开发、系统管理和系统配置与测试三者的综合集成.该论文包括四大部分
该文以医院信息系统的设计方案为例,讨论客户机/服务器的设计模式和客户机/服务器的数据安全性问题.客户机/服务器系统相对基于过程的计算机系统有着明显优势.利用计算机网络
"在数据库中实现多媒体字段的直接查询"实现了对数据库中多媒体信息的直接查询.查询处理是的一个数据库必备的特征.因此,多媒体数据库同样也要能够处理查询.研究人员实现了将
该文介绍了数据仓库的概念、产生背景、主要特点以及开发和组织的关键技术.在此基础上,作者的主要贡献是:1、提出了基于知识的智能查询方法--KBIQ方法;2、设计实现了该方法中