手工分析组合服务相当困难和耗时,为此提出了一种基于uMSD的Web服务组合的模型检验方法。如何简单和直观地表示Web服务组合的时态......

UML 2.0顺序图已广泛应用于业界,但其语义模糊,以至于不能有效地加以使用.模态顺序图（modal sequence diagram,简称MSD）是对UML 2.0......