A Deployment Framework for Ensuring Business Compliance Using Goal Models

  • Novarun DebEmail author
  • Mandira Roy
  • Surochita Pal
  • Ankita Bhaumick
  • Nabendu Chaki
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11960)


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. 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
  2. 2.
    Deb, N., Chaki, N., Ghose, A.K.: Extracting finite state models from i* models. J. Syst. Softw. 121, 265–280 (2016). Scholar
  3. 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. 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. 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).
  6. 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).
  7. 7.
    Ghanavati, S., Rifaut, A., Dubois, E., Amyot, D.: Goal-oriented compliance with multiple regulations. In: IEEE 22nd International Requirements Engineering Conference (RE) (2014).
  8. 8.
    Horkoff, J., Yu, E.K.H.: Analyzing goal models: different approaches and how to choose among them. In: SAC (2011)Google Scholar
  9. 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).
  10. 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). Scholar
  11. 11.
    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). Scholar
  12. 12.
    Negishi, Y., Hayashi, S., Saeki, M.: Establishing regulatory compliance in goal-oriented requirements analysis. In: IEEE 19th Conference on Business Informatics (CBI) (2017).
  13. 13.
    Pourshahid, A., et al.: Business process management with the user requirements notation. Electron. Commer. Res. 9, 269–316 (2009)CrossRefGoogle Scholar
  14. 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).
  15. 15.
    Yu, E.: Modelling strategic relationships for process reengineering. Ph.D. thesis, University of Toronto, Toronto, Canada (1995)Google Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2020

Authors and Affiliations

  • Novarun Deb
    • 2
    Email author
  • Mandira Roy
    • 1
  • Surochita Pal
    • 1
  • Ankita Bhaumick
    • 1
  • Nabendu Chaki
    • 1
  1. 1.University of CalcuttaKolkataIndia
  2. 2.Università Ca’ FoscariVenezia (VE)Italy

Personalised recommendations