Recently, the fast improvements of pervasive computing techniques have been applied to improve pervasive applications, such as smart living, geriatrics care, and agricultural development. For example, the technologies, like context-sensitive middleware, providing the infrastructure for pervasive applications, can help improve service qualities of pervasive applications. This thesis presents a general pervasive application model with an execution framework integrating workflow. By means of the layered-approach of the pervasive application model with execution framework, this thesis also presents an application development methodology, containing the basic data model and development workflow, to reduce the development efforts to design pervasive applications. Finally, a case study of pervasive healthcare application illustrates the necessity to apply the workflow. The case study also validates the feasibility of our development methodology.