基于LOTOS的动态模型的形式化研究

面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法是一种有效的实现软件自动化的方法。介绍了形式化描述语言LOTOS的特性,结合面向对象技术和状态图的理论知识,给出了基于LOTOS的动态模型的形式化方法,并给出了实例说明。     

基于LOTOS对象模型的并发形式化研究

面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法,是一种实现软件自动化的有效方法。介绍了形式化描述语言LOTOS的组成、操作语义和规则;根据LOTOS对并发操作描述的优势,应用它的操作语义和规则定义,结合面向对象技术和状态图的理论知识,定义出对象的状态变迁、状态图和对象并发的形式化规则,并运用这些规则对软件系统进行并发形式化;给出了GTP管理子系统形式化的实例说明。     

一种基于Petri网的半形式化面向对象的开发方法

在简要地论述了半形式化面向对象的开发方法的基本思想之后，着重就这类方法中模型形式化这一关键问题进行了研究。探讨了基于着色Ｐｅｔｒｉ网的面向对象模型的形式化技术，给出了面向对象方法中一些基本概念的形式描述，旨在完整地形成一种基于Ｐｅｔｒｉ网的半形式化面向对象的开发方法．     

形式化方法和对象技术的结合途径研究

本文首先给出形式化方法概述,并介绍两种分别代表面向模型和面向性质的形式规约语言Ｚ和Ｌａｒｃｈ。然后,重点讨论形式化方法与面向对象技术的结合。     

基于规约说明语言的面向对象软件测试

提出了一种测试面向对象程序的框架模型．用Object-Z语言描述面向对象程序的形式化规约．从形式化规约说明中可以推导出的面向对象程序的状态转换图，状态图可以表示面向对象程序的动态行为，并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集．最后给出了验证一个方法调用序列正确性的方法．测试结果显示这一框架模型对于测试面向对象程序是可行的．     

分布式多媒体系统DMS同步问题分析与探讨

就分布式多媒体系统DMS中同步问题进行了分析与探讨,首先论述了形式化规范语言LOTOS的约定与其本概念,然后对其进行了基于时间的扩充,引入时间操作算子,确定了相应的语法定义和语义规则。通过基于时间扩充的LOTOS,对分布式环境下的多媒体同步问题进行分析,给出了一种复杂的多媒体严格同步系统和具体的算法描述。     

通信软件系统开发中的形式化描述技术

本文介绍了在通信软件系统开发中广泛使用的五种形式化描述技术LOTOS、Z、SDL、ESTEREL和MSCs,及情景表示方法UseCaseMaps(UCM),分析了它们的特点,并对它们进行了深入的研究和评价。     

一种面向对象的形式化规范说明技术——VDM＋＋

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋它是ＶＤＭ的一种扩充，并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明。     

一种面向对象的形式化规范说明技术

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋，它是ＶＤＭ的一种扩充．并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明．     

面向对象与数据库技术结合发展现状研究

本文以面向对象与关东数据库的结合发展为研究对象，从面向对象的概念开始剖析，分析了面向对象与数据库技术结合的方式方法。最后给出了当前的发展现状，相信对从事相关工作的同行有着重要的参考价值和借鉴意义。     

从E—LOTOS到图形E—LOTOS的一个编辑和自动转换的编译软件

Ｅ－ＬＯＴＯＳ是形式描述技术ＬＯＴＯＳ的增强版．本文首先提出了一种Ｅ－ＬＯＴＯＳ的图形表示方法,称为图形Ｅ－ＬＯＴＯＳ（即ＧＥ－ＬＯＴＯＳ）．然后利用面向对象程序设计语言Ｊａｖａ 开发出了一个从文本Ｅ－ＬＯＴＯＳ到图形Ｅ－ＬＯＴＯＳ编辑和自动转换编译工具软件．该工具软件可以把Ｅ－ＬＯＴＯＳ以抽象层的形式体现出来．为将来的进一步研究提供了一个良好的环境     

关于路由协议的一致性测试的一种形式方法

为了一致性测试Ｉｎｔｅｒｎｅｔ网上的一个标准路信息协议（ＲＩＰ协议），利用形式描述技术语言Ｅ－ＬＯＴＯＳ对其进行了描述，然后把广西描述的Ｅ－ＬＯＴＯＳ转换为ＧＥ－ＬＯＴＯＳ，并在此产生了ＴＴＣＮ测试套。     

PowerBuilder开发环境下通用录入编辑控件的设计与开发

采用面向对象的程序设计思想和数据窗口技术,并考虑到数据完整性和多种实际需要,提出了一个通用录入与编辑控件的设计方案,并在PowerBuilder(简称PB)环境下完成了实际控件的编程实现.     

基于客户／服务器的SCADA软件的实现

论述了一种基于客户/服务器的水电厂SCADA系统软件的设计思想．系统以WindowsNT4.0为平台,采用Client/Server网络结构,利用面向对象的数据库开发工具进行可视化设计．系统运行表明,用户界面良好,操作方便,技术先进,具有很好的经济效益．     

拓扑关系渐变的定性推理

研究了拓扑关系的渐变问题,扩展了基于拓扑关系静态描述模型９ 元交模型基础之上的拓扑关系渐变描述模型——拓扑关系图,使之能够适应面／点、线／点目标的描述,从而得到拓扑关系渐变的形式化描述模型．采用基于过程的推理和面向对象的方法,提出了基于过程的拓扑关系渐变定性推理模型的面向对象建模方法     

RDBMS环境下MIS面向对象实现策略

面向对象方法已被广泛应用于管理信息系统（MIS）软件开发中,本讨论了采用面向对象建模技术建立的MIS对象模型的一般特点,给出了关系型数据库管理系统（RDBMS）环境下对象的映射方法和对象操作的实现策略。     

面向对象知识表示在专家系统开发工具中的应用

介绍面向对象知识表示在专家系统开发工具中的应用,按照面向对象的形式定义,结合专家系统的具体特征,设计适用于专家系统开发工具的知识表示语言,利用面向对象技术的封装性、继承性等特点,使系统的代码重用、消息传递、图形化界面的实现取得了较好效果,增强了专家系统开发工具的结构化知识表示能力,有利于开发大型专家系统,面向对象方法与知识表示的结合,拓展了系统的知识表示能力,提高了专家系统开发工具的实用性。     

防空C^3I信息处理技术的一种新的体系结构

介绍了软件无线电的概念、组成和特点,分析了研究软件无线电信息处理的意义及可行性,阐述了面向对象的方法,将面向对象的方法与软件无线电的设计思想相结合,提出了应用于防空C^3I系统中的面向对象的软件无线电信息处理的概念,并研究了其设计方法。