首页 | 本学科首页   官方微博 | 高级检索  
     检索      

UML顺序图的鲁棒性分析
引用本文:张强,蒋建民,李建清.UML顺序图的鲁棒性分析[J].郑州大学学报(理学版),2024(2):66-72.
作者姓名:张强  蒋建民  李建清
作者单位:成都信息工程大学软件工程学院
基金项目:国家重点研发计划(2022YFB3305104);;国家自然科学基金项目(61772004);
摘    要:鲁棒性分析技术可以帮助开发人员精确地弥合分析与设计之间的鸿沟。统一建模语言(unified modeling language, UML)顺序图模型被广泛用于面向对象软件系统的分析与设计,它的鲁棒性至关重要。首先,引入形式化模型——统一结构。其次,给出了基于统一结构的描述顺序图的方法和鲁棒性的形式定义,随后讨论顺序图在组合与精化条件下的保存问题。最后,在原型工具支持下进行实例研究。实验结果表明,设计阶段的顺序图能保持分析阶段顺序图的鲁棒性,从而可以给予从事面向对象的开发人员相关帮助及支持。

关 键 词:UML  顺序图  鲁棒性  精化
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号