Applying OCL to the development of SWS

Abstract

The advent of the semantic web and, in particular, the coming of Semantic Web Services (SWS) technology, demands the inclusion of new components in applications involving SWS. Therefore, web development methodologies must be tailored to support the systematic development of such new components. In our previous works, we have presented MIDAS-S, which extends the model-driven framework MIDAS to address the development of SWS using Web Service Modelling Ontology (WSMO) as the supporting technology. MIDAS-S defines an UML profile for the modelling of new elements required by WSMO Web Services. This paper deals with the improvement of the proposed UML profile, using Object Constraints Language (OCL) for the representation of WSMO logical axioms. This way the developers' whose knowledge does not extend beyond UML should be able to develop applications that use SWS.