UML状态机到B形式化规约的转换

文章研究在高可信软件工程中集成形式化方法。以软件设计的UML状态机模型为起点．将其转换为B形式化模型，然后在B工具环境中遵循B方法的精化原则和正确性验证方法，开发出可靠的实现模型。提出一套从UML状态机到B形式化规约的转换规则，涵盖UML基本状态图、分层状态图和并发状态图。实例分析表明．这套转换规则行之有效。     

面向对象数字地质图数据模型的研究

本文结合国内外的研究成果,吸收面向对象的思想和方法,利用统一建模语言UML,完成了面向对象数字地质图数据模型的建立。从制图学的角度出发,设计了数字地质图数据的概念模型、逻辑模型,定义了构成数字地质图各要素间的逻辑关系,并简要叙述了物理模型的实现平台和建立过程。面向对象的数字地质图数据模型打破了关系模型范式的限制,更加合理地将空间数据和属性数据有效地融合在一起,为数字地质图的高效存储、管理、分析、应用、可视化表达提供一种科学、合理、可靠、可操作性强的机制和模式,作为一种尝试和探索,具体的设计和实施还有待于进一步研究。     

双重软件体系结构描述框架XYZ/ADL

体系结构设计在软件开发过程中扮演着重要角色.工程中常用图形语言为软件体系结构建模,它们有直观、半形式化的优点;但是语义不够精确,难以对它们表示的模型进行分析,在这方面,形式化方法可与之互补.但在工程使用中仅用形式化语言建模又不太现实,所以如何结合二者之长以提高软件的可靠性已成为工业界和学术界共同关心的问题.提出了双重软件体系结构描述框架XYZ/ADL:支持工程中软件体系结构的基本概念,前端用一般的体系结构框图作为结构描述,用UML活动图、状态图作为抽象行为表示;后端用既可表示系统动态语义又可表示系统静态语义的时序逻辑语言XYZ/E作为一致的语义基础.前端的图形语言便于软件工程师的交流和使用,后端的形式语言是进一步的形式化分析验证的基础.     

一种XML概念模型-XUML

由于XML已成为Web上表示结构化和半结构化数据的标准。设计XML模式的方法变得更加重要。为了设计或集成XML模式,常常需要基于合适的概念模型。本文分析了对XML概念模型的需求;提出了一种新的XML概念模型：XUML,并说明了XUML的主要特征和优点：能更明确地表示“包含”语义,支持“业务组件”概念,能在多级上下文中说明数据依赖,基于UML2标准;最后结合实例介绍了一种实现XUML的方法。     

精化UML模型

本文通过融合UML用例图、类图、顺序图和状态图,得到一个软件系统的需求模型和设计模型,给出了需求模型和设计模型的协调性条件及精化规则。这样,我们可以从软件开发的需求分析和设计阶段检查模型的协调性,通过协调地精化模型后生成代码。用这种方法,我们可在软件设计的早期阶段发现不协调问题,减少生成代码后除错所产生的代价。     

UML到Verilog同态映射在SOC系统级建模上的应用

SOC设计变得日益复杂要求我们在更高层次抽象上分析和验证系统行为。更精细的系统级建模方法变得日趋重要。文章主要目标是阐述怎样使用统一建模语言UML来构建一个复杂SOC设计框架及抽象其各个模块间行为的交互，建立了一个UML到Verilog的同态映射。提出了一个基于同态映射的从UML模型子集自动导出相应可综合Verilog描述的算法，为UML模型对于建模硬件系统提供了形式化的语义，从而能够验证并综合UML模型，加快了SOC设计流程。     

炮位侦察校射雷达系统仿真建模

为了更有效地进行炮位侦察校射雷达的仿真,规范化的建模方法是高质量、高效率开发的技术基础.利用UML面向对象的方法对系统进行需求分析,运用Rational Rose软件对该系统模型进行了可视化软件建模,从功能模块图、用例图、静态模型和动态模型等方面对系统进行了分析,实现了系统开发的规范化和系统化.     

弹道导弹精度仿真系统通用设计方法

为了提高弹道导弹精度仿真系统设计的通用性和重用性,在简析系统功能及流程的基础上,采用UML静态建模技术构建了需求描述模型和系统结构模型,运用动态建模方法建立了行为模型。以上述模型为基础,设计了适合于弹道导弹精度仿真系统的通用软硬件架构和一个应用示例。应用表明,该方法突出了弹道导弹精度仿真系统的共性设计,兼顾了不同型号和应用需求,有效提高了系统的设计效率及通用性、重用性。     

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

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

Web服务事务处理的模型化方法研究

Web服务技术的出现为解决跨组织的过程集成问题提供了一种模式。在集成和交互的过程中,Web服务需要事务的支持来保持数据的一致性。传统协议规范已经能够支持Web服务下的事务处理,但仍然存在着问题,比如不同事务处理规范之间兼容性处理、消息格式不匹配、补偿机制、超时和事务范围确立等问题还有待解决。本文介绍了一种Web服务系统的层次设计,并给出了一种Web服务事务处理的模型化方法。这种方法在设计初期就对事务的补偿机制、超时和事务范围这些问题进行考虑和解决,使事务处理过程更加清晰和直接。