000 03739nam a2200469 i 4500
710 2 _aSpringerLink (Online service)
_9106996
999 _c119323
_d119323
001 119323
003 ES-MaUEC
005 20230102113942.0
006 a||||fo|||| 00| 0
007 cr nn nnnaamaa
008 200226s2020 si | s |||| 0|eng d
020 _a9789811525018
024 7 _a10.1007/978-981-15-2501-8
_2doi
040 _aES-MaUEC
_bspa
_cES-MaUEC
_dES-MaUEC
050 4 _aHF5351
_b2020 EB
050 4 _aTA640-643
100 1 _aDeb, Novarun
_eautor
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_9673492
245 1 0 _aBusiness Standard Compliance and Requirements Validation Using Goal Models
_cby Novarun Deb, Nabendu Chaki
250 _aFirst edition 2020.
264 1 _aSingapore
_bSpringer Singapore
_c2020
300 _a1 recurso en línea (XXV, 152 páginas)
_b78 ilustraciones, 39 ilustraciones a color
336 _2rdacontent
_aTexto
_btxt
337 _2rdamedia
_aelectrónico
_bc
338 _2rdacarrier
_arecurso electrónico
_bcr
347 _aArchivo de texto
_bPDF
490 0 _aServices and Business Process Reengineering
_x2524-5503
490 0 _aEngineering (Springer-11647)
505 0 _aIntroduction -- State-of-the-Art -- i∗ and Enterprise Hierarchies -- Model Checking with i∗ -- Goal Model Maintenance -- Conclusion and Future Work.
520 3 _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.
988 _aSpringer_Engineering_31032020
650 7 _2embne
_9141658
_aEmpresas
650 7 _2embne
_9196628
_aOrganización de la empresa
700 1 _aChaki, Nabendu
_eautor
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_998334
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9789811525001
776 0 8 _iPrinted edition:
_z9789811525025
776 0 8 _iPrinted edition:
_z9789811525032
856 4 0 _uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-981-15-2501-8
_zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942 _2lcc
_cLE
998 _b05/2020
_dz
_ek
_zSI