扩展顺序图相关硕士博士期刊学术论文

作为一种定义良好、功能强大的图形化建模语言，UML因为缺乏精确的语义描述，因此对系统的建模无法进行形式化的分析和验证。目前，已经......