In this paper, we discuss a fundamental theory of incremental verification for workflows. Incremental verification is a method to help multiple designers share and collaborate on huge workflows while maintaining their consistency. To this end, we introduce passbacks in workflows and their consistency property in the control flow perspective. passbacks indicate redoing of works. Workflows with passbacks are useful to naturally represent human works. To define the consistency property above, we define normality of workflows with passbacks and total correctness of normal workflows based on transition system-based semantics of normal workflows. We further extend workflows to sorted workflows and define their vertical division and composition. We also extend total correctness to normal sorted workflows, for the sake of incremental verification of a large-scale workflow with passbacks via vertical division and composition.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copy
Osamu TAKAKI, Izumi TAKEUTI, Noriaki IZUMI, Koiti HASIDA, "Workflows with Passbacks and Incremental Verification of Their Correctness" in IEICE TRANSACTIONS on Information,
vol. E95-D, no. 4, pp. 989-1002, April 2012, doi: 10.1587/transinf.E95.D.989.
Abstract: In this paper, we discuss a fundamental theory of incremental verification for workflows. Incremental verification is a method to help multiple designers share and collaborate on huge workflows while maintaining their consistency. To this end, we introduce passbacks in workflows and their consistency property in the control flow perspective. passbacks indicate redoing of works. Workflows with passbacks are useful to naturally represent human works. To define the consistency property above, we define normality of workflows with passbacks and total correctness of normal workflows based on transition system-based semantics of normal workflows. We further extend workflows to sorted workflows and define their vertical division and composition. We also extend total correctness to normal sorted workflows, for the sake of incremental verification of a large-scale workflow with passbacks via vertical division and composition.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.E95.D.989/_p
Copy
@ARTICLE{e95-d_4_989,
author={Osamu TAKAKI, Izumi TAKEUTI, Noriaki IZUMI, Koiti HASIDA, },
journal={IEICE TRANSACTIONS on Information},
title={Workflows with Passbacks and Incremental Verification of Their Correctness},
year={2012},
volume={E95-D},
number={4},
pages={989-1002},
abstract={In this paper, we discuss a fundamental theory of incremental verification for workflows. Incremental verification is a method to help multiple designers share and collaborate on huge workflows while maintaining their consistency. To this end, we introduce passbacks in workflows and their consistency property in the control flow perspective. passbacks indicate redoing of works. Workflows with passbacks are useful to naturally represent human works. To define the consistency property above, we define normality of workflows with passbacks and total correctness of normal workflows based on transition system-based semantics of normal workflows. We further extend workflows to sorted workflows and define their vertical division and composition. We also extend total correctness to normal sorted workflows, for the sake of incremental verification of a large-scale workflow with passbacks via vertical division and composition.},
keywords={},
doi={10.1587/transinf.E95.D.989},
ISSN={1745-1361},
month={April},}
Copy
TY - JOUR
TI - Workflows with Passbacks and Incremental Verification of Their Correctness
T2 - IEICE TRANSACTIONS on Information
SP - 989
EP - 1002
AU - Osamu TAKAKI
AU - Izumi TAKEUTI
AU - Noriaki IZUMI
AU - Koiti HASIDA
PY - 2012
DO - 10.1587/transinf.E95.D.989
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E95-D
IS - 4
JA - IEICE TRANSACTIONS on Information
Y1 - April 2012
AB - In this paper, we discuss a fundamental theory of incremental verification for workflows. Incremental verification is a method to help multiple designers share and collaborate on huge workflows while maintaining their consistency. To this end, we introduce passbacks in workflows and their consistency property in the control flow perspective. passbacks indicate redoing of works. Workflows with passbacks are useful to naturally represent human works. To define the consistency property above, we define normality of workflows with passbacks and total correctness of normal workflows based on transition system-based semantics of normal workflows. We further extend workflows to sorted workflows and define their vertical division and composition. We also extend total correctness to normal sorted workflows, for the sake of incremental verification of a large-scale workflow with passbacks via vertical division and composition.
ER -