| 期刊全稱 | Business Standard Compliance and Requirements Validation Using Goal Models | | 影響因子2023 | Novarun Deb,Nabendu Chaki | | 視頻video | http://file.papertrans.cn/193/192425/192425.mp4 | | 發(fā)行地址 | Explains modeling enterprise hierarchies, model checking, and the semantic analysis of goal models.Discusses case studies to create a real-world connection.Includes mathematical derivations, comprehen | | 學(xué)科分類 | Services and Business Process Reengineering | | 圖書(shū)封面 |  | | 影響因子 | .This?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 corre | | Pindex | Book 2020 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-13 23:54
發(fā)表于 2025-3-21 19:11:21
