[发明专利]一种数据版本控制方法

权利要求书

1.一种数据版本控制方法，其特征在于，步骤如下：

（1）建立基于有色Petri网的数据版本控制模型，该Petri网的库所包括数据版本库和操作员库，所述数据版本库包括最新数据版本库、历史数据版本库、更新的数据版本库和合并数据版本库，且不同的数据版本库由不同颜色的托肯来表示，所述最新数据版本库只能存放一个最新数据版本的托肯，所述历史数据版本库可以存放多个更新过的数据版本的托肯，所述托肯存放于Petri网的库所中，用于根据其动态变化表示库所中数据版本的状态；

（2）对步骤（1）中建立的模型进行初始化，使最新数据版本库和历史数据版本库各获得一个颜色相同的托肯，该托肯表示的是目前最新数据版本的信息，其他数据版本库为空；

（3）当有操作员准备更新数据时，触发源变迁，使操作员库得到一个表示操作员信息的托肯；

（4）当操作员更新数据时，触发更新操作变迁，并根据操作员库中的托肯信息和最新数据版本库中的托肯信息，产生一个表示更新后的数据版本信息的托肯存放在更新的数据版本库中，同时，操作员库中的托肯被删除；

（5）根据更新的数据版本库和历史数据版本库中的托肯信息，判断是否需要合并去除冗余数据版本操作，如果需要，则触发冗余数据版本合并变迁，将更新的数据版本库和历史数据版本库进行合并，并将合并后产生的表示合并数据版本信息的托肯存放在合并数据版本库，如果不需要，则触发复制变迁，将步骤（3）中得到的更新的数据版本库中的托肯复制到合并数据版本库中，同时，更新的数据版本库中的托肯被删除；

（6）触发提交更新变迁，将合并数据版本库中的托肯复制为两个，分别存放到所述最新数据版本库和历史数据版本库中，同时，合并数据版本库中的托肯被删除；

（7）若有其他操作员要更新数据，则继续执行步骤（3）~（6），如此循环，直到所述历史数据版本库中托肯数量达到它能存放的最大数量时，终止Petri网的运行。

2.根据权利要求1所述的方法，其特征在于，在（4）~（6）任一步骤执行的过程中，若有其他操作员要更新数据库中的不同数据，则在前一操作员继续执行其数据操作步骤的同时，其他操作员开始执行步骤（3）~（6），若有其他操作员要更新数据库中的相同数据，则要在前一操作员执行完提交更新变迁之后再开始执行步骤（3）~（6）。

3.根据权利要求1所述的方法，其特征在于，所述数据版本库中托肯表示的信息包括：版本号、父版本号、修改时间、修改的内容和修改人，所述操作员库中的托肯信息包括：操作员编号、操作员姓名和要更新的内容。

4.根据权利要求1所述的方法，其特征在于，步骤（4）中触发更新操作变迁后产生两个不同颜色的托肯，其中一个颜色的托肯是原托肯的复制，存放于所述最新数据版本库中，另一个颜色的托肯为新托肯，存放于更新的数据版本库中。

5.根据权利要求3所述的方法，其特征在于，基于Petri网的数据版本控制模型初始化时，所述数据版本库中的托肯表示的信息只显示版本号，其余信息字段均为空。