000 | 04057nam a22005775i 4500 | ||
---|---|---|---|
001 | 978-981-15-2501-8 | ||
003 | DE-He213 | ||
005 | 20220801215234.0 | ||
007 | cr nn 008mamaa | ||
008 | 200226s2020 si | s |||| 0|eng d | ||
020 |
_a9789811525018 _9978-981-15-2501-8 |
||
024 | 7 |
_a10.1007/978-981-15-2501-8 _2doi |
|
050 | 4 | _aTA329-348 | |
050 | 4 | _aTA345-345.5 | |
072 | 7 |
_aTBJ _2bicssc |
|
072 | 7 |
_aTEC009000 _2bisacsh |
|
072 | 7 |
_aTBJ _2thema |
|
082 | 0 | 4 |
_a620 _223 |
100 | 1 |
_aDeb, Novarun. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _943174 |
|
245 | 1 | 0 |
_aBusiness Standard Compliance and Requirements Validation Using Goal Models _h[electronic resource] / _cby Novarun Deb, Nabendu Chaki. |
250 | _a1st ed. 2020. | ||
264 | 1 |
_aSingapore : _bSpringer Nature Singapore : _bImprint: Springer, _c2020. |
|
300 |
_aXXV, 152 p. 78 illus., 39 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aServices and Business Process Reengineering, _x2524-5511 |
|
505 | 0 | _aIntroduction -- State-of-the-Art -- i∗ and Enterprise Hierarchies -- Model Checking with i∗ -- Goal Model Maintenance -- Conclusion and Future Work. | |
520 | _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. | ||
650 | 0 |
_aEngineering mathematics. _93254 |
|
650 | 0 |
_aEngineering—Data processing. _931556 |
|
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aComputer software. _922048 |
|
650 | 1 | 4 |
_aMathematical and Computational Engineering Applications. _931559 |
650 | 2 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aMathematical Software. _943175 |
700 | 1 |
_aChaki, Nabendu. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _943176 |
|
710 | 2 |
_aSpringerLink (Online service) _943177 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9789811525001 |
776 | 0 | 8 |
_iPrinted edition: _z9789811525025 |
776 | 0 | 8 |
_iPrinted edition: _z9789811525032 |
830 | 0 |
_aServices and Business Process Reengineering, _x2524-5511 _943178 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-981-15-2501-8 |
912 | _aZDB-2-ENG | ||
912 | _aZDB-2-SXE | ||
942 | _cEBK | ||
999 |
_c77267 _d77267 |