The service-oriented software engineering approach has been increasingly utilized to design and develop complex distributed systems. Exploiting semantic web technologies to increase utilization of the web services at the semantic level leads to create semantic web services (SWSs). This paper proposes a model-driven architecture (MDA) to model the SWS and to transform it from a high-level modeling language, such as the Unified Modeling Language (UML), to a low-level semantic description, such as the Web Service Modeling Language (WSML). To annotate all aspects of the SWS, a UML profile is provided by extending the UML metamodel. Some stereotypes and tagged values are also defined to support WSML. Therefore, the structure aspects of the SWS are modeled with a class diagram based on stereotypes that are defined in the UML profile. The logical and behavioral aspects of the SWS are modeled and expressed using activity diagrams, sequence diagrams, and Object Constraint Language (OCL). Experimental results show that the proposed approach not only increases the level of independence, accuracy, expressiveness, understandability, and machine processability but also significantly reduces the complexity and heterogeneity. Moreover, the proposed method is also evaluated in comparison with the previous methods of the literature, and the results will show that the proposed method outperforms the other methods in terms of expressiveness, understandability, scalability, level of independence, and accuracy.

中文翻译：

---

一种使用 Web 服务建模语言进行语义 Web 服务建模的模型驱动方法

面向服务的软件工程方法越来越多地用于设计和开发复杂的分布式系统。利用语义 Web 技术在语义级别提高 Web 服务的利用率，从而创建语义 Web 服务 (SWS)。本文提出了一种模型驱动架构 (MDA) 来对 SWS 进行建模，并将其从统一建模语言 (UML) 等高级建模语言转换为 Web Service 等低级语义描述。建模语言 (WSML)。为了注释 SWS 的所有方面，通过扩展 UML 元模型提供了一个 UML 配置文件。还定义了一些构造型和标记值以支持 WSML。因此，SWS 的结构方面使用基于 UML 概要文件中定义的构造型的类图建模。SWS 的逻辑和行为方面使用活动图、序列图和对象约束语言 (OCL) 进行建模和表达。实验结果表明，所提出的方法不仅提高了独立性、准确性、表达性、可理解性和机器可加工性的水平，而且显着降低了复杂性和异构性。此外，还对所提出的方法与文献中的先前方法进行了比较，结果表明所提出的方法在表达性、可理解性、可扩展性、独立性和准确性方面均优于其他方法。实验结果表明，所提出的方法不仅提高了独立性、准确性、表达性、可理解性和机器可加工性的水平，而且显着降低了复杂性和异构性。此外，还对所提出的方法与文献中的先前方法进行了比较，结果表明所提出的方法在表达性、可理解性、可扩展性、独立性和准确性方面均优于其他方法。实验结果表明，所提出的方法不仅提高了独立性、准确性、表达性、可理解性和机器可加工性的水平，而且显着降低了复杂性和异构性。此外，还对所提出的方法与文献中的先前方法进行了比较，结果表明所提出的方法在表达性、可理解性、可扩展性、独立性和准确性方面均优于其他方法。