一种数据版本控制方法

摘要

本发明涉及一种数据版本控制方法，该方法构建一种有色Petri网（CPN）模拟数据版本控制过程，有色Petri网库所包括数据版本库和操作员库，并用不同颜色的托肯表示数据的不同版本，当有操作员更新数据时，触发源变迁，使操作员库获得操作员的信息，并通过触发不同的变迁，模拟数据版本的形成过程，将形成的最新数据版本存放在最新数据版本库中，将历史数据版本都存放在历史数据版本库中，方便以后的查询，且通过触发冗余合并变迁，将冗余数据进行合并，有效地解决了数据版本更新过程中的并发、合并的问题，保证了数据的一致性和完整性，有效提高了历史数据的管理水平。

主权项

一种数据版本控制方法，其特征在于，步骤如下：（1）建立基于有色Petri网的数据版本控制模型，该Petri网的库所包括数据版本库和操作员库，所述数据版本库包括最新数据版本库、历史数据版本库、更新的数据版本库和合并数据版本库，且不同的数据版本库由不同颜色的托肯来表示，所述最新数据版本库只能存放一个最新数据版本的托肯，所述历史数据版本库可以存放多个更新过的数据版本的托肯，所述托肯存放于Petri网的库所中，用于根据其动态变化表示库所中数据版本的状态；（2）对步骤（1）中建立的模型进行初始化，使最新数据版本库和历史数据版本库各获得一个颜色相同的托肯，该托肯表示的是目前最新数据版本的信息，其他数据版本库为空；（3）当有操作员准备更新数据时，触发源变迁，使操作员库得到一个表示操作员信息的托肯；（4）当操作员更新数据时，触发更新操作变迁，并根据操作员库中的托肯信息和最新数据版本库中的托肯信息，产生一个表示更新后的数据版本信息的托肯存放在更新的数据版本库中，同时，操作员库中的托肯被删除；（5）根据更新的数据版本库和历史数据版本库中的托肯信息，判断是否需要合并去除冗余数据版本操作，如果需要，则触发冗余数据版本合并变迁，将更新的数据版本库和历史数据版本库进行合并，并将合并后产生的表示合并数据版本信息的托肯存放在合并数据版本库，如果不需要，则触发复制变迁，将步骤（3）中得到的更新的数据版本库中的托肯复制到合并数据版本库中，同时，更新的数据版本库中的托肯被删除；（6）触发提交更新变迁，将合并数据版本库中的托肯复制为两个，分别存放到所述最新数据版本库和历史数据版本库中，同时，合并数据版本库中的托肯被删除；（7）若有其他操作员要更新数据，则继续执行步骤（3）~（6），如此循环，直到所述历史数据版本库中托肯数量达到它能存放的最大数量时，终止Petri网的运行。