基于CPN模型的REST服务架构标准特征约束验证方法研究

摘要

当前Web服务应用得到了迅速发展，其中REST服务架构得到了广泛的应用。REST服务架构指一种结合HTTP标准和URI标准的设计原理抽象成的新风格，主要优势在于其是一种对服务器更加有效的抽象方式。REST服务架构提供了一组架构约束，其六个标准特征约束带来了极大的好处。REST服务架构以其便捷性、高扩展性、高伸缩性、低耦合性和可重用性等优点，吸引了软件工程理论界和工业界的广泛关注和应用，对其研究日益增多。
　　随着REST服务架构系统的广泛应用，对其造成的错误理解与应用也随之增多，当前有些REST服务架构应用破坏其标准特征约束条件，故会带来相应的问题。破坏客户-服务器约束会增加系统服务器的时间开销；破坏可缓存约束会降低系统访问效率；破坏无状态约束会降低系统可伸缩性，影响系统负载均衡等。因此，进行基于REST服务架构应用系统的设计时，应对REST服务架构标准特征约束进行验证。
　　本文针对REST服务架构标准特征约束的形式化验证研究缺乏的问题，同时鉴于CPN方法具有层次化建模、复杂数据和并发行为描述以及可视化程度高等特点，提出一种基于CPN模型的REST服务架构标准特征约束验证方法，主要包含三部分核心内容：REST服务架构标准特征约束的CPN建模、REST服务架构标准特征约束验证方法和REST服务架构标准特征约束验证方法的实例验证，通过使用同步路径匹配的核心算法，达到验证基于REST服务架构Web应用设计是否符合标准特征约束，并在不符合标准特征约束时提供直观、可行的执行数据，便于后续完成应用系统设计的缺陷定位及修改完善。

目录

第一个书签之前

/Users/frankweapon/Desktop/15180A88576B35B93B80D1DDFEB44F8D.jpg