Developing service-oriented applications is concerned with the two main areas 1) service definition and provision, and 2) service composition. Current approaches for the definition and provision of services ignore the relationship between the service contract and the conditions in which the service can guarantee its contract. These conditions are necessary to associate the related contextual information, such as the context of the service provider and the context of service requester. Current composition approaches compose only service functionality and ignore nonfunctional requirements. Thus, service contracts, and context information that are part of services are left out of the composition, and verification. The FrSeC architecture aims to remedy this situation. The architecture supports the specification, publication, discovery, selection, and composition of services, where a service with its functional and nonfunctional aspects is bound to a context-driven contract. In this paper, we discuss developing service-oriented applications using FrSeC.