A model-based business process compliance management architecture for SMSE towards effective adoption of cloud computing

Despite the great benefits of cloud computing on businesses, some organizations have had to withdraw from its service due to incomplete compliance to conditions from standards, bodies, or Service Level Agreements which have led to their being penalized. A structured and efficient model is helpful to aid small and medium scale enterprises (SMSEs) utilize cloud services safely and ascertain their fitting into necessary requirements before adoption. In this paper, a compliance management architecture is proposed to efficiently aid SMSE efficiently validate and examine at the time of design and running their business process. The verification of the model will be done using SPIN model checker based on linear temporal logic rules. The network analysis approach is proposed for monitoring the models at run time. The presented approach will allow for effective coordination of SMSE business adherence to any domain regulatory requirements. It will also allow for update with new requirements.