一种基于TPN的服务组合验证方法

摘要

UML是一种广泛使用的面向对象建模语言,但UML的一个不足之处是它缺乏精确的数学语义,因而不能对模型的性质进行严格的分析。本文提出了一种基于时间Petri网(简称TPN)的服务组合验证方法。通过对UML活动图的时间扩展来描述服务组合的业务流程,并在此基础上给出了UML模型到TPN的映射方法,进而用得到的TPN模型来验证服务组合的正确性。最后,运用实例说明了UML服务模型组合验证方法的有效性。