UML与B结合的软件开发研究与应用

B方法主要是用抽象机来描述软件系统的规范说明,且有大量工具支持。UML已广泛用于面向对象技术的建模,许多工程项目和研究成果用UML图例给出。文中将B方法与UML结合用于软件的开发过程,结合工程实际和文献资料分析了从UML的类图、时序图和状态图转换到B的抽象机的技术要点,通过实例展示了具体的转换形式。     

UML模型到B抽象机的转换和实现

统一建模语言UML广泛用于面向对象技术的建模,B方法主要是用抽象机来描述软件系统的规格说明.文章针对软件开发中经常用到的UML模型,提出了基于B语言的UML形式化方法:通过将UML模型转化为B抽象机,实现了UML模型的形式化.实例分析表明,转换是可行的.     

基于B语言的UML形式化方法

分析了目前主要的UML形式化方法及特点,提出了基于B语言的转换方法B2F(B-Based Formalization),通过将UML模型转化为B抽象机描述实现UML的形式化描述和验证,并详细分析了基于B2F方法的UML类图的形式化,证明了该方法的可行性。     

基于B方法抽象机和UML的货单系统

在分析货单系统的基础上,比较了B方法和UML的优缺点,从形式化B方法的抽象机和半形式化方法UML两方面描述了一个货单系统,且给出形式化B方法在软件、硬件、安全领域、计算机规约各方面的应用以及在未来发展的重要地位。     

结合UML和RAISE的软件开发方法研究

面向对象方法形象、直观、使用方便,但难以消除二义性。形式化方法严密、可靠、可验证,但软件规约不直观,不符合开发人员的使用习惯,探讨一种结合面向对象方法UML和形式化方法RAISE的软件开发方法。     

B方法与UML在软件设计中的结合应用

形式化方法B用抽象机对软件进行描述和设计,它支持严格的数学定义和证明,可以保证模型的正确性和无歧义性。UML是面向对象的建模技术,提供灵活快捷的分析与设计方式。文中通过B方法和UML在问题对象域层次上的结合,给出一种在软件设计中结合应用,提高软件质量的方法。     

基于形式化规格说明的UML状态图提取

为了辅助软件开发者理解形式化规格说明,提出一种从B方法规格说明中提取UML状态图的方法。通过分析状态信息在规格说明中的表现形式,定义一系列精确的简单状态、状态迁移、复合迁移、分层状态和状态图通信等提取规则。借助状态变量表和状态迁移表,最终实现状态元素和状态关系的提取,并以此构造完整的UML状态图。实验结果验证了方法的正确性及有效性。     

B方法在家庭智能控制系统开发中的应用

精确的软件需求规约是确保软件质量的基础,软件过程中保证方法更为重要,良好的方法可以保证在产品的开发过程中不引入人为的错误。现有流行的软件过程方法都可以在一定程度上减少此类错误的引入,很难从本质上避免人为错误的引入,形式化方法以其精确的数学语义为基础,可以保证开发过程中的一致性和准确性,以B方法尤为突出,它可以适用于软件过程中的任一阶段。文章以家庭智能控制系统为例,介绍了B方法在软件开发过程中的应用。     

B方法规格说明的构造及应用

B方法是一种软件形式化方法,支持从规格说明到代码生成的整个软件开发周期.本文比较系统地分析了B方法规格说明的构造结构,并结合所设计的实例演示了用B方法编写规格说明的过程,简略地给出了其规格说明的证明义务,并对其规格说明进行了一次精化.     

一个抽象机库中B方法的研究

B方法是支持规格说明到软件设计和执行的形式化方法。文章研究了B方法中一种抽象机库的实现模型和生成代码,对该方法的特点进行评述。验证了B的正确可靠的实现方法,充分利用B方法的精化原则,提高了B形式化方法的开发验证效率。     

UML在软件开发中的应用

详细介绍了UML的基本概念和自身特点。对UML中的各种框图也做了详细的介绍。最后通过对网络教学系统的分析与设计阐述了UML在软件开发中的应用。     

探讨基于UML的软件体系结构开发方法

在软件工程领域中,必须对软件体系结构进行系统准确的开发,才能保证软件系统的独特性、科学性与智能性。ADL作为一种常用的描述语言,虽然在一些体系结构语言中能够进行一定的定义与开发,但目前仍然很难和主流的开发方法集成在一起。而随着软件技术的不断发展,UML已经逐渐被工业界认可。从UML软件系统的4种模型入手,利用实例的分析方法,从而使大家能对UML的相关技术有进一步的了解。     

基于UML状态机与B方法的高可信嵌入式软件开发

提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案：以软件的UML状态机模型为起点,将其转换为B抽象模型并在B工具中验证该模型的一致性,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠的实现模型,最后借助B工具自动生成C代码。实例分析表明,这套方法可以提高尚可信嵌入式软件的开发验证效率。给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。     

用UML建模开发嵌入式软件

针对面向对象开发与C语言的优缺点,提出一种新的方案,用面向对象的思想与开发工具进行软件的设计,用C语言进行编码,给出新方案应用实例,并在此基础上提出几种进一步优化程序性能的方法。新的方案增强了用C语言开发系统软件的可理解性、可移植性和稳定性,同时又保持了C语言高性能与低二进制代码长度的优点。     

一种UML活动图与合作图的集成方法

在进行基于统一建模语言UML的分析测试过程中,单图使用存在局限性,两图或多图的综合应用是解决此问题的一种可行方式。论文首先论述了利用UML活动图与合作图进行集成的原因与可行性,结合实例分析,提出了一种以活动图为主体,通过提取合作图中必要信息进行完善的集成方法,为后续的分析测试工作提供进一步精确有效的依据。     

基于UML的面向对象软件静态测试方法的研究

测试用例的数量和质量决定软件测试的成本和有效性。文中提出了一种基于UML面向对象软件静态测试的方法，论述了软件测试方法的分类、静态分析方法的基本测试框架及具体实现流程。针对面向对象软件的特点，静态测试主要是通过分析源程序得到类关系图，使测试人员能快速而清晰地了解程序结构，有效地设计测试用例。探讨了在对源程序进行充分的词法分析与语法分析的基础上，提取程序中类的有关信息，利用了数据库技术和UML图形模型，从而保证了分析结果的准确有效和标准化。     

基于UML的彩色建模技术的研究与应用

建模技术是进行业务系统设计的关键技术。彩色建模技术是在UML建模的基础上,运用色彩进行的可视化建模技术。文中对彩色建模技术进行了介绍和研究,并针对专家在线咨询系统的设计过程,运用彩色建模技术进行了建模的研究工作。介绍了彩色建模的4种常用的模型原型及相应的色彩着色方案,给出了在实践中运用彩色建模技术的实现策略。对于在实践中运用彩色建模技术进行业务系统建模工作具有指导意义。     

UML在实时软件系统中的应用研究

UML是最广泛使用的面向对象建模语言,在实时系统中也得到了普遍的应用。不同的公司对UML在实时系统中的应用进行了不同的扩展。但是,OMG没有把任何一种扩展作为标准。文中将通过应用和研究对IBM Rational的B．Selic提出的UML／Realtime进行进一步的扩展,用一个航空电子系统中的例子详细说明扩展的意义和结果。