Abstract
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 is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
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)
Deb, N., Chaki, N., Ghose, A.K.: Extracting finite state models from i* models. J. Syst. Softw. 121, 265–280 (2016). https://doi.org/10.1016/j.jss.2016.03.038
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)
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)
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
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
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
Horkoff, J., Yu, E.K.H.: Analyzing goal models: different approaches and how to choose among them. In: SAC (2011)
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
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_24
Koliadis, G., Ghose, A.: Relating business process models to goal-oriented requirements models in KAOS. In: Hoffmann, A., Kang, B., Richards, D., Tsumoto, S. (eds.) PKAW 2006. LNCS (LNAI), vol. 4303, pp. 25–39. Springer, Heidelberg (2006). https://doi.org/10.1007/11961239_3
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
Pourshahid, A., et al.: Business process management with the user requirements notation. Electron. Commer. Res. 9, 269–316 (2009)
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
Yu, E.: Modelling strategic relationships for process reengineering. Ph.D. thesis, University of Toronto, Toronto, Canada (1995)
Acknowledgement
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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer-Verlag GmbH Germany, part of Springer Nature
About this paper
Cite this paper
Deb, N., Roy, M., Pal, S., Bhaumick, A., Chaki, N. (2020). A Deployment Framework for Ensuring Business Compliance Using Goal Models. In: Gavrilova, M., Tan, C., Saeed, K., Chaki, N. (eds) Transactions on Computational Science XXXV. Lecture Notes in Computer Science(), vol 11960. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-61092-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-662-61092-3_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-61091-6
Online ISBN: 978-3-662-61092-3
eBook Packages: Computer ScienceComputer Science (R0)