A Combined Model Checking Approach for Services Safety
José M. Reyes Álamo, Aparicio Carranza, Benito Mendoza · IJCER · 2014
Pervasive computing environments such as the smart home often rely on composite services to provide different functionalities. These services are often complex, handle sensitive data, and perform critical operations. This raises several concerns especially those related to the safety of interactions among different services. In this paper, we differentiate services based on their characteristics and categorize them as baseline or extended. We propose a model checking mechanism to ensure that services in both categories meet the safety criteria.