[发明专利]一种位置变化驱动的软件更新方法、装置及可读存储介质

权利要求书

1.一种位置变化驱动的软件更新方法，其特征在于，包括以下步骤：

通过Bigraph对软件结构体系SA和对应的演化规则集建模；

获取所述软件结构体系SA移动后且演化前的软件结构体系SA^t；

计算SA和SA^t间发生变化的位置ΔP；获取所述演化规则集中所有变化位置集合{ΔP₁,ΔP₂,...,ΔP_n}；

判断所述位置ΔP是否属于位置集合{ΔP₁,ΔP₂,...,ΔP_n}，如果不属于，则结束本方法，否则获取位置ΔP对应匹配的位置ΔP_j，从而获取对应的演化规则L_j→R_j；

根据L_j分别计算位置图和连接图根据软件结构体系SA分别计算位置图SA^P和连接图SA^L，在位置图SA^P中获取位置图的匹配子图G^P，在连接图SA^L中获取连接图的匹配子图G^L；

根据R_j分别计算位置图和连接图利用同构切割边界簇方法分别在位置图SA^P上切下匹配子图G^P，替换上位置图得到新的SA位置图SA^P,e，在连接图SA^L上切下匹配子图G^L，然后替换上连接图得到新的SA连接图SA^L,e；

将新的SA位置图SA^P,e和新的SA连接图SA^L,e进行合并，获取演化后的软件体系结构SA^e，实现软件结构体系SA的更新。

2.根据权利要求1所述的一种位置变化驱动的软件更新方法，其特征在于，所述新的位置图SA^P,e的获取，具体为，

从位置图SA^P中切割匹配子图G^P，剩余部分记为SA^P/G^P，判断R_j的位置图和G^P是否具有同构的切割边界簇，如果是，则将替换到SA^P/G^P中，由此获取新的SA位置图SA^P,e，否则不进行替换操作。

3.根据权利要求2所述的一种位置变化驱动的软件更新方法，其特征在于，所述新的连接图 SA^L,e 的获取，具体为，

从连接图SA^L中切割匹配子图G^L，剩余部分记为SA^L/G^L，并判断R_j的连接图和G^L是否具有同构的切割边界簇，如果是，则将替换到SA^L/G^L中，由此获取新的SA连接图SA^L,e，否则不进行替换操作。

4.根据权利要求1所述的一种位置变化驱动的软件更新方法，其特征在于，使用ILER算法判断是否演化被触发，从而计算SA和SA^t间发生变化的位置ΔP。