Extracting Business Compliant Finite State Models from I\(^*\) Models

  • Novarun DebEmail author
  • Nabendu Chaki
  • Mandira Roy
  • Surochita Pal
  • Ankita Bhaumick
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 995)


Goal models are primarily used to represent and analyze requirements at an early stage of software development. However, goal models are sequence agnostic and fall short for analyzing temporal properties. Limited works are found in the existing literature that aims to bridge this gap. There are tools that transform a goal model to a finite state model (FSM). The existing works and their implementations can only check whether a given temporal property is satisfied by a goal model or not. However, it does not provide us with a compliant FSM which satisfies the compliance rules. This paper aims to generate a business compliant FSM for a given goal model specification that complies with the business rules (specified in some temporal logic). We have chosen to work with tGRL (textual modeling language for goal-oriented requirement language) as the goal model specification language for representing i\(^*\) models. The framework extends the current i\(^*\)ToNuSMV ver2.02 tool by allowing the user to give a CTL property as input along with a goal model. The proposed framework generates a compliant FSM that satisfies the CTL constraint.



This work is a part 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. Part of this work was done by Novarun Deb at the Decision Systems Lab, University of Wollongong. We acknowledge the Technical Education Quality Improvement Programme (TEQIP), University of Calcutta, for organizing and sponsoring his visit to the university in Wollongong, Australia. 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.
    Abdelzad, V., Amyot, D., Alwidian, S.A., Lethbridge, T.: A Textual Syntax with Tool Support for the Goal-oriented Requirement Language. University of Ottawa, Ottawa, Canada, EECS (2015)Google Scholar
  2. 2.
    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. 3.
    Deb, N., Chaki, N., Ghose., A.K.: Extracting finite state models from i\(^*\) models. J. Syst. Softw. 121, 265–280 (2016). Scholar
  4. 4.
    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
  5. 5.
    Ghanavati, S., Rifaut, A., Dubois, E., Amyot, D.: Goal-oriented compliance with multiple regulations. In: IEEE 22nd International Requirements Engineering Conference (RE) (2014).
  6. 6.
    Horkoff, J., Yu, E.K.H.: Analyzing goal models: different approaches and how to choose among them. SAC (2011)Google Scholar
  7. 7.
    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).
  8. 8.
    Knuplesch, D., Ly, L.T., Rinderle-Ma, S., Pfeifer, H., Dadam, P.: On enabling data-aware compliance checking of business process models. In: 29th International Conference on Conceptual Modeling, Springer, vol. 6412, pp. 332–346 (2010).
  9. 9.
    Koliadis, G., Ghose, A.K.: Relating business process models to goal-oriented requirements models in kaos. PKAW (2006)Google Scholar
  10. 10.
    Negishi, Y., Hayashi, S., Saeki, M.: Establishing regulatory compliance in goal-oriented requirements analysis. In: IEEE 19th Conference on Business Informatics (CBI) (2017).
  11. 11.
    Pourshahid, A., Amyot, D., Peyton, L., Ghanavati, S., Chen, P., Weiss, M., Forster, A.J.: Business process management with the user requirements notation. Electron. Commer. Res. 9, 269–316 (2009)CrossRefGoogle Scholar
  12. 12.
    Sepideh, G., Daniel, A., Liam, P.: A systematic review of goal-oriented requirements management frameworks for business process compliance. In: IEEE Fourth International Workshop on Requirements Engineering and Law (2011).
  13. 13.
    Yu, E.: Modelling strategic relationships for process reengineering. University of Toronto, Toronto, Canada Ph.D. thesis (1995)Google Scholar

Copyright information

© Springer Nature Singapore Pte Ltd. 2020

Authors and Affiliations

  • Novarun Deb
    • 1
    • 2
    Email author
  • Nabendu Chaki
    • 1
  • Mandira Roy
    • 1
  • Surochita Pal
    • 1
  • Ankita Bhaumick
    • 1
  1. 1.University of CalcuttaKolkataIndia
  2. 2.Università Ca’ FoscariVeneziaIndia

Personalised recommendations