基于Event-B形式化分析UML模型一致性

软件工程实践中广泛采用UML作为建模语言,UML模型在演进过程中会引入UML模型一致性问题.采用Event-B形式化技术可以协助分析UML模型的一致性,提出UML模型向Event-B模型转换的方法和规范性要求,设计具体的转换算法,证明这些算法的规范性以及采用这些算法转换得到的Event-B模型和原UML模型的等价性.文中提出了基于EventB形式化分析UML模型一致性的方法,并通过具体的案例说明了方法的具体执行过程.结果证明:基于Event-B形式化分析UML模型一致性的方法是有效的,可帮助改进UML模型质量.     

UML建模过程中获取用例的方法研究

统一建模语言UML是一种面向对象的建模语言。本文以UML为工具进行高校教材管理信息系统建模,讨论了设计过程中获取用例图的增量迭代法,这种方法使系统分析、设计、实现之间形成了一个良性循环,同时对基于UML进行的MIS开发具有一定的指导意义。     

软件需求分析阶段基于UML的SFMEA方法研究

论文对基于UML建模软件的SFMEA方法进行研究,分析在软件开发过程的早期-需求分析阶段使用UML建模元素的特点,建立了用例图和活动图与SFMEA分析要素之间的关系,提出了一套分析方法,并进行了实例验证,得出了相应结论.     

基于UML的防空兵指挥决策系统建模

介绍一种基于UML的防空兵指挥决策系统建模方法。在对防空兵指挥决策系统建模过程进行分析研究的基础上,利用UML对防空兵指挥决策系统进行建模,构建用例图、状态图、顺序图、活动图以及协作图等模型。结果表明所建UML模型易于理解、操作,建模过程完整。     

基于UML的船舶交通事故处置系统建模

基于面向对象技术的可视化标准建模语言UML已被广泛运用于大规模、复杂系统建模中,并通过了一系列最佳工程实践验证,引入UML建模技术来研究船舶交通事故处置系统是一种全新尝试。文章在分析构建船舶交通事故处置系统及其工作流程的基础上,应用UML建模方法,利用Tau Generation2（简称TauG2）建模工具建立船舶交通事故处置系统模型,并进行了可视化验证。     

高桩框架码头构件重要性评价的探讨

本文采用两种不同的方法对框架码头构件进行重要性评价,找出框架码头中相对重要的构件,并对两种构件重要性评价方法进行分析比较。计算结果表明:桩和后边柱是结构中相对重要的构件,横撑、横梁和靠船构件的重要性受到船舶荷载作用位置的影响。基于广义刚度的评价方法综合考虑了结构自身特性和外荷载的作用,所求得的各构件重要性系数差值较大,便于同种工况的比较;基于平均应力比的评价方法更偏向于考虑构件对传力路径的贡献,所求得的构件重要性系数差值较小,可对不同工况的构件重要性进行比较。     

构件可靠性的形状优化方法

提出了基于构件可靠性的形状优化方法。并将基于可靠性的形状优化方法与一般的结构形状优化方法进行了实例比较。结果表明基于可靠性的结构形状优化设计兼顾了结构的合理性、可靠性和结构优化三者的关系,使结构达到了经济与安全的统一;而在不考虑结构可靠性的情况下进行结构形状优化设计虽然能够大幅度降低结构的重量,但导致构件的可靠性降低。     

舰艇编队一体化指挥决策服务提取研究

针对构建面向服务的舰艇编队一体化作战研讨厅式综合集成作战系统缺乏统一服务模型与成熟开发方法的问题,对一体化指挥决策服务提取技术展开了研究。给出了一体化指挥决策服务的相关概念,分析了面向服务的领域分析与UML的特点,提出了UML与FODA相结合面向服务的领域工程思路,给出了领域分析过程的UML描述模型,建立了基于UML领域分析的舰艇编队一体化指挥决策决策服务提取方法与过程模型,为舰艇编队一体化作战研讨厅式综合集成作战指挥系统的构建提供了技术支撑。     

基于微架构概念的J2EE企业应用架构模式研究

基于微架构概念设计了一个J2EE应用项目子系统的架构。介绍“微架构”这个近年来才出现的新概念,探讨了微架构设计方法在具体的企业级应用软件中的应用,用UML描述了微架构的内部结构,最后用体系架构描述语言ACME对整个微架构进行了描述。     

基于TRIBON数据库的船舶舾装托盘数据管理系统的开发

在对TRIBON数据库结构及3种不同的数据抽取方法进行分析比较的基础上,选用"部件模型对象"(COM-object)方法对TRIBON底层数据资源进行针对性抽取,开发了基于TRIBON数据库的船舶舾装托盘数据管理系统.