A Model-Based Approach for Engineering Pervasive Services in SOAs

Significant interest exists within the pervasive computing community for representing context-aware services at different stages of the software life cycle. While most of these efforts have focussed on the design and implementation of context-aware services little work has been done at the software architectural level. In this paper, we propose a model-based approach for modeling and verifying context-aware services and their compositions against specified system properties at software architectural level. Our model-based approach to engineer context-aware services consists of three main phases: service extraction, architecture definition and architecture modularization. We explore our approach using a modified subset of an existing transport and logistics case study.