Business Standard Compliance and Requirements Validation Using Goal Models (Services and Business Process Reengineering) - Image 1

£77.17

Springer Business Standard Compliance and Requirements Validation Using Goal Models (Services and Business Process Reengineering)

Name: Business Standard Compliance and Requirements Validation Using Goal Models (Services and Business Process Reengineering)
Brand: Springer
Price: 77.17 GBP
Availability: InStock

Business Process Reengineering

This is the usual price. Wait for it to drop, or tell us your number.

£77 today · usual range £0–£0 · best ever £73

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 624 days • 624 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 624 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £75 (328 days, 52.6%)

Price range: £73 - £80

Price levels: 4 different prices over 624 days

Description

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 981152503X
Category: Books > Subjects > Business, Finance & Law > Management > Business Process Reengineering
Domain: Amazon UK
Release Date: 27 February 2021
Listed Since: 31 January 2021

Barcode

No barcode data available

Springer Business Standard Compliance and Requirements Validation Using Goal Models (Services and Business Process Reengineering)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

Modeling Companion for Software Practitioners

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Springer - Specification and Verification of Multi-agent Systems

Enterprise, Business-Process and Information Systems Modeling: 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, ... in Business Information Processing, 352)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

How to Engineer Software: A Model-Based Approach

Domain-Specific Languages: Effective Modeling, Automation, and Reuse

Modeling Software with Finite State Machines: A Practical Approach

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)

FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings: 2805 (Lecture Notes in Computer Science, 2805)

Temporal Verification of Reactive Systems: Safety

Executable UML: A Foundation for Model-Driven Architecture

Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)

Formal Methods in Computer Science (Textbooks in Mathematics)

Modeling Software with Finite State Machines: A Practical Approach

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Software Patterns, Knowledge Maps, and Domain Analysis

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Springer - Formal Methods and Models for System Design Book

Theory and Application of Multi-Formalism Modeling (Advances in Systems Analysis, Software Engineering, and High Performance Computing)

Quality Software Through Reuse and Integration: 561 (Advances in Intelligent Systems and Computing, 561)

Reverse Engineering and Testing of Black-Box Software Components: by Grammatical Inference techniques

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)