Service Oriented Architecture (SOA) has emerged as a leading technology in recent years. It emphasizes the flexible, rapid development and collaboration of business processes. The service composition model is the core model to link existing services so as to provide those most in demand features. Besides the composition model, there are some additional models to capture different perspectives of SOA Based Application (SBA) that might impact service composition. Ideally, the service composition should become integrated with those additional models. For example, in Web Service (WS) domain, there are components such as WS-Security, WS-Policy, or Ontology Web Language for Service (OWL-S).

Inspired by the idea of meta-modeling techniques introduced in the Model Driven Architecture (MDA), this thesis proposes a Process Specification Modeling Language (PSML) as a means to integrate the variety of SBA perspectives and models. This language focuses on service composition with three sub-models: element model, behavior model, and structure model. Moreover, except for the platform-independent system model, this work also introduces application architecture model, environment model, and service model. Each of these serves to define the platform and application related information so as to generate the appropriate SOA-based application. These models are also defined by PSML, the same language employed to model service composition. One benefit of sharing the same PSML is that those models can be better integrated.

Based on PSML, there are a set of extension languages which are discussed in other works, such as PSML for policy, PSML for Collaboration, or PSML for Ontology. This present work focuses on introducing PSML and illustrates how it is used to integrate other models by using application architecture model as the example. Other related, new development and analytical processes are also discussed. In essence, this thesis describes a tool and uses an eBusiness example to illustrate how to combine SBA composition model and application architecture model.