Semantic web service matchmaking based on service behavior

Service-Oriented Computing (SOC) is emerging as a new promising computing paradigm. Web service discovery is one of the key issues in SOC. Web service discovery usually provide UDDI as a standard registry which features only keyword-based matches that often give poor performance. Currently approaches for semantic service discovery are mostly limited to the matching of their inputs/outputs possibly enhanced with some ontological knowledge. Recent works have demonstrated that this approach is not sufficient to discover relevant services. In this paper, we argue that in many situations, the service discovery should be based on the specification of service behavior. The idea behind this is to develop matching techniques that operates on behavior models and allow delivery of partial matches. We give the relative definition of our formal model based on Petri nets and WF-nets and propose the transformation from the OWL-S process model into a formal model we defined. And then we define behavior equivalence notion based on our formal model and detail the semantic web service matchmaking algorithm based on that notion.