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

基于UML2.0序列图的Web服务运行时验证方法
张亚红;张琳琳;赵楷;陈佳丽;冯在文
【期刊名称】《计算机科学》
【年(卷),期】2013(40)7
【摘要】To verify the consistency between run-time behavior of Web service and its specification,a runtime verification method for Web Service was proposed.In this paper,UML2.0 Sequence Diagrams were extended to describe the specification of Web service from both functional and QoS aspects,and then Extended Sequence Diagrams (ESD) were transformed to Deterministic Finite Automata to indicate semantics,and verification criteria was given to verify the consistency between run-time behavior and the specification.In addition,a runtime verification tool for Web service (RVT4WS) was developed to support the runtime verification method we proposed.%为了确保包括非功能属性在内的服务规约与服务实际运行行为之间的一致性,提出一种Web服务运行时行为验证方法.首先对UML 2.0序列图进行扩展,将QoS属性和功能属性的描述统一起来,以精确表达Web服务的需求规约.然后,提出利用确定有限自动机构造出扩展序列图(Extended Sequence Diagrams,ESD)的语义模型的方法.最后,给出验证准则,根据Web服务的交互消息和规约建模的结果来验证Web服务运行时行为与需求规约之间的一致性.基于上述研究,设计开发了Web服务运行时验证工具(Runtime Verification Tool for Web Services,RVT4WS),以支持对Web服务运行时行为的验证.
【总页数】5页(P138-142)
【作者】张亚红;张琳琳;赵楷;陈佳丽;冯在文
【作者单位】新疆大学信息科学与工程学院乌鲁木齐830046;新疆大学信息科学与工程学院乌鲁木齐830046;新疆大学信息科学与工程学院乌鲁木齐830046;新疆大学信息科学与工程学院乌鲁木齐830046;武汉大学软件工程国家重点实验室武汉430072
【正文语种】中文
【中图分类】TP311
【相关文献】
1.基于三值语义的软件运行时验证方法 [J], 隋平;赵常智;董威;李冰鹏
2.一种基于运行时验证的Web服务选择方法 [J], 张亚红;张琳琳;赵楷;陈佳丽;冯在文
3.基于事件确定有限自动机的UML2.0序列图描述与验证 [J], 张琛;段振华;田聪
4.一种基于监控需求的Web服务运行时监控方法 [J], 孙明杰;李必信;张鹏程
5.一种基于多因素运行时评估的Web服务失效恢复机制 [J], 陈宁江;李昌武;俞闽敏
因版权原因，仅展示原文概要，查看原文内容请购买。