适用于异步合作版的稳定一致的文档模型

复杂的结构化文档可以有意地表示为装饰有属性的树形结构。 忽略属性(这些属性与可以从此处引起我们关注的纯粹结构方面分开处理的语义方面有关),在合作版本的背景下,法律结构的特征在于文档模型(抽象语法),并且每个故意表示都可以可以由几个共同作者通过对其“部分副本”进行操作的各种编辑工具独立地进行操作,最终由异步地进行异步操作。 对于部分副本的非同步版本,被认为是共同作者的必须有一个语法文档本地模型,该模型约束他以确保就全局模型而言处理的本地表示形式的最小一致性。 假设当前的局部表示是她/他们的部分副本,则这种一致性与针对全局模型的一个或多个(全局)有意表示的存在是同义的。 本文的目的是介绍语法结构,