http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
On Verification and Application of Behavioral Inheritance for Parallel Synchronized Interworkflows
Shingo Yamaguchi,Tetsushi Narui,Qi-Wei Ge,Minoru Tanaka 대한전자공학회 2008 ITC-CSCC :International Technical Conference on Ci Vol.2008 No.7
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.