A Deployment Framework for Ensuring Business Compliance Using Goal Models
- 37 Downloads
Based on initial research to transform a sequence agnostic goal model into a finite state model (FSM) and then checking them against temporal properties (in CTL), researchers have come up with guidelines for generating compliant finite state models altogether. The proposed guidelines provide a formal approach to prune a non-compliant FSM (generated by the Semantic Implosion Algorithm) and generate FSM-alternatives that satisfy the given temporal property. This paper is an extension of the previous work that implements the proposed guidelines and builds a deployment interface called \(i^*\)ToNuSMV 3.0. The working of the framework is demonstrated with the help of some use cases. In the end, a comparative study of the performance between the previous and current versions of the Semantic Implosion Algorithm (SIA) with respect to the size of the solution space and the execution times, respectively, has also been presented.
This work is an extension of the Ph.D. work of Novarun Deb, who was a research fellow in the University of Calcutta under the Tata Consultancy Services (TCS) Research Scholar Program (RSP). We acknowledge the contribution of TCS Innovation Labs in funding this research. This work has also been partially supported by the Project IN17MO07 “Formal Specification for Secured Software System”, under the Indo-Italian Executive Programme of Scientific and Technological Cooperation.
- 1.Deb, N., Chaki, N., Ghose, A.K.: Using i* model towards ontology integration and completeness checking in enterprise systems requirement hierarchy. In: IEEE International Model-Driven Requirements Engineering Workshop (MoDRE) (2015)Google Scholar
- 3.Deb, N., Chaki, N., Ghose, A.K.: i*ToNuSMV: a prototype for enabling model checking of i* models. In: IEEE 24th International Requirements Engineering Conference (RE) (2016)Google Scholar
- 4.Deb, N., Chaki, N., Roy, M., Bhaumik, A., Pal, S.: Extracting business compliant finite state models from i* models. In: 6th International Doctoral Symposium on Applied Computation and Security Systems (ACSS) (2019, accepted)Google Scholar
- 5.Fuxman, A., Liu, L., Pistore, M., Roveri, M., Mylopoulos, J.: Specifying and analyzing early requirements: some experimental results. In: Proceedings of the 11th IEEE International Requirements Engineering Conference, pp. 105–114 (2003). https://doi.org/10.1109/ICRE.2003.1232742
- 6.Fuxman, A., Pistore, M., Mylopoulos, J., Traverso, P.: Model checking early requirements specifications in Tropos. In: Proceedings Fifth IEEE International Symposium on Requirements Engineering, pp. 174–181 (2001). https://doi.org/10.1109/ISRE.2001.948557
- 7.Ghanavati, S., Rifaut, A., Dubois, E., Amyot, D.: Goal-oriented compliance with multiple regulations. In: IEEE 22nd International Requirements Engineering Conference (RE) (2014). https://doi.org/10.1109/RE.2014.6912249
- 8.Horkoff, J., Yu, E.K.H.: Analyzing goal models: different approaches and how to choose among them. In: SAC (2011)Google Scholar
- 9.Kherbouche, O.M., Ahmad, A., Basson, H.: Formal approach for compliance rules checking in business process models. In: IEEE 9th International Conference on Emerging Technologies (ICET) (2013). https://doi.org/10.1109/ICET.2013.6743500
- 10.Knuplesch, D., Ly, L.T., Rinderle-Ma, S., Pfeifer, H., Dadam, P.: On enabling data-aware compliance checking of business process models. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol. 6412, pp. 332–346. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-16373-9_24CrossRefGoogle Scholar
- 12.Negishi, Y., Hayashi, S., Saeki, M.: Establishing regulatory compliance in goal-oriented requirements analysis. In: IEEE 19th Conference on Business Informatics (CBI) (2017). https://doi.org/10.1109/CBI.2017.49
- 14.Ghanavati, S., Amyot, D., Peyton, L.: A systematic review of goal-oriented requirements management frameworks for business process compliance. In: IEEE Fourth International Workshop on Requirements Engineering and Law (2011). https://doi.org/10.1109/RELAW.2011.6050270
- 15.Yu, E.: Modelling strategic relationships for process reengineering. Ph.D. thesis, University of Toronto, Toronto, Canada (1995)Google Scholar