Business standard compliance and requirements validation using goal models / Novarun Deb, Nabendu Chaki.
Deb, Novarun, author.; Chaki, Nabendu, author.
2020
HD31.2
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Business standard compliance and requirements validation using goal models / Novarun Deb, Nabendu Chaki.
Author Deb, Novarun, author.
ISBN 9789811525018
9811525013
9811525005
9789811525001
DOI https://doi.org/10.1007/978-981-15-2
Published Singapore : Springer, [2020]
Language English
Description 1 online resource (xxv, 152 pages) : illustrations
Other Standard Identifiers 10.1007/978-981-15-2 doi
Call Number HD31.2
Dewey Decimal Classification 519
Summary 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 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.
Bibliography, etc. Note Includes bibliographical references.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed March 26, 2019).
Added Author Chaki, Nabendu, author.
Series Services and business process reengineering.
Available in Other Form Business standard compliance and requirements validation using goal models.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Introduction
State-of-the-Art
i∗ and Enterprise Hierarchies
Model Checking with i∗
Goal Model Maintenance
Conclusion and Future Work.

Browse Subjects

Show more subjects...

Statistics

from
to
Export