Design patterns for building context-aware transactional services in PaaS-enabled systems

Pervasive computing is characterised by a key feature that affects the operating environment of services and users. It places more emphasis on dynamic environments where available resources continuously vary without prior knowledge of their availability, while in static environments the services provided to users are determined in advance. At the same time, cloud computing paradigm introduced flexibility of use according to the user’s profile and needs. In this paper, we aimed to provide context-aware transactional service (CATS) applications with solutions so that it can be integrated and invoked like any service in the digital ecosystem. The motivation in this paper is to offer design patterns that will guarantee short reaction times and minimal human intervention. Our proposal includes a cloud service model by developing a PaaS service that allows CATS adaptation. A new specification for the validation of CATS model has been also introduced using the ACTA formalism. Copyright © 2022 Inderscience Enterprises Ltd.