Abstract
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 is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
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)
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)
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. 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: 29th International Conference on Conceptual Modeling, Springer, vol. 6412, pp. 332–346 (2010). http://dbis.eprints.uni-ulm.de/665/
Koliadis, G., Ghose, A.K.: Relating business process models to goal-oriented requirements models in kaos. PKAW (2006)
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., 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)
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). https://doi.org/10.1109/RELAW.2011.6050270
Yu, E.: Modelling strategic relationships for process reengineering. University of Toronto, Toronto, Canada Ph.D. thesis (1995)
Acknowledgements
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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Singapore Pte Ltd.
About this chapter
Cite this chapter
Deb, N., Chaki, N., Roy, M., Pal, S., Bhaumick, A. (2020). Extracting Business Compliant Finite State Models from I\(^*\) Models. In: Chaki, R., Cortesi, A., Saeed, K., Chaki, N. (eds) Advanced Computing and Systems for Security. Advances in Intelligent Systems and Computing, vol 995. Springer, Singapore. https://doi.org/10.1007/978-981-13-8962-7_4
Download citation
DOI: https://doi.org/10.1007/978-981-13-8962-7_4
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-8961-0
Online ISBN: 978-981-13-8962-7
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)