Save 40% on books and eBooks in Engineering & Materials Science or in Social & Behavioral Sciences!

Services and Business Process Reengineering
cover

Business Standard Compliance and Requirements Validation Using Goal Models

Authors: Deb, Novarun, Chaki, Nabendu

  • 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 in USD (gross)
  • The eBook version of this title will be available soon
  • Due: May 16, 2020
  • ISBN 978-981-15-2501-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Hardcover $149.99
price for USA in USD
  • Customers within the U.S. and Canada please contact Customer Service at +1-800-777-4643, Latin America please contact us at +1-212-460-1500 (24 hours a day, 7 days a week). Pre-ordered printed titles are excluded from promotions.
  • Due: April 8, 2020
  • ISBN 978-981-15-2500-1
  • Free shipping for individuals worldwide
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.

Buy this book

eBook $109.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • Due: May 16, 2020
  • ISBN 978-981-15-2501-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Hardcover $149.99
price for USA in USD
  • Customers within the U.S. and Canada please contact Customer Service at +1-800-777-4643, Latin America please contact us at +1-212-460-1500 (24 hours a day, 7 days a week). Pre-ordered printed titles are excluded from promotions.
  • Due: April 8, 2020
  • ISBN 978-981-15-2500-1
  • Free shipping for individuals worldwide
Loading...

Recommended for you

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