Abstract | ||
---|---|---|
Workflow nets (WF-nets for short) are a mathematical model of real world workflows. A WF-net is often updated in accordance with the change of real world. This may cause places that are redundant from the viewpoint of the behavior. Such places are called implicit. We first proposed a necessary and sufficient condition to find implicit places. Then we proved that removing of implicit places is a reduction operation which forms branching bisimilarity. We also constructed an algorithm for the reduction. Next, we applied the proposed reduction operation to WF-net refactoring. Then we showed the usefulness of the proposed refactoring with two examples. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1587/transfun.E99.A.502 | IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES |
Keywords | Field | DocType |
workflow net, implicit place, refactoring, extended free choice WF-net, well-structured WF-net, branching bisimilarity | Programming language,Computer science,Workflow nets,Code refactoring | Journal |
Volume | Issue | ISSN |
E99A | 2 | 0916-8508 |
Citations | PageRank | References |
2 | 0.51 | 7 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ichiro Toyoshima | 1 | 6 | 2.42 |
Yamaguchi, S. | 2 | 12 | 7.14 |
Jia Zhang | 3 | 2 | 0.51 |