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

£76.38

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: 76.38 GBP
Availability: InStock

Introduction to Programming

It has never been this cheap. We have no record of a lower price.

£76 today · cheaper than every other day in the last 3 months

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 79 days • 79 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 79 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £76 (57 days, 72.2%)

Price range: £76 - £78

Price levels: 2 different prices over 79 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 > Computing & Internet > Programming > Introduction to Programming
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)

It has never been this cheap. We have no record of a lower price.

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

SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings: 1885 (Lecture Notes in Computer Science, 1885)

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

Springer - Logics of Specification Languages Monograph

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

Enterprise, Business-Process and Information Systems Modeling: 19th International Conference, BPMDS 2018, 23rd International Conference, EMMSAD 2018, ... in Business Information Processing, 318)

Executable UML: A Foundation for Model-Driven Architecture

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

Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation (Premier Reference Source)

Formal Methods in Computer Science (Textbooks in Mathematics)

Modeling Software with Finite State Machines: A Practical Approach

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

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

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276 (Lecture Notes in Computer Science, 9276)

Software Patterns, Knowledge Maps, and Domain Analysis