A model-based approach for engineering pervasive services in SOAs
Dhaminda B. Abeywickrama, Sita Ramakrishnan · 2008
Significant interest exists within the pervasive computing community for representing context-aware services at different stages of the software lifecycle. While most of these efforts have focused on the design and implementation of context-aware services little work has been done at the software architectural level of the software lifecycle. In this paper, we propose a novel model-based approach for modeling and verifying context-aware services and their compositions against specified system properties at architectural level. We explore our approach using a modified subset of an existing transport and logistics case study.