一种基于B方法和构件技术的形式化开发方法

构件技术和形式化方法是解决软件危机和提高软件开发效率问题的关键。在分析了构件技术、B方法、XML和XSLT后,本文提出了一种基于B方法和构件技术进行形式化开发的方法,并示例说明。     

UML状态图到形式化B语言转换的实例研究

使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模。对免疫因子网络中T细胞免疫状态的UML状态图进行了两种方法的形式化,并进行了比较。     

TCP状态非典型变迁的形式化研究

协议的规格说明主要是以自然语言描述的,对其进行形式化的目的是精确描述协议,减少开发人员对协议规格说明理解的偏差.B方法以数学理论为基础,可产生简明、精确、无歧义且可证明的规格说明.B方法的优点使得它适合对协议进行形式化描述和一致性测试。本文详细介绍了使用B方法对TCP状态非典型变迁进行形式化,并据此生成了测试用例,提高了TCP协议一致性测试的质量和可靠性。     

TOP状态非典型变迁的形式化研究

协议的规格说明主要是以自然语言描述的,对其进行形式化的目的是精确描述协议,减少开发人员对协议规格说明理解的偏差,B方法以数学理论为基础,可产生简明、精确、无歧义且可证明的规格说明,B方法的优点使得它适合对协议进行形式化描述和一致性测试。本文详细介绍了使用B方法对TCP状态非典型变迁进行形式化,并据此生成了测试用例,提高了TCP协议一致性测试的质量和可靠性。     

基于逻辑的形式化验证方法: 进展及应用

近年来, 形式化方法发展很快, 一些技术已经产生工业应用。以逻辑系统为主线, 分析几个影响力比较大的形式化验证技术和验证工具, 以帮助应用工程师选择并使用形式化工具。主要包括命题演算和时态逻辑方面的SAT、BDD、模型检测和SMT, 谓词逻辑方面的ACL2、VDM方法和B方法, 以及高阶逻辑方面的HOL、PVS 和COQ。还介绍形式化方法在学术界和工业界的应用情况, 最后给出几个商业化的形式化验证工具。     

构件化嵌入式操作系统设计

在讨论构件机制的基础上,利用分层的设计模式对嵌入式操作系统进行功能结构的划分,并使用构件机制完成各层中功能模块的设计。对于分层的设计模式与构件机制的使用可能带来的一些异构构件的组装问题加以解决．并使用形式化方法对构件进行描述,在一定程度上有利于提高嵌入式系统的可靠性、可重用性、可维护性,使得构件技术在嵌入式系统中充分发挥其优势。     

基于B方法的应用软件开发

随着应用的发展,计算机系统的一致性和可靠性变得越来越重要. 形式化方法以精确的数学语义为基础,能精确描述系统规范,严格验证规范的性质,从而更好地保证软件的一致性和可靠性. B形式化方法支持从规范说明到代码生成的整个软件开发周期. 在给出基于B方法的开发过程之后,以POS系统的开发过程为例,介绍B方法在实际软件开发中的应用.     

基于PFC的电信计费系统构件设计与实现

分析了构件技术的主要思想和方法,论述了PowerBuilder可复用构件PFC的特点,给出了基于PFC的电信计费系统的构件设计,同时提出了构件技术未来的研究重点.     

构件技术的发展与展望

本文首先介绍并比较了几种主流的构件技术,包括CORBA,COM/DCOM,J2EE三种著名的构件技术。接下来对构件库技术进行了介绍,对基于构件的软件开发方法（CBSE/CBD）进行了阐述。最后对构件技术的未来的发展进行了展望。     

基于构件的软件开发技术和方法

软件构件技术是实现软件复用的关键问题,是当前软件界研究的热点。文章通过对构件及构件技术的阐述,探讨了基于构件的软件开发技术、方法以及构件设计评价标准。     

基于B方法的内存管理模型的设计

内存管理是操作系统的重要组成部分,一个安全可靠的内存管理程序,对于操作系统的运行十分关键.采用传统软件开发方法开发的内存管理系统,安全性和可靠性得不到很好的保证.为此提出用形式化的B方法开发内存管理系统.首先使用B方法建立了内存管理的形式化模型,利用B工具对该阶段生成的证明义务进行证明,保证系统在初始规范说明层次上的内在一致性和设计的正确性.然后根据B方法分层构造的思想对上一阶段得到的抽象规范模型进行精化.最终得到一个可实现的内存管理模型,该模型更好地保证了系统的一致性和可靠性.     

基于软构件的CAI系统的设计

在分析传统的开发CAI系统方法缺点的基础上,研究了如何利用软构件技术来开发CAI系统,提出了基于软构件技术的CAI系统开发方法.结果表明,基于软构件技术的CAI系统开发方法可以最大限度地提高软件的复用性,从而提高后继CAI系统开发的效率.     

软件复用与构件技术

本文讨论了软件复用的历程以及构件技术的兴起,分析了基于构件开发和面向对象开发在软件复用上的区别;分析了构件技术在多层软件结构和Web上的应用;对构件技术进行了总结和展望.     

构件技术发展综述

从对构件的认知以及构件技术所研究的内容入手,对构件技术的产生、演化进行分析;对构件技术主要研究领域所取得的成果进行总结,指出构件技术缺乏必要的灵活性和适应性,需要融合其他相关技术优势,以便更好地适应软件开发的需求．     

基于构件技术的中间件研究

阐述了构件技术的核心问题,分析了中间件在现实软件发展中的地位和其在系统组织层次中所起的作用,说明了构件技术对中间件的促进作用,以及中间件中构件的特征和开发过程,并提出了未来基于构件技术的中间件研究的重点和难点问题.     

软件构件技术研究及在MIS系统中的实现

软件构件技术是提高软件开发效率、质量和可靠性的有效途径,是软件发展的必然趋势,特别是领域内的软件构件技术更具有实用性和推广应用价值。本文对软件构件技术进行相关论述并介绍其在实际系统中的应用。     

构件技术研究

介绍了在二进制代码级对面向对象方法进行完善和补充的技术——构件技术，讨论了目前软件市场上具有代表性的3种构件技术所涉及到的主要技术问题，对COM和CORBA的缺陷及其相应的解决方案进行了探讨。     

一种基于构件技术和数据库的专家系统框架

在综合分析了目前开发专家系统常用的几种技术和用构件技术开发软件系统的特点的基础上，提出了一个以构件技术和数据库技术相结合的构建专家系统的解决方案．该方案将知识以关系数据库的形式表示，采用专家系统的推理机方法实现对结果分析，给出了用构件技术构建基于数据库的专家系统的框架，使专家系统的构建变得方便快捷和更切合需要．最后给出了一个检测分析专家系统的实例．     

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

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

基于构件技术的分布式应用框架的研究与实现

在构件技术、应用框架、分布式系统等的理论基础上设计了一个基于构件技术的分布式应用框架CDAF,并对此框架及其实现作了详细介绍.