Summary
International Technical Conference on Circuits/Systems, Computers and Communications
2008
Session Number:F2
Session:
Number:F2-4
On Verification and Application of Behavioral Inheritance for Parallel Synchronized Interworkflows
Shingo Yamaguchi, Tetsushi Narui, Qi-Wei Ge, Minoru Tanaka,
pp.-
Publication Date:2008/7/7
Online ISSN:2188-5079
Summary:
Behavioral inheritance guarantees that interworkflow can be substituted for workflow. 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 and workflow. However this verification method is limited to small interworkflows due to the complexity of the state-space explosion. we propose a condition to verify behavioral inheritance of Parallel synchronized interworkflows.