Publication | Closed Access
A model-based business process compliance management architecture for SMSE towards effective adoption of cloud computing
11
Citations
10
References
2017
Year
Unknown Venue
EngineeringBusiness IntelligenceVerificationService MonitoringSoftware EngineeringModel CheckingBusiness Process ModelingFormal VerificationCompliance Management ArchitectureSmse Business AdherenceSystems EngineeringCompliance ManagementFormal ModelingCloud-based IntegrationComputer EngineeringConformance CheckingComputer ScienceCloud ServicesSoftware DesignBusiness Process ManagementTechnologyCloud ComputingFormal MethodsIndustrial InformaticsModel-driven Security
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.
| Year | Citations | |
|---|---|---|
Page 1
Page 1