LEADER 04227nam 22006015 450 001 9910377820603321 005 20200702182400.0 010 $a981-15-2501-3 024 7 $a10.1007/978-981-15-2501-8 035 $a(CKB)4100000010480196 035 $a(DE-He213)978-981-15-2501-8 035 $a(MiAaPQ)EBC6126747 035 $a(PPN)242977596 035 $a(EXLCZ)994100000010480196 100 $a20200226d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aBusiness Standard Compliance and Requirements Validation Using Goal Models /$fby Novarun Deb, Nabendu Chaki 205 $a1st ed. 2020. 210 1$aSingapore :$cSpringer Singapore :$cImprint: Springer,$d2020. 215 $a1 online resource (XXV, 152 p. 78 illus., 39 illus. in color.) 225 1 $aServices and Business Process Reengineering,$x2524-5503 311 $a981-15-2500-5 327 $aIntroduction -- State-of-the-Art -- i? and Enterprise Hierarchies -- Model Checking with i? -- Goal Model Maintenance -- Conclusion and Future Work. 330 $aThis book discusses enterprise hierarchies, which view a target system with varying degrees of abstraction. These requirement refinement hierarchies can be represented by goal models. It is important to verify that such hierarchies capture the same set of rationales and intentions and are in mutual agreement with the requirements of the system being designed. The book also explores how hierarchies manifest themselves in the real world by undertaking a data mining exercise and observing the interactions within an enterprise. The inherent sequence-agnostic property of goal models prevents requirement analysts from performing compliance checks in this phase as compliance rules are generally embedded with temporal information. The studies discussed here seek to extract finite state models corresponding to goal models with the help of model transformation. The i*ToNuSMV tool implements one such algorithm to perform model checking on i* models. In turn, the AFSR framework provides a new goal model nomenclature that associates semantics with individual goals. It also provides a reconciliation machinery that detects entailment or consistency conflicts within goal models and suggests corrective measures to resolve such conflicts. The authors also discuss how the goal maintenance problem can be mapped to the state-space search problem, and how A* search can be used to identify an optimal goal model configuration that is free from all conflicts. In conclusion, the authors discuss how the proposed research frameworks can be extended and applied in new research directions. The GRL2APK framework presents an initiative to develop mobile applications from goal models using reusable code component repositories. 410 0$aServices and Business Process Reengineering,$x2524-5503 606 $aApplied mathematics 606 $aEngineering mathematics 606 $aSoftware engineering 606 $aComputer software 606 $aMathematical and Computational Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/T11006 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aMathematical Software$3https://scigraph.springernature.com/ontologies/product-market-codes/M14042 615 0$aApplied mathematics. 615 0$aEngineering mathematics. 615 0$aSoftware engineering. 615 0$aComputer software. 615 14$aMathematical and Computational Engineering. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aMathematical Software. 676 $a515 700 $aDeb$b Novarun$4aut$4http://id.loc.gov/vocabulary/relators/aut$01065325 702 $aChaki$b Nabendu$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910377820603321 996 $aBusiness Standard Compliance and Requirements Validation Using Goal Models$92544715 997 $aUNINA