東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Business standard compliance and req...

Deb, Novarun.

Linked to FindBook

Google Book

Amazon

博客來

Business standard compliance and requirements validation using goal models

Record Type:	Electronic resources : Monograph/item
Title/Author:	Business standard compliance and requirements validation using goal models/ by Novarun Deb, Nabendu Chaki.
Author:	Deb, Novarun.
other author:	Chaki, Nabendu.
Published:	Singapore :Springer Singapore : : 2020.,
Description:	xxv, 152 p. :ill. (some col.), digital ;24 cm.
[NT 15003449]:	Introduction -- State-of-the-Art -- i∗ and Enterprise Hierarchies -- Model Checking with i∗ -- Goal Model Maintenance -- Conclusion and Future Work.
Contained By:	Springer eBooks
Subject:	Requirements engineering. -
Online resource:	https://doi.org/10.1007/978-981-15-2501-8
ISBN:	9789811525018

Business standard compliance and requirements validation using goal models
Deb, Novarun.

Business standard compliance and requirements validation using goal models[electronic resource] /by Novarun Deb, Nabendu Chaki. - Singapore :Springer Singapore :2020. - xxv, 152 p. :ill. (some col.), digital ;24 cm. - Services and business process reengineering,2524-5503. - Services and business process reengineering..

Introduction -- State-of-the-Art -- i∗ and Enterprise Hierarchies -- Model Checking with i∗ -- Goal Model Maintenance -- Conclusion and Future Work.

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.

ISBN: 9789811525018

Standard No.: 10.1007/978-981-15-2501-8doiSubjects--Topical Terms:

2088817
Requirements engineering.

LC Class. No.: HD31.2 / .D436 2020

Dewey Class. No.: 519

Business standard compliance and requirements validation using goal models
LDR:02948nmm a2200337 a 4500 001 2216319
003 DE-He213
005 20200714104912.0
006 m d
007 cr nn 008maaau
008 201120s2020 si s 0 eng d
020 $a 9789811525018 $q (electronic bk.)
020 $a 9789811525001 $q (paper)
024 7 $a 10.1007/978-981-15-2501-8 $2 doi
035 $a 978-981-15-2501-8
040 $a GP $c GP
041 0 $a eng
050 4 $a HD31.2 $b .D436 2020
072 7 $a TBJ $2 bicssc
072 7 $a TEC009000 $2 bisacsh
072 7 $a TBJ $2 thema
082 0 4 $a 519 $2 23
090 $a HD31.2 $b .D286 2020
100 1 $a Deb, Novarun. $3 3448544
245 1 0 $a Business standard compliance and requirements validation using goal models $h [electronic resource] / $c by Novarun Deb, Nabendu Chaki.
260 $a Singapore : $b Springer Singapore : $b Imprint: Springer, $c 2020.
300 $a xxv, 152 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Services and business process reengineering, $x 2524-5503
505 0 $a Introduction -- State-of-the-Art -- i∗ and Enterprise Hierarchies -- Model Checking with i∗ -- Goal Model Maintenance -- Conclusion and Future Work.
520 $a 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.
650 0 $a Requirements engineering. $3 2088817
650 0 $a Hierarchies. $3 779245
650 0 $a Business enterprises $x Standards. $3 3448546
650 1 4 $a Mathematical and Computational Engineering. $3 3226306
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 891214
650 2 4 $a Mathematical Software. $3 897499
700 1 $a Chaki, Nabendu. $3 1073885
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Services and business process reengineering. $3 3448545
856 4 0 $u https://doi.org/10.1007/978-981-15-2501-8
950 $a Engineering (Springer-11647)