Skip to main content
Top

2020 | OriginalPaper | Chapter

A Deployment Framework for Ensuring Business Compliance Using Goal Models

Authors : Novarun Deb, Mandira Roy, Surochita Pal, Ankita Bhaumick, Nabendu Chaki

Published in: Transactions on Computational Science XXXV

Publisher: Springer Berlin Heidelberg

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference 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.: Using i* model towards ontology integration and completeness checking in enterprise systems requirement hierarchy. In: IEEE International Model-Driven Requirements Engineering Workshop (MoDRE) (2015)
3.
go back to reference 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., Ghose, A.K.: i*ToNuSMV: a prototype for enabling model checking of i* models. In: IEEE 24th International Requirements Engineering Conference (RE) (2016)
4.
go back to reference 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) 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)
5.
8.
go back to reference Horkoff, J., Yu, E.K.H.: Analyzing goal models: different approaches and how to choose among them. In: SAC (2011) Horkoff, J., Yu, E.K.H.: Analyzing goal models: different approaches and how to choose among them. In: SAC (2011)
11.
13.
go back to reference Pourshahid, A., et al.: Business process management with the user requirements notation. Electron. Commer. Res. 9, 269–316 (2009)CrossRef Pourshahid, A., et al.: Business process management with the user requirements notation. Electron. Commer. Res. 9, 269–316 (2009)CrossRef
15.
go back to reference Yu, E.: Modelling strategic relationships for process reengineering. Ph.D. thesis, University of Toronto, Toronto, Canada (1995) Yu, E.: Modelling strategic relationships for process reengineering. Ph.D. thesis, University of Toronto, Toronto, Canada (1995)
Metadata
Title
A Deployment Framework for Ensuring Business Compliance Using Goal Models
Authors
Novarun Deb
Mandira Roy
Surochita Pal
Ankita Bhaumick
Nabendu Chaki
Copyright Year
2020
Publisher
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-61092-3_6

Premium Partner