17、数据处理与安全机制：从规格到版本控制

数据处理与安全机制：从规格到版本控制

1. 数据交换与复制器部署

在数据处理系统中，学校之间会进行合作，通过基于简单对象访问协议（SOAP）的 XML 交换来实现学分转移和学生流动。应用开发者编写 SOAP 端点，将传入的 XML 文件转换为事实，其他端点则查询事实并将结果投影到传出的 XML 文档中。系统操作员根据集成需求和负载来决定复制器的部署位置。

与面向微服务的架构不同，应用开发者编写复制器客户端时，会将基础设施决策留到以后。复制器的部署与历史模型的设计是正交的，二者可以独立变化。这是因为复制器会根据部署的模型和安全规则调整其行为。

2. 规格说明与运行时处理

2.1 规格的定义与转换

应用程序使用规格来描述预期行为，规格不是实现细节，而是对期望行为的描述。不可变运行时根据规格生成行为，用于投影结果、更新用户界面、刷新缓存、交换数据和执行安全规则。

复制器使用正式的规格语言（如 Factual）接收所有查询。运行时将程序员的意图转换为 Factual 规格，并为应用开发者提供内部领域特定语言（DSL）来表示规格。例如，.NET 客户端库会使用语言集成查询（LINQ）来表示规格，运行时再将规格转换为 Factual 进行处理。

2.2 规格的转换类型

规格可以进行多种转换：
- 执行转换 ：复制器封装存储，将规格转换为 SQL 查询以投影结果。例如，对于教育应用中的 Factual 查询：

registrationsForOffe