An interworkflow N is constructed by connecting a workflow NX with another workflow NY , so interworkflow N should inherit the behavior from workflow NX (and workflow NY). Behavioral inheritance guarantees that interworkflow N can be substituted for w...
An interworkflow N is constructed by connecting a workflow NX with another workflow NY , so interworkflow N should inherit the behavior from workflow NX (and workflow NY). Behavioral inheritance guarantees that interworkflow N can be substituted for workflow NX. Nevertheless it may happen that the behavior is not inherited. Behavioral inheritance can be verified by comparing the reachability graphs of the WF-nets representing interworkflow N and workflow NX. However this verification method is limited to small interworkflows due to the complexity of the state-space explosion. Focusing on a pattern of interworkflows, called Parallel synchronized pattern, we propose a condition to verify behavioral inheritance of Parallel synchronized interworkflows. This condition enables us to verify the behavioral inheritance in polynomial time.