分区操作系统内核中隔离性质的研究

为了达到经过形式化验证分区操作系统内核隔离性质的目标,采取形式化方法描述系统的顶层规范设计中描述隔离性质需求,通过将航空电子应用软件标准接口ARINC653与GWV定理相结合,实现了对分区操作系统需要满足的隔离性质的抽象描述,并通过使用类Z/Z++作为形式化描述语言。     

需求分析的 Z 语言形式化方法

非形式化的需求规格说明容易产生歧义,导致所开发的软件系统不能满足用户的功能要求.Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可用于产生精确的需求规格说明.介绍了需求分析的Z语言形式化方法,并给出了一个通用堆栈的Z语言描述实例,同时指出这种形式化方法有待进一步研究的地方.     

学术文摘

逐步过渡的软件开发方法(STD)的基本思想是:把由用非形式语言描述的用户需求到完全形式化的源代码之间的转换过程看作是一个逐步过渡的过程。在整个过渡过程中所有的中间文档都用形式化语言和非形式化语言的混合体来描述。换句话说,这个方法有两个特     

基于ＯＯＺＳ的ＵＭＬ类图形式化描述及其应用

统一建模语言UML是一种面向对象分析和设计过程中重要的建模工具。但由于UML缺乏精确的形式化语义,不利于对其所描述的需求进行进一步分析和验证。这一点上,形式化方法可与之互补。基于此,本文采用一种面向对象的、基于Z的扩展语言OOZS———结构化面向对象形式规格说明语言,对UML的类图进行了形式化描述,寻求一种在软件设计与系统建模过程中UML到OOZS的映射与转换机制,最后给出一个基于OOZS的UML类图的形式化描述实例,结果表明本文的研究工作在实践中是可行的。     

微机系统仿真软件的设计

讨论了微机仿真软件开发中的若干基本问题，论述了使用形式化方法进行规格说明的基本原则以及面向对象的方法和UML在设计中的应用．重点论述了微机仿真系统中采用形式化方法进行需求描述的特点和关键问题，并在系统状态分析的基础上，提出了相关解决方案。     

基于PAR方法的管理信息系统需求建模研究

采用PAR方法中严格定义的形式化语言Radl描述MIS(管理信息系统)系统的性质和行为模式,并建立对应的需求数学模型,为构建高质量的软件需求模型进行了有益的探索.     

网络协议的形式化分析与设计

随着形式化方法和技术的日趋完善,网络协议的开发已逐步从非形式化描述、手工方法实现过渡到已形式化描述技术为基础,渗透到网络协议分析、综合、测试等各环节的软件工程方法。本文从网络协议的基本要素、协议的形式化模型介绍了网络协议,并从协议的性质描述、不变性分析、可达性分析、基于有序二叉判决图的符号模型检验对网络协议进行了形式化设计与验证,最后进行了测试。     

一种基于形式化描述的测试案例生成方法

基于形式化描述的验证测试是高安全系统的有效评估方法,而如何生成测试案例是基于形式化测试中的关键问题.针对形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种基于形式化描述的测试案例生成方法.从分析Z语言描述的输入空间、前置条件和后置条件出发,对前置条件适当重写,然后根据前置条件利用更改的判定条件覆盖准则来生成测试案例集,该方法引入了控制流覆盖准则,克服了经验方法输入空间划分不完整的缺点,降低了形式化描述的难度,并可以使测试案例生成过程自动化.     

基于STEP AP233的需求描述转换--从自然语言描述到模型系统描述

介绍了知识支持的需求工程的方法及系统工程数据的描述标准，即ISO 10303－STEP AP233。主要说明了需求的自然语言描述到模型描述的系统的转换。欧洲研究工程KARE－需求工程的知识获取和共享，正在研究这一主题，包括需求工程的形式化过程和工作平台，不同的用户级别使用不同的工作平台配置。每种配置采用不同的方法实现STEP AP233。     

反应式软件形式化系统研究系统分析

从形式化系统理论出发,介绍形式化系统的组成和性质、形式化系统的发展,阐述了形式化系统理论在描述反应式软件系统行为状态变化理论方面的应用,展示了构建反应式软件系统行为状态变化的形式化系统的过程.为形式化系统方法在反应式软件系统理论描述方面的应用进行总结,为形式化方法在更广泛的软件系统特定理论应用理清了思路.     

基于XML Schema的天基信息系统应用任务需求描述

天基信息系统是一个综合型的网络系统,其应用任务需求规模越来越大,种类越来越多,需要一套规范的应用任务需求描述方法.分析了天基信息系统应用任务需求描述的特点,结合XML语言进行数据描述的优越性,提出了基于XML Schema的天基信息系统应用任务需求描述规范,并对描述规范进行深入分析,形成了完善的天基信息系统应用任务需求描述框架,既满足了应用任务需求描述的规范化要求,又满足应用任务资源规划的数据传输要求.还以天基信息系统成像侦察应用任务需求描述为例验证了该描述框架的可行性.     

协同设计的三维几何模型多粒度描述方法

为了保持协同设计中几何模型信息获取和信息传递的通畅,研究了三维几何模型不同粒度描述的组成部分,包括三维模型的几何知识,与制造工艺及产品生命周期相关的形状特征信息.由于粗粒度的描述方法过于注重信息描述的形式,细粒度的描述方法过于注重信息描述的内容,粗粒度和细粒度的描述方法均不能满足产品生命周期中的某些特定应用阶段的需求,所以提出了能克服粗粒度和细粒度描述方法固有弊端的多粒度描述方法,既能满足多方协同用户的需求,又能满足网络信息传输的需求.     

CAPP中箱体类零件信息描述的方法

提出了一种CAPP中面向箱体类零件的信息描述方法，它通过方位描述、轮廓描述、形面描述等多个处理过程，来满足CAPP对零件信息描述的要求。     

基于ATML的一体化保障技术测试信息标准化问题研究

为解决一体化保障技术中存在的测试信息标准化问题,进行了一体化保障技术信息标准化需求分析;基于ATML标准,以UUT描述为例说明了测试信息标准化建模与描述方法,并以层次化的方式建立了XML Schema模型,结合某型一体化保障设备进行具体描述;依据基于ATML的测试信息标准化建模与描述方法,构建保障设备UUT测试信息标准化模型,并以柴油发电机为例进行了具体说明。实例表明,基于ATML的标准化建模与描述可以实现UUT测试信息的格式统一,减少对专用的工具或代码的依赖性,降低测试信息的解析和处理的困难度,以及有效解决一体化保障技术中测试信息的标准化问题。     

基于面向对象技术的火电厂经理信息系统分析

目前 ,电力企业正在进行信息化进程 ,能对高层管理者提供决策支持的经理信息系统 (EIS)是电力企业信息系统开发中的一个研究热点。采用传统的结构化分析设计方法开发EIS时 ,有很大的不足 ,文中以一个火 (力发 )电厂为实例 ,利用面向对象 (OO)方法来进行经理信息系统的系统分析。首先介绍了经理信息系统需求分析方法 ,描述了火电厂经理信息系统的问题空间 ,确定了用户需求 ;然后叙述了火电厂经理信息系统对象模型的建立过程 ,包括对象的标识、对象属性的标识、对象方法的标识、消息机制及系统级行为的实现和子系统的划分     

基于特征的插装阀块类零件产品模型研究

提出了一套插装阀块类零件特征的定义、分类和框架表达方法．建立了基于特征的插装阀块类零件产品模型；该产品模型完整地描述了插装阀块类零件设计和制造的有关信息，为插装阀块类零件ＣＡＤ／ＣＡＭ集成系统的开发与研究提供了一个统一的信息模型．     

浅谈中文普通图书版本信息著录差异

通过对5种著录规则中普通图书版本信息著录方法的比较,认真剖析了部分图书信息源中记载版本信息的矛盾,提出了中文普通图书版本信息著录的观点。     

智能信息分析构件特征模型的研究

为满足智能信息分析的特殊需求,提高此类构件的开发效率和可复用性,使用面向特征的领域模型及其建模方法对智能信息进行了系统的领域分析,建立了领域特征模型.同时结合规范的面向特征的构件模型和描述模型,提出了智能信息分析构件特征模型,并对模型进行描述和说明.经过在通信企业客户信息分析构件开发中的实际应用,证明了模型的正确性和实用性.     

对隶属函数确定方法的进一步探讨

隶属函数的确定不应只侧重于对信息自身模糊性的识别和描述，还应正确描述主体的心理测度．重视主体认识水平的缺陷。探讨了用简便可行的隶属函数度量方法来测量人们进行决策时心理测度上的模糊性，给出了具体不同情况下的描述函数，在一定程度上可以更准确地描述信息的模糊性，从而使决策更具有合理性。