A History Equivalence Algorithm for Dynamic Process Migration
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915058777325568 |
|---|---|
| author | Bakshi, Gargi Joshi, Rushikesh K. |
| author_facet | Bakshi, Gargi Joshi, Rushikesh K. |
| contents | Dynamic changes in processes necessitate the notion of state equivalence between the old and new workflows. In several cases, the history of the workflow to be migrated provides sufficient context for a meaningful migration. In this paper, we present an algorithm to find the equivalence mapping for states from the old workflow to the new one using a trail-based consistency model called history equivalence. The algorithm finds history equivalent mappings for all migratable states in the reachability graph of the process under migration. It also reports all non-migratable states that fall in the change region for a given pair of old and new Petri Nets. The paper presents the algorithm, its working, and an intuitive proof. The working is demonstrated through a couple of illustrations. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_08314 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A History Equivalence Algorithm for Dynamic Process Migration Bakshi, Gargi Joshi, Rushikesh K. Software Engineering D.2.7; D.2.4; D.2.2 Dynamic changes in processes necessitate the notion of state equivalence between the old and new workflows. In several cases, the history of the workflow to be migrated provides sufficient context for a meaningful migration. In this paper, we present an algorithm to find the equivalence mapping for states from the old workflow to the new one using a trail-based consistency model called history equivalence. The algorithm finds history equivalent mappings for all migratable states in the reachability graph of the process under migration. It also reports all non-migratable states that fall in the change region for a given pair of old and new Petri Nets. The paper presents the algorithm, its working, and an intuitive proof. The working is demonstrated through a couple of illustrations. |
| title | A History Equivalence Algorithm for Dynamic Process Migration |
| topic | Software Engineering D.2.7; D.2.4; D.2.2 |
| url | https://arxiv.org/abs/2412.08314 |