一是UML不是形式化描述语言,不能直接对其模型进行模拟验证。使用UML建模语言进行系统分析设计,再用其对此建模语言的改进使之能形式化描述,从而进行模型验证如文献[5]提出的将UML进行扩展使之成为“可执行UML”。二是UML状态图对时间约束的建模能力不强。
安科网(Ancii)，中国第一极客网
Copyright © 2013 - 2019 Ancii.com
京ICP备18063983号-5 京公网安备11010802014868号