On Verification and Application of Behavioral Inheritance for Parallel Synchronized Interworkflows

An interworkflow N is constructed by connecting a workflow N X with another workflow N Y , so interworkflow N should inherit the behavior from workflow N X (and workflow N Y ). Behavioral inheritance guarantees that interworkflow N can be substituted for workflow N X . 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 N X . 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.