2 个版本

0.9.1	2023 年 5 月 1 日
0.9.0	2023 年 4 月 30 日

#636 在 HTTP 服务器

在 2 crates 中使用

MIT 许可证

2MB
36K SLoC

Inexor 反应式图流

这是什么？

➔ Reactive Graph Flow 是一个 图数据库

➔ Reactive Graph Flow 是一个 文档存储

➔ Reactive Graph Flow 是一个 流控制 运行时

➔ Reactive Graph Flow 是一个 Web 服务器

➔ Reactive Graph Flow 是 可插入 和 可扩展 的

➔ Reactive Graph Flow 是快速、安全和小巧的

它用于什么？

➔ 游戏实体组件系统 (ECS) - 尤其是针对 Inexor

➔ 智能家居和物联网

➔ 数据转换工具

➔ 用于卡片大小计算机和嵌入式设备的流控制系统

➔ 桌面自动化

➔ 内容管理系统

➔ 知识图谱和知识处理

图

图组织高度相互关联的数据。通过图可以理想地表示实体组件系统 (ECS) 的状态。Inexor 是第一个将图作为基础的引擎。

图的主要优点：

一切事物的通用数据结构
关系是一等公民
利用类型和实例使事物直观
利用快速直观的导航
利用高度连接、直观数据的语义
属性可以存储不仅是某些原始数据，还可以是完整的文档

反应式

现在我们了解了数据是如何存储的，这里是如何交互的。方法是数据本身是“活”的。为此，Inexor 采用了一种来自反应式编程的概念。

在计算中，反应式编程是一种关注数据流和变化传播的声明式编程范式。

这是图与响应式编程的巧妙结合。属性实例不是静态的，只包含数据。相反，它们是数据流。如果您更改属性实例的值，您将填充该属性实例的数据流。数据流相互连接。例如，如果一个属性实例的流连接到另一个属性实例的流，并且您更改第一个属性实例的值，第二个属性实例的值也将自动更改。因此，数据从一个站点传播到下一个站点，触发一系列的传播。

此外，Inexor会记住每个属性实例中的最后一个值。这是通过订阅自己的数据流并缓存它来实现的。这允许后续查询属性实例的值。

请记住这个基本概念

每个属性都是一个流，不仅仅是数据
属性流可以订阅和发布
两个属性的流可以连接起来，并且更改将传播（级联）

行为驱动设计

因此，数据流是自动的。在此基础上，Inexor应用了行为驱动设计概念。目标是使用这些数据流来模拟行为。

行为可以在组件、实体和关系上实现。为此，可以将一个或多个传入数据流组合起来，进行计算，并将结果写入一个或多个传出数据流。

例如，实体类型“AND门”通过订阅两个输入属性，将它们组合成一个组合数据流，并在传入值对上执行AND操作来实现行为。AND操作的结果本身也是一个数据流，并将其连接到输出属性。

这个例子展示了实体类型是如何内部连接的。它们都是巧妙组合在一起的数据流，从而描述了行为。

有趣的是，这种行为也适用于关系。例如，连接器也是流的行为。有趣的是，连接器将输出实体实例的属性实例的数据流与输入实体实例的属性实例的数据流连接起来。

例如，AND门在lhs和rhs属性处接受输入。这两个流都被订阅并压缩。压缩流通过一个函数进行计算 - 在这种情况下是AND运算符。这产生另一个（不可见）的流，该流与属性结果连接。AND门实体类型定义了lhs、rhs和结果属性必须存在。此外，还定义了插座类型：lhs和rhs是输入插座，result是输出插座。行为类似于实体实例和关系实例的内部连接。可以在实体实例上添加行为，也可以从实体/关系实例中移除行为。