Features of typed OWL-S for semantic Web services

Semantic Web services make the Web services computer-interpretable by using markup technology,enabling users and software agents to discover,invoke and compose Web resources.The current works and the existing problems of the semantic Web services are analyzed in this paper,and a typed first-order dynamic logic is proposed to resolve these problems.This paper presents an approach to formalizing the relationships between the types,objects and concepts being used for markup properties and relations of two Web services when two services are composed together.The approach also provides effective supports for service composition verification.