UML2.0序列图相关论文
复杂系统的建模往往需要进行严格的形式化分析和验证，而UML却是半形式化的，因为其语法结构虽然采用了形式化的规约，但其语义部分则是......
UML2.0序列图是一种描述对象之间动态协作和事件发展时间关系的视图,但是UML序列图缺乏精确的形式化语义,所以不利于对其所描述的......
统一建模语言(United Modeling Language, UML)是一种描述功能强大且含义直观的可视化建模语言,它提供了多种图元,能够从不同角度......
为了确保包括非功能属性在内的服务规约与服务实际运行行为之间的一致性,提出一种Web服务运行时行为验证方法。首先对UML 2.0序列......
