研究报告 Study Reports
  • 詹博华, 曹钦翔, 李文达, 刘嘉祥, 施智平, 汪宇霆, 赵永望.《交互式定理证明及应用》. 中国计算机学会CCF 2023中国计算机科学技术发展报告, pp.410-462, 2024年, 机械工业出版社. 详见CCF官网
  • 胡振江, 谢涛, ......, 赵永望.《面向安全泛在计算的系统软件的研究进展与趋势》. 中国计算机学会CCF 2021-2022中国计算机科学技术发展报告, pp.376-451, 2023年2月, 机械工业出版社. 详见CCF官网
  • 卜磊, 陈立前, ......, 赵永望. 《形式化方法的研究进展与趋势》. 中国计算机学会CCF 2017-2018中国计算机科学技术发展报告, pp.1-68, 2018年10月, 机械工业出版社. 详见CCF官网
国际标准 International Standards
  • AVIONICS APPLICATION SOFTWARE STANDARD INTERFACE (ARINC 653)
  • Separation Kernel Protection Profile (Separation Kernel TC under CCUF)
  • ISO/IEC TR 30102:2012 “Information technology — Distributed Application Platforms and Services (DAPS) — General technical principles of Service Oriented Architecture”
  • ISO/IEC 18384-1:2016 “Information technology — Reference Architecture for Service Oriented Architecture (SOA RA) — Part 1: Terminology and concepts for SOA”
  • ISO/IEC 18384-2:2016 “Information technology — Reference Architecture for Service Oriented Architecture (SOA RA) — Part 2: Reference Architecture for SOA Solutions”
  • ISO/IEC 18384-3:2016 “Information technology — Reference Architecture for Service Oriented Architecture (SOA RA) — Part 3: Service Oriented Architecture ontology”
国家标准 Chinese National Standards
  • 国家标准 GB/T 32419.1-2015 《信息技术 - SOA技术实现规范 - 第1部分：服务描述》，起草人：赵永望、马殿富、袁媛、王潮阳、董建、杨云、赵俊峰、孟晓、钱军、徐宝新、田忠，发布日期2015-12-31. 详见国家标准官网
  • 国家标准 GB/T 32419.4-2016 《信息技术 - SOA技术实现规范 - 第4部分：基于发布/订阅的数据服务接口》，起草人：梅宏、赵永望、马殿富、王潮阳、袁媛、徐枫、宦茂盛，发布日期2016-10-13. 详见国家标准官网
  • 国家标准 GB/T 32429-2015 《信息技术 - SOA 应用的生存周期过程》，起草人：赵永望、袁媛、马殿富、冯惠、杨云、赵俊峰、王潮阳、袁志华、孙勇韬、董建，发布日期2015-12-31. 详见国家标准官网
  • 国家标准 GB/T 32416-2015 《信息技术 - Web服务可靠传输消息》，起草人：赵永望、王潮阳、吕智慧、滕腾等，发布日期2015-12-31. 详见国家标准官网
  • 国家标准 GB/T 32427-2015 《信息技术 - SOA 成熟度模型及评估方法》，发布日期2015-12-31. 详见国家标准官网
  • 国家标准 GB/T 32430-2015 《信息技术 - SOA应用的服务分析与设计》，发布日期2015-12-31. 详见国家标准官网
  • 国家标准 GB/T 32431-2015 《信息技术 - SOA 服务交付保障规范》，发布日期2015-12-31. 详见国家标准官网
  • 国家标准 GB/T 32428-2015 《信息技术 - SOA 服务质量模型及测评规范》，发布日期2015-12-31. 详见国家标准官网
  • 国家标准 GB/T 33846.4-2017 《信息技术 SOA支撑功能单元互操作 第4部分：服务编制》，发布日期2017-11-1. 详见国家标准官网
  • 国家标准 GB/T 34985-2017 《信息技术 SOA治理》，发布日期2017-11-1 详见国家标准官网
  • 国家标准 GB/T 29263-2012 《信息技术 - 面向服务体系结构(SOA)应用的总体技术要求》，发布日期2012-12-31. 详见国家标准官网
  • 国家标准 GB/T 34678-2017 《智慧城市 技术参考模型》，发布日期2017-10-14. 详见国家标准官网
  • 国家标准 GB/T 36445-2018 《智慧城市 SOA标准应用指南》，发布日期2018-6-4 详见国家标准官网