郑州大学学报（理学版）2024，Vol.56Issue(2)：66-72,7.DOI:10.13705/j.issn.1671-6841.2022244
UML顺序图的鲁棒性分析
Robustness Analysis of UML Sequence Diagrams
摘要
Abstract
With the help of robust analysis techniques,developers could precisely bridge the gap between analysis and design.UML(unified modeling language)sequence diagram model was widely used in the analysis and design of object-oriented software systems,and its robustness is of great importance.Firstly,formal model,unified structure,was introduced.Then,a method of describing sequence diagram based on unified structure and a formal definition of robustness were given,and the preservation of sequence di-agrams on combination and refinement conditions was discussed.Finally,a case study was carried out with the support of prototype tool.The results showed that the sequence diagram in the design phase could maintain the robustness of the sequence diagram in the analysis phase,which could provide rele-vant help and support to the object-oriented developers.关键词
UML/顺序图/鲁棒性/精化Key words
UML/sequence diagram/robustness/refinement分类
信息技术与安全科学引用本文复制引用
张强,蒋建民,李建清..UML顺序图的鲁棒性分析[J].郑州大学学报（理学版）,2024,56(2):66-72,7.基金项目
国家重点研发计划(2022YFB3305104) （2022YFB3305104）
国家自然科学基金项目(61772004) （61772004）
成都信息工程大学人才科研基金项目(KYTZ202009). （KYTZ202009）
