Refining Service-Oriented Model Using Interpretation Mapping

An approach is proposed to refining service oriented specification model into an application architecture model using model-theoretic interpretation mapping. The service-oriented feature model is employed to describe the application specification and component-based application model to describe the application architecture. The application specification and application architecture are represented as model theory. Then an isomorphic interpretation mapping is calculated to refine the models. The approach proposed provides a way of bridging the service-oriented specification and the object-oriented software architecture.