Web服务临时属性的运行时监控研究

发布时间：2021-11-24 22:06

　　面向服务的架构（Service-Oriented Architecture,简称为SOA）是一个新兴的软件工程范例,用来开发动态演进的Web应用。服务的提供者和服务的使用者可以通过公共的服务注册机构发布和搜索服务,各个服务可以被组合成复杂的Web服务组合,服务之间通过消息传递进行交互。Web服务组合是分布的、动态演进的、自治的,组合设计者不拥有整个服务,从而导致在基于服务的系统中,服务组合的正确性容易被笫三方参与者和与系统交互的机构所影响。通过静态测试、验证等技术能够保证服务组合过程的正确性,但其运行时行为仍可能会与服务组合的各种属性要求不一致,因而有必要实施Web服务运行时监控。在实践中,一般会部署持续性的监控方法在系统运行时对整个服务组合进行监控,来保证系统的运行时行为能够遵守某些特定的属性。但是,大多数已有的成果只关注了与系统控制过程相关的属性的监控,只关注消息的名称或者不同服务之间的信息交互顺序正确与否。这样便导致了许多动态的属性不能被监控,从而不能了解所感兴趣的信息数据是如何在不同的参与者之间交互的。临时属性是指在系统运行过程中,根据系统行为的不同,能够动态绑定不同数据的属性... 

【文章来源】：山东大学山东省 211工程院校 985工程院校 教育部直属院校

【文章页数】：68 页

【学位级别】：硕士

【文章目录】：
目录
CONTENTS
摘要
ABSTRACT
第1章 绪论
    1.1 研究背景及意义
    1.2 文献综述
    1.3 研究目标及内容
        1.3.1 研究目标
        1.3.2 研究内容
    1.4 论文组织结构
    1.5 本章小结
第2章 关键技术与工程背景
    2.1 关键技术
        2.1.1 Web服务
        2.1.2 BPEL
        2.1.3 WSDL
        2.1.4 物联网
    2.2 工程背景
        2.2.1 北京市路侧停车系统建设背景
        2.2.2 系统核心功能
    2.3 本章小结
第3章 临时属性描述语言
    3.1 相关研究
    3.2 语言规约
        3.2.1 SPS
        3.2.2 语言规约详细介绍
    3.3 路侧停车系统中的临时属性
    3.4 本章小结
第4章 临时属性监控模型
    4.1 基本概念
    4.2 Runtime Verifying系统
        4.2.1 属性集合创建
        4.2.2 属性值绑定
    4.3 改进的监控模型
        4.3.1 事件过滤
        4.3.2 事件分发
        4.3.3 异常处理
        4.3.4 相关算法
    4.4 本章小结
第5章 系统设计与验证
    5.1 测试系统简介
    5.2 测试系统开发
        5.2.1 开发工具简介
        5.2.2 项目内容
    5.3 实验验证
        5.3.1 系统架构
        5.3.2 关键代码
        5.3.3 结果对比
    5.4 本章小结
第6章 总结与展望
    6.1 课题总结
    6.2 展望
参考文献
致谢
攻读学位期间发表的学术论文目录
学位论文评阅及答辩情况表


【参考文献】：
期刊论文
[1]融合描述文档结构和参引特征的Web服务发现[J]. 魏登萍,王挺,王戟.  软件学报. 2011(09)
[2]一种基于扩展WSDL的测试数据自动生成方法[J]. 李盛钢,丁晓明.  西南师范大学学报(自然科学版). 2011(01)
[3]一种基于监控需求的Web服务运行时监控方法[J]. 孙明杰,李必信,张鹏程.  东南大学学报(自然科学版). 2009(04)
[4]用YACC实现程序插装器[J]. 梁应宏,陈绍强.  北京邮电大学学报. 1997(01)

博士论文
[1]面向服务的业务流程建模与验证研究[D]. 张曼.西安电子科技大学 2012

硕士论文
[1]物联网环境下基于QoS的Web服务组合研究[D]. 田加正.中国石油大学 2011



本文编号：3516840