earticle

영어

In the word of service-oriented architecture and collaboration, it is important to deal with sub-services of cooperating components. In existing research, functions to meet and behavior predictability are two major aspects of Web services composition, but there are some limitations to treatment of behavioral constraints. In this paper, we model a component by an open Petri net, and investigate action patterns as a means to descript and analysis of behavior constraint under the condition that subnets composition are satisfied. This approach can effectively describe the constraint of behaviors, achieve behavior interaction between services and model a component that meets specific behavioral relations. Finally, the theoretical analysis and simulation results show the effectiveness of the method.