earticle

영어

The OWL-S-based composite process can describe the large-grained Web Service which contains complex relations and state transitions. However, it is very difficult to analyze the behavior of OWL-S composite process directly, without the aid of other formal models. On the other hand, Petri net is capable of modeling asynchronous, concurrent systems accurately. In order to reduce the complexity of analyzing OWL-S composite process, we introduce a method that converts OWL-S composite processes to ones described by Petri net. Based on the nine mapping rules presented in this paper, it translates the input, output and control structure of atomic processes into the corresponding elements in Petri net. We implement a tool named O2PJ, which converts OWL-S composite process into Petri net automatically based on our method, thereby reducing the complexity of analyzing OWL-S composite process.