Service composition is regarded as a primary approach to build an application in Service-Oriented Computing (SOC). Current approaches for service composition may return back lots of invalid results because they neither take user?s context into account nor lack effective verification mechanism. To tackle these problems, this paper presents a framework that enables context-aware composition of Web services. The framework performs capability matches and composes service flow based on goal-driven. Then, it filters out unsuitable compositions of matched services according to available context information. Furthermore, we model the composite service with Petri nets and validate its correctness. And a corresponding algorithm is introduced. Software agents are developed in the framework to effectively support context-aware requirements for applications in SOC.