語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Business Standard Compliance and Req...
~
SpringerLink (Online service)
Business Standard Compliance and Requirements Validation Using Goal Models
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Business Standard Compliance and Requirements Validation Using Goal Models/ by Novarun Deb, Nabendu Chaki.
作者:
Deb, Novarun.
其他作者:
Chaki, Nabendu.
面頁冊數:
XXV, 152 p. 78 illus., 39 illus. in color.online resource. :
Contained By:
Springer Nature eBook
標題:
Mathematical Software. -
電子資源:
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. - 1st ed. 2020. - XXV, 152 p. 78 illus., 39 illus. in color.online resource. - 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:
672446
Mathematical Software.
LC Class. No.: TA329-348
Dewey Class. No.: 519
Business Standard Compliance and Requirements Validation Using Goal Models
LDR
:03324nam a22004215i 4500
001
1026183
003
DE-He213
005
20200702182400.0
007
cr nn 008mamaa
008
210318s2020 si | s |||| 0|eng d
020
$a
9789811525018
$9
978-981-15-2501-8
024
7
$a
10.1007/978-981-15-2501-8
$2
doi
035
$a
978-981-15-2501-8
050
4
$a
TA329-348
050
4
$a
TA640-643
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
100
1
$a
Deb, Novarun.
$e
author.
$4
aut
$4
http://id.loc.gov/vocabulary/relators/aut
$3
1322474
245
1 0
$a
Business Standard Compliance and Requirements Validation Using Goal Models
$h
[electronic resource] /
$c
by Novarun Deb, Nabendu Chaki.
250
$a
1st ed. 2020.
264
1
$a
Singapore :
$b
Springer Singapore :
$b
Imprint: Springer,
$c
2020.
300
$a
XXV, 152 p. 78 illus., 39 illus. in color.
$b
online resource.
336
$a
text
$b
txt
$2
rdacontent
337
$a
computer
$b
c
$2
rdamedia
338
$a
online resource
$b
cr
$2
rdacarrier
347
$a
text file
$b
PDF
$2
rda
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
2 4
$a
Mathematical Software.
$3
672446
650
2 4
$a
Software Engineering/Programming and Operating Systems.
$3
669780
650
1 4
$a
Mathematical and Computational Engineering.
$3
1139415
650
0
$a
Computer software.
$3
528062
650
0
$a
Software engineering.
$3
562952
650
0
$a
Engineering mathematics.
$3
562757
650
0
$a
Applied mathematics.
$3
1069907
700
1
$a
Chaki, Nabendu.
$4
aut
$4
http://id.loc.gov/vocabulary/relators/aut
$3
815159
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9789811525001
776
0 8
$i
Printed edition:
$z
9789811525025
776
0 8
$i
Printed edition:
$z
9789811525032
830
0
$a
Services and Business Process Reengineering,
$x
2524-5503
$3
1316432
856
4 0
$u
https://doi.org/10.1007/978-981-15-2501-8
912
$a
ZDB-2-ENG
912
$a
ZDB-2-SXE
950
$a
Engineering (SpringerNature-11647)
950
$a
Engineering (R0) (SpringerNature-43712)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入