第Ⅰ部分 基础知识 3
第1章 基于服务的计算 3
1.1关于Web的种种构想 3
1.1.1语义Web 3
1.1.2对等计算 4
1.1.3流程与协议 4
1.1.4语用Web 5
1.2发展史 5
1.3开放式环境 6
1.3.1自治性 7
1.3.2异构性 8
1.3.3动态性 8
1.3.4挑战 9
1.4服务简介 10
1.5使用服务 10
1.6发展中的Web 11
1.7标准化组织 12
1.8本书概览 13
1.9说明 14
1.10练习 14
第2章Web服务的基本标准 16
2.1 XML 17
2.2 SOAP 17
2.2.1处理过程 19
2.2.2主体与标头 19
2.2.3异常 20
2.2.4消息交换 20
2.2.5局限性 21
2.3 WSDL 22
2.3.1一些概念 24
2.3.2操作类型 24
2.3.3 WSDL模型的建立 25
2.4目录服务 25
2.5 UDDI 26
2.5.1概念模型 26
2.5.2 UDDI应用程序接口 29
2.6说明 35
2.7练习 35
第3章Web服务编程 40
3.1代表性状态传输 40
3.2 REST示例 40
3.3 SOAP和REST 43
3.4 Web服务的开发与使用 44
3.4.1 WSDL编程 44
3.4.2针对Web服务的Java技术 45
3.4.3 .NET 46
3.5 Web服务互操作性 46
3.6说明 47
3.7练习 47
第4章 企业架构 49
4.1企业集成 49
4.2 J2EE 50
4.3 .NET 51
4.4模型驱动架构 53
4.5遗留系统 53
4.6说明 54
4.7练习 55
第5章 面向服务的计算:原则 56
5.1用例 56
5.1.1企业内部的互操作 57
5.1.2企业间的互操作 57
5.1.3应用程序的配置 58
5.1.4动态选择 58
5.1.5软件容错能力 59
5.1.6网格 59
5.1.7效用计算 59
5.1.8软件开发 59
5.2面向服务的架构 59
5.2.1面向服务的架构的基本元素 60
5.2.2 RPC与文档导向的比较 61
5.3面向服务的计算的主要优点 61
5.4组合服务 62
5.4.1组合的目标 62
5.4.2组合面临的挑战 63
5.5说明 65
5.6练习 65
第Ⅱ部分 描述 69
第6章 建模和表示 69
6.1建模以便互操作 69
6.2集成与互操作 70
6.2.1表述性表示与过程性表示 70
6.2.2互操作 71
6.2.3分层的观点 71
6.2.4交互趋势 72
6.3通用本体 72
6.3.1本体:定义 73
6.3.2共享的虚拟世界 74
6.3.3抽象的维度 75
6.3.4值映射 76
6.4知识表示 79
6.4.1关系表示 80
6.4.2框架与描述 80
6.4.3本体语言特征 81
6.5初等代数:关系 82
6.6层次 83
6.6.1分类法 83
6.6.2部分—整体系统 83
6.7建模基础 84
概念体系的各种观念 85
6.8作为本体语言的UML 85
6.9其他术语学 86
6.10说明 86
6.11练习 86
第7章 资源描述框架 89
7.1应用RDF的动机 89
7.2 RDF基础 90
7.2.1资源 91
7.2.2文字 91
7.2.3属性 91
7.2.4陈述语句 91
7.3关键基元 92
7.3.1容器和集合 92
7.3.2具体化 93
7.3.3信息模型 93
7.4 XML语法 94
7.5 N重三元组记号 96
7.6存储RDF 96
7.7 RDF样式 97
7.8词汇和RDF样式 98
7.9说明 98
7.10练习 99
第8章Web本体语言 103
8.1以OWL开始 103
8.2 OWL语支 105
8.3 OWL结构 105
8.3.1类 106
8.3.2属性 106
8.3.3类表达式 107
8.3.4集合 111
8.4 OWL公理 112
8.4.1个体 112
8.4.2数据值 113
8.4.3类 113
8.4.4属性 113
8.4.5初等代数:函数 114
8.5 OWL推理 115
8.6 OWL语支比较 116
8.7一个OWL例子 118
8.8表达式 120
8.8.1树模型定义 120
8.8.2个体之间的约束 121
8.8.3规约的属性 121
8.8.4可废除的概念 121
8.9说明 122
8.10练习 122
第9章 本体的管理 124
9.1基于语言的表示 124
9.2标准本体 125
9.2.1统一业务语言 125
9.2.2 Cyc 126
9.2.3 IEEE标准高级本体 126
9.3标准化和语义一致性的比较 127
9.4一致性本体 127
9.4.1分析 128
9.4.2一致性本体 128
9.4.3正确性和相关性相比较 131
9.5本体的导入与版本 132
9.6说明 133
9.7练习 133
第Ⅲ部分 应用 137
第10章 执行模型 137
10.1基础交互模型 137
10.2消息机制 139
10.3 CORBA 139
10.4点对点计算 142
10.4.1超越客户端-服务器模式 143
10.4.2 P2P计算模型 143
10.5 Jini 144
10.6网格计算 145
10.7说明 146
10.8练习 147
第11章 事务概念 148
11.1事务 148
11.1.1 ACID特性 149
11.1.2调度 150
11.1.3锁 153
11.1.4分布式事务 154
11.2组合服务中的事务 157
11.2.1组合服务架构 157
11.2.2组合事务特性 159
11.2.3合成串行的难点 160
11.2.4改进的合成串行 161
11.3传统事务的局限 163
11.4放松可串行化标准 163
11.5扩展的事务模型 164
11.5.1 Saga 165
11.5.2伸缩事务 166
11.5.3 DOM事务 166
11.6说明 166
11.7练习 166
第12章Web服务协调框架 170
12.1 WSCL: Web服务会话语言 171
12.2 WSCI: Web服务编排界面 174
12.3 WS-协调:指定协调 176
12.3.1协调服务 177
12.3.2激活服务 178
12.3.3注册服务 180
12.4 Web服务的事务处理类型 181
12.5 BTP:业务事务协议 183
12.6总结 184
12.7练习 184
第13章 流程的规范 186
13.1流程 186
13.2利用UML来描述动态过程 187
13.3工作流 188
13.3.1异常 189
13.3.2工作流的互操作性 190
13.3.3工作流的元模型 191
13.3.4互操作 192
13.3.5有关的说明 193
13.3.6工作流技术所面对的挑战 193
13.4业务流程语言 194
13.4.1 BPEL4WS 194
13.4.2 BPML 198
13.4.3 ebXML 199
13.4.4 RosettaNet 207
13.5过程规范语言 209
13.6说明 212
13.7练习 212
第14章 形式化说明与规则 214
14.1依赖性的调度 215
14.2定义服务的组合 216
14.2.1协调关系 218
14.2.2实例场景 219
14.3 residuation操作 219
14.4剩余量的符号计算 220
14.5分布式计划 221
14.5.1内部推理的时序逻辑 222
14.5.2从规范衍生哨兵 223
14.5.3利用监视条件来调度 225
14.6形式化 225
14.6.1评估哨兵 225
14.6.2简化 227
14.6.3形式化事件类型 227
14.7讨论 229
14.8说明 229
14.9练习 230
第Ⅳ部分 协作 235
第15章 代理 235
15.1代理介绍 235
15.2代理环境 236
15.3代理描述 237
15.3.1推理 238
15.3.2内部结构 238
15.4合成的抽象 242
15.5描述组合 242
15.5.1表示和推理行动 243
15.5.2 OWL-S 243
15.6组合计划 248
15.7规则 249
15.7.1应用规则 250
15.7.2规则分类 250
15.7.3 Jess 253
15.7.4 SWRL: Semantic Web Rule Language(语义Web规则语言) 254
15.7.5复杂性和表示 255
15.7.6否定,非单调性,优先级 255
15.8说明 256
15.9练习 257
第16章 多代理商系统 260
16.1以服务为基础的系统的适应性 261
16.2多代理商体系结构 262
16.3代理商类型 262
16.4代理商和多代理商系统的生命周期管理 264
16.5一致性维护 266
16.5.1真理维持概念 267
16.5.2多代理真理维持 268
16.5.3长时间的服务的一致性维护 268
16.5.4代理商之间的分歧 270
16.6为其他代理建模 270
16.7认知概念 271
16.8应用认知概念 272
16.9说明 272
16.10习题 272
第17章 组织 275
17.1契约 275
17.1.1合法概念 276
17.1.2义务逻辑 277
17.1.3承诺 277
17.2承诺的范围 279
17.2.1服务团队 280
17.2.2以团队形式存在的虚拟企业 280
17.3通过公约实现协作 281
17.4规则 283
17.5协商 283
17.5.1协商协议 283
17.5.2协商的基本原则 285
17.5.3对协商语言的要求 287
17.6练习 289
第18章 通信 291
18.1代理通信语言 291
18.1.1言语行为理论 291
18.1.2语义学 292
18.1.3交互模式 293
18.1.4 ACL和Web服务的结合 293
18.2合同网协议 294
18.3业务协议 296
18.3.1编译业务协议 298
18.3.2遵守业务协议 299
18.4说明 302
18.5练习 302
第Ⅴ部分 选择 307
第19章 语义服务选择 307
19.1语义匹配标记 307
19.1.1应用本体 308
19.1.2对于广告与匹配标记语言的需求 309
19.1.3选择服务 309
19.2 SoCom匹配标记 309
19.3练习 310
第20章 社会性服务选择 312
20.1信誉机制 312
20.2推荐技术 313
20.2.1模型法 313
20.2.2记忆法 314
20.2.3推荐法的问题 314
20.2.4产品与服务推荐的比较 314
20.3推荐 315
20.3.1推荐的备选方案 315
20.3.2推荐的优势 316
20.3.3评估 316
20.4信用社会性机制 316
20.4.1经验基础 317
20.4.2本地信任评价 317
20.4.3合并证据 318
20.4.4搜集意见 319
20.5说明 319
20.6练习 319
第21章 经济性服务的选择 320
21.1市场环境 320
21.2拍卖服务 321
21.2.1拍卖的种类 322
21.2.2在线拍卖 322
21.2.3代理经济 324
21.3练习 325
第Ⅵ部分 工程学 329
第22章 构建SOC应用 329
22.1 SOC设计要素 329
22.2服务质量 330
22.3如何创建本体 331
22.3.1构建本体 331
22.3.2本体的准则和公约 333
22.4如何建立过程模型 334
22.5如何设计基于代理的系统 334
22.5.1工程合作 335
22.5.2多样性与复杂性 336
22.6如何构建基于代理的系统 337
22.7如何设计组合服务 338
22.8异常处理 339
22.9知识管理应用 340
22.9.1基于代理的知识网络 341
22.9.2局域网入口 341
22.9.3实践共同体 342
22.10电子商务应用 342
22.10.1电子商务应用的商业模型 343
22.10.2电子交易市场体系结构需求 344
22.11自动供应链应用 345
22.12练习 346
第23章 服务管理 349
23.1企业资源计划 349
23.2 WSMF: Web服务管理框架 350
23.3 WSDM: Web服务分布式管理 351
23.3.1服务失效时的临时计划 351
23.3.2安全和认证 352
23.3.3 WSDM集中化的特点和优点 352
23.4元数据协议 352
23.5可扩展性 352
23.5.1实际中的可扩展性 353
23.5.2代理的基础设施服务 353
23.5.3可扩展性实验 353
23.5.4长期适应代理 354
23.6通过基于代理的冗余提供健壮的服务 354
23.6.1架构和流程 355
23.6.2实验结果 356
23.7练习 356
第24章 安全性 357
24.1确保Web服务的安全 357
24.1.1不可抵赖性 358
24.1.2批注 358
24.1.3证书 358
24.2 SAML和W S-Security 359
24.3 WS-Trust 360
24.4 XACML 360
24.5安全策略推理 361
24.6隐私权 362
24.7练习 362
第Ⅶ部分 方向 367
第25章 挑战和延伸 367
25.1信任 367
25.2道德规范 368
25.2.1机器的道德规范 369
25.2.2道德规范的应用 370
25.2.3道德的违背 370
25.3一致性 370
25.4善行 371
25.5网络组织架构 372
25.6隐私管理 373
25.7关键性挑战和建议 374
附录 377
附录A XML和XML Schema 377
附录B URI、URN、URL和UUID 390
附录C有关XML命名空间的一些缩写 392