The emerging Semantic Web and, in particular, Semantic Web services (SWS), demands the inclusion of new components in applications involving this technology. Therefore, Web development methodologies must be tailored to support the systematic development of such new components. In previous works we presented a UML profile, which extends the SOD-M method for service oriented Web Information System development of the MIDAS model-driven framework, to address the development of Semantic Web Services using WSMO (Web Service Modeling Ontology). The UML profile allows for the modeling of the new elements required by WSMO Web Services. This paper focuses on studying the possibility of improving the proposed UML profile, including the OCL (Object Constraint Language), for the representation of WSMO logical axioms through three case studies. This would allow developers, whose knowledge does not extend beyond UML, to develop applications that use Semantic Web services.
