Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Services and Business Process Reengineering

Business Standard Compliance and Requirements Validation Using Goal Models

Authors: Deb, Novarun, Chaki, Nabendu

Free Preview
  • Explains modeling enterprise hierarchies, model checking, and the semantic analysis of goal models
  • Discusses case studies to create a real-world connection
  • Includes mathematical derivations, comprehensive datasets, and performance graphs
see more benefits

Buy this book

eBook $109.00
price for USA
  • ISBN 978-981-15-2501-8
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $149.99
price for USA
About this book

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.

About the authors

Novarun Deb is a Research Associate at the Department of Environmental Sciences, Informatics, and Statistics, Ca' Foscari University, Italy. He received his Master’s and Ph.D. in Computer Science & Engineering from the University of Calcutta, India. His current research interests include computer networking, software engineering, requirements engineering, model-based development, wireless ad hoc networks, wireless mesh networks, and system modelling. He has published many papers in these areas in international journals and conference proceedings. He has a few book chapters and a patent on data structures as well.

Nabendu Chaki is a senior member of the IEEE and a Professor at the Department of Computer Science & Engineering, University of Calcutta, India. Besides editing several volumes in LNCS, Springer, and other series, Dr. Chaki has authored several books with respected publishers like Taylor and Francis (CRC Press), Pearson Education, Springer, etc. Having also published more than 100 refereed research papers in journals and international conference proceedings, his areas of interest include software engineering, distributed systems, and network security. Dr. Chaki has also served as a Research Assistant Professor at the US Naval Postgraduate School, Monterey, CA. He is a visiting faculty member for many universities including Ca’Foscari University, Venice, Italy. Dr. Chaki has contributed to the IEEE Computer Society’s SWEBOK v3 as a Knowledge Area Editor for Mathematical Foundations. He currently serves as an editorial board member for many international journals, and has been the founding Chapter Chair of the ACM Professional Chapter in Calcutta, India, since January 2014.

Table of contents (6 chapters)

Table of contents (6 chapters)

Buy this book

eBook $109.00
price for USA
  • ISBN 978-981-15-2501-8
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $149.99
price for USA

Services for this book

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Business Standard Compliance and Requirements Validation Using Goal Models
Authors
Series Title
Services and Business Process Reengineering
Copyright
2020
Publisher
Springer Singapore
Copyright Holder
Springer Nature Singapore Pte Ltd.
eBook ISBN
978-981-15-2501-8
DOI
10.1007/978-981-15-2501-8
Hardcover ISBN
978-981-15-2500-1
Series ISSN
2524-5503
Edition Number
1
Number of Pages
XXV, 152
Number of Illustrations
39 b/w illustrations, 39 illustrations in colour
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.