-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathstandards.html
201 lines (144 loc) · 9.12 KB
/
standards.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no">
<link rel="icon" type="image/png" href="images/icon.png">
<link href="css/metro-bootstrap.css" rel="stylesheet">
<!--<link href="css/metro-bootstrap-responsive.css" rel="stylesheet">-->
<link href="css/iconFont.css" rel="stylesheet">
<!-- Load JavaScript Libraries -->
<script src="js/jquery/jquery.min.js"></script>
<script src="js/jquery/jquery.widget.min.js"></script>
<!-- Metro UI CSS JavaScript plugins -->
<script src="js/load-metro.js"></script>
<!-- Local JavaScript -->
<script src="js/docs.js"></script>
<script src="js/github.info.js"></script>
<title>Yongwang ZHAO's Homepage</title>
<style>
.container {
width: 1040px;
}
</style>
</head>
<body class="metro" style="text-align:justify;">
<div class="container">
<div class="margin10 nrm nlm" data-load="header.html"></div>
<div class="main-content clearfix">
<div class="tab-control" data-role="tab-control" style="float:left;width:100%;">
<ul class="tabs">
<li class="active"><a href="#_page_1">Home <i class="icon-arrow-right-5"></i> Reports & Standards </a></li>
</ul>
<div class="panel" id="report" data-role="panel" style="width:100%;">
<div class="panel-header" style="background:#dddddd;font-size:14pt;"><span class="fg-darker"><b>研究报告 Study Reports</b></span></div>
<div class="panel-content margin10 fg-dark nlp nrp" style="width:98%;font-size:13pt;margin-top:-5pt;margin-bottom:-5pt">
<ul style="font-size:12pt">
<li>
詹博华, 曹钦翔, 李文达, 刘嘉祥, 施智平, 汪宇霆, <strong>赵永望</strong>.《交互式定理证明及应用》. 中国计算机学会CCF 2023中国计算机科学技术发展报告, pp.410-462, 2024年, 机械工业出版社. <a href="https://dl.ccf.org.cn/article/detail.html?id=7256696587274240" target="_blank"><strong>详见CCF官网</strong></a>
</li>
<li>
胡振江, 谢涛, ......, <strong>赵永望</strong>.《面向安全泛在计算的系统软件的研究进展与趋势》. 中国计算机学会CCF 2021-2022中国计算机科学技术发展报告, pp.376-451, 2023年2月, 机械工业出版社. <a href="https://dl.ccf.org.cn/article/detail.html?_ack=1&id=6476820625082368" target="_blank"><strong>详见CCF官网</strong></a>
</li>
<li>
卜磊, 陈立前, ......, <strong>赵永望</strong>. 《形式化方法的研究进展与趋势》. 中国计算机学会CCF 2017-2018中国计算机科学技术发展报告, pp.1-68, 2018年10月, 机械工业出版社. <a href="https://dl.ccf.org.cn/article/detail.html?_ack=1&id=4138192862726144" target="_blank"><strong>详见CCF官网</strong></a>
</li>
</ul>
</div>
</div>
<div class="panel" id="standard1" data-role="panel" style="width:100%;">
<div class="panel-header" style="background:#dddddd;font-size:14pt;"><span class="fg-darker"><b>国际标准 International Standards</b></span></div>
<div class="panel-content margin10 fg-dark nlp nrp" style="width:98%;font-size:13pt;margin-top:-5pt;margin-bottom:-5pt">
<ul style="font-size:12pt">
<li>
AVIONICS APPLICATION SOFTWARE STANDARD INTERFACE (ARINC 653)
</li>
<li>
Separation Kernel Protection Profile (Separation Kernel TC under CCUF)
</li>
<li>
ISO/IEC TR 30102:2012 “Information technology — Distributed Application Platforms and Services (DAPS) — General technical principles of Service Oriented Architecture”
</li>
<li>
ISO/IEC 18384-1:2016 “Information technology — Reference Architecture for Service Oriented Architecture (SOA RA) — Part 1: Terminology and concepts for SOA”
</li>
<li>
ISO/IEC 18384-2:2016 “Information technology — Reference Architecture for Service Oriented Architecture (SOA RA) — Part 2: Reference Architecture for SOA Solutions”
</li>
<li>
ISO/IEC 18384-3:2016 “Information technology — Reference Architecture for Service Oriented Architecture (SOA RA) — Part 3: Service Oriented Architecture ontology”
</li>
</ul>
</div>
</div>
<div class="panel" id="standard2" data-role="panel" style="width:100%;">
<div class="panel-header" style="background:#dddddd;font-size:14pt;"><span class="fg-darker"><b>国家标准 Chinese National Standards</b></span></div>
<div class="panel-content margin10 fg-dark nlp nrp" style="width:98%;font-size:13pt;margin-top:-5pt;margin-bottom:-5pt">
<ul style="font-size:12pt">
<li>
国家标准 GB/T 32419.1-2015 《信息技术 - SOA技术实现规范 - 第1部分：服务描述》，起草人：<b>赵永望</b>、马殿富、袁媛、王潮阳、董建、杨云、赵俊峰、孟晓、钱军、徐宝新、田忠，发布日期2015-12-31.
<a href="https://std.samr.gov.cn/gb/search/gbDetailed?id=71F772D80D60D3A7E05397BE0A0AB82A" target="_blank"><strong>详见国家标准官网</strong></a>
</li>
<li>
国家标准 GB/T 32419.4-2016 《信息技术 - SOA技术实现规范 - 第4部分：基于发布/订阅的数据服务接口》，起草人：梅宏、<b>赵永望</b>、马殿富、王潮阳、袁媛、徐枫、宦茂盛，发布日期2016-10-13.
<a href="https://std.samr.gov.cn/gb/search/gbDetailed?id=71F772D81640D3A7E05397BE0A0AB82A" target="_blank"><strong>详见国家标准官网</strong></a>
</li>
<li>
国家标准 GB/T 32429-2015 《信息技术 - SOA 应用的生存周期过程》，起草人：<b>赵永望</b>、袁媛、马殿富、冯惠、杨云、赵俊峰、王潮阳、袁志华、孙勇韬、董建，发布日期2015-12-31.
<a href="https://std.samr.gov.cn/gb/search/gbDetailed?id=71F772D80D61D3A7E05397BE0A0AB82A" target="_blank"><strong>详见国家标准官网</strong></a>
</li>
<li>
国家标准 GB/T 32416-2015 《信息技术 - Web服务可靠传输消息》，起草人：<b>赵永望</b>、王潮阳、吕智慧、滕腾等，发布日期2015-12-31.
<a href="https://std.samr.gov.cn/gb/search/gbDetailed?id=71F772D80D44D3A7E05397BE0A0AB82A" target="_blank"><strong>详见国家标准官网</strong></a>
</li>
<li>
国家标准 GB/T 32427-2015 《信息技术 - SOA 成熟度模型及评估方法》，发布日期2015-12-31.
<a href="https://std.samr.gov.cn/gb/search/gbDetailed?id=71F772D80E33D3A7E05397BE0A0AB82A" target="_blank"><strong>详见国家标准官网</strong></a>
</li>
<li>
国家标准 GB/T 32430-2015 《信息技术 - SOA应用的服务分析与设计》，发布日期2015-12-31.
<a href="https://std.samr.gov.cn/gb/search/gbDetailed?id=71F772D80CD7D3A7E05397BE0A0AB82A" target="_blank"><strong>详见国家标准官网</strong></a>
</li>
<li>
国家标准 GB/T 32431-2015 《信息技术 - SOA 服务交付保障规范》，发布日期2015-12-31.
<a href="https://std.samr.gov.cn/gb/search/gbDetailed?id=71F772D80CD9D3A7E05397BE0A0AB82A" target="_blank"><strong>详见国家标准官网</strong></a>
</li>
<li>
国家标准 GB/T 32428-2015 《信息技术 - SOA 服务质量模型及测评规范》，发布日期2015-12-31.
<a href="https://std.samr.gov.cn/gb/search/gbDetailed?id=71F772D80CBFD3A7E05397BE0A0AB82A" target="_blank"><strong>详见国家标准官网</strong></a>
</li>
<li>
国家标准 GB/T 33846.4-2017 《信息技术 SOA支撑功能单元互操作 第4部分：服务编制》，发布日期2017-11-1.
<a href="https://std.samr.gov.cn/gb/search/gbDetailed?id=71F772D80CBFD3A7E05397BE0A0AB82A" target="_blank"><strong>详见国家标准官网</strong></a>
</li>
<li>
国家标准 GB/T 34985-2017 《信息技术 SOA治理》，发布日期2017-11-1
<a href="https://std.samr.gov.cn/gb/search/gbDetailed?id=71F772D82100D3A7E05397BE0A0AB82A" target="_blank"><strong>详见国家标准官网</strong></a>
</li>
<li>
国家标准 GB/T 29263-2012 《信息技术 - 面向服务体系结构(SOA)应用的总体技术要求》，发布日期2012-12-31.
<a href="https://std.samr.gov.cn/gb/search/gbDetailed?id=71F772D7E812D3A7E05397BE0A0AB82A" target="_blank"><strong>详见国家标准官网</strong></a>
</li>
<li>
国家标准 GB/T 34678-2017 《智慧城市 技术参考模型》，发布日期2017-10-14.
<a href="https://std.samr.gov.cn/gb/search/gbDetailed?id=71F772D82104D3A7E05397BE0A0AB82A" target="_blank"><strong>详见国家标准官网</strong></a>
</li>
<li>
国家标准 GB/T 36445-2018 《智慧城市 SOA标准应用指南》，发布日期2018-6-4
<a href="https://std.samr.gov.cn/gb/search/gbDetailed?id=71F772D82DC4D3A7E05397BE0A0AB82A" target="_blank"><strong>详见国家标准官网</strong></a>
</li>
</ul>
</div>
</div>
</div>
</div>
</div>
</div> <!-- End first group -->
</div>
</div> <!-- End of tiles -->
<footer data-load="footer.html">
</footer>
</div>
<script src="js/hitua.js"></script>
</body>
</html>