在Web服务互操作技术的基础上,提供高层的Web服务集成手段、实现Web服务组合成为Web服务技术发展的自然需求。Web服务(Web Services)是当前实现面向服务的体系结构最有前景的技术。Web服务技术的广泛应用使得Web服务正逐步成为Internet网络环境中资源封装的标准形式。随着部署在Internet上的Web服务不断丰富,这些可被公共访问和集成的服务构成了一个潜在的巨大标准组件库。本文探讨了在《软件建模技术》课程中所介绍的语法方法、语义方法、UML方法和形式化方法在Web服务组合建模中的应用情况。 Based on Web services interoperability technology, it provides high-level integration of Web services and realizes Web service composition as a natural requirement for the development of Web services technology. Web Services is currently the most promising technology for implementing service-oriented architectures. The widespread application of Web services technology makes Web services are gradually becoming the standard form of resource encapsulation in Internet environment. As Web services deployed on the Internet continue to enrich, these publicly accessible and integrated services constitute a potentially huge library of standard components. This article explores the application of syntax, semantics, UML, and formal methods introduced in the course of Software Modeling Techniques in Web services composition modeling.