Semantic Matchmaking of Web Services Constraint Conditions

As constraint conditions of Web services, preconditions and effects in OWL-S specification play important role in Web services matchmaking. However, the constraint conditions based Web services matchmaking methods mostly adopt thetas -subsumption, which lacks semantic level support. This paper presents a new semantic matchmaking method of Web services constraint conditions, which integrates rule system and constraint satisfaction problem (CSP) with semantic matchmaking. The constraint conditions are categorized into two kinds: numerical value-constraint and object-constraint. Then two semantic matchmaking methods are proposed separately according to these two kinds constraint conditions. Prototype system and examples have been implemented to show the practicability and effectiveness of the proposed semantic matchmaking approach.