Service composition is an effective method to achieve flexible pervasive application. According to the relationship of messages and behaviors, we define a message oriented activity based Petri net (Moap) model to describe service, which supports concurrent processes and the reuse of composite service. And user's loose requirement is denoted as goal which is composed of expected input, output and key behaviors. Based on Moap, an automatic service composition algorithm autoSC is proposed to automatically create a specification of composite process to achieve goal. Finally, we analyze the effectiveness of autoSC and give a detailed comparison with other methods.
['Zhuzhong Qian', 'Sanglu Lu', 'Li Xie']
Colored Petri Net Based Automatic Service Composition