基于uml2.0序列图的web服务运行时验证方法

为了确保包括非功能属性在内的服务规约与服务实际运行行为之间的一致性,提出一种web服务运行时行为验证方法。首先对uml2.0序列图进行扩展,将qos属性和功能属性的描述统一起来,以精确表达web服务的需求规约。然后,提出利用确定有限自动机构造出扩展序列图(extendedsequencediagrams,esd)的语义模型的方法。最后,给出验证准则,根据web服务的交互消息和规约建模的结果来验证web服务运行时行为与需求规约之间的一致性。基于上述研究,设计开发了web服务运行时验证工具(runtimeverificationtoolforwebservices,rvt4ws),以支持对web服务运行时行为的验证。