语义Web服务利用语义Web中的语义标注技术使得Web服务可以被计算机所理解，从而实现Web服务的发现、调用、组合等的自动化。分析了目前语义Web服务的研究现状和存在的问题，从类型标注的角度出发，用一种带类型的OWL-S来形式化语义Web服务，并且形式地陈述了标注两个被组合的服务的属性和关系的类型、对象、本体概念之间的联系，从而为服务组合提供了一种形式化的验证方法。