The search functionality is under construction.
The search functionality is under construction.

Author Search Result

[Author] Koiti HASIDA(1hit)

1-1hit
  • Workflows with Passbacks and Incremental Verification of Their Correctness

    Osamu TAKAKI  Izumi TAKEUTI  Noriaki IZUMI  Koiti HASIDA  

     
    PAPER

      Vol:
    E95-D No:4
      Page(s):
    989-1002

    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.