动态过程迁移的历史等价算法
软件工程
2024-12-12 v1
摘要
过程的动态变化要求旧工作流与新工作流之间存在状态等价的概念。在若干情况下，待迁移工作流的历史提供了充分的有意义迁移的上下文。本文提出了一种算法，利用一种基于轨迹的一致性模型——历史等价，为旧工作流到新工作流的状态寻找等价映射。该算法在待迁移过程的可达图中找到所有可迁移状态的历史等价映射。它还报告了给定旧佩特里网与新佩特里网对中落在变化区域内的所有不可迁移状态。本文给出了该算法、工作原理及其直观证明，并通过若干示例展示了其工作过程。
引用
@article{arxiv.2412.08314,
title = {A History Equivalence Algorithm for Dynamic Process Migration},
author = {Gargi Bakshi and Rushikesh K. Joshi},
journal= {arXiv preprint arXiv:2412.08314},
year = {2024}
}