PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING - Image 1

£63.00

World Scientific Publishing Company PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING

Name: PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING
Brand: World Scientific Publishing Company
Price: 40.81 GBP
Availability: InStock

Functional Programming

Price data last checked 9 day(s) ago - will refresh soon

View at Amazon

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 82 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £63 (36 days, 43.9%)

Price range: £40 - £63

Price levels: 5 different prices over 82 days

Description

In a component-based approach for system design, one of the challenging problems is the way to prove the correctness of the created components. Usually, the constituent components are supposed to be correct ― possessing the desirable properties and free from undesirable ones. However, the operators may destroy these properties or create new ones, resulting in an undesirable new component. Hence, every created component has to go through a new process of verification, involving a tremendous amount of effort.This book presents a component -based methodology for the creation and verification of design specifications. The methodology is formally presented as an algebra called Property-Preserving Petri Net Process Algebra (PPPA). PPPA includes five classes of operators, and the authors show that every operator of PPPA can preserve a large number of basic system properties. Therefore, if the initial set of primitive components satisfies some of these properties, the created components will also “automatically” satisfy them without the need for further verification ― thus greatly saving verification efforts.

Product Specifications

Brand: World Scientific Publishing Company
Format: hardcover
ASIN: 9814324280
Category: Books > Subjects > Computing & Internet > Programming > Software Design, Testing & Engineering > Functional Programming
Domain: Amazon UK
Release Date: 14 May 2012
Listed Since: 28 June 2010

Barcode

No barcode data available

World Scientific Publishing Company PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

A Process Algebraic Approach to Software Architecture Design

Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)

Computation Engineering: Applied Automata Theory and Logic

Springer - Petri Nets: Theoretical Models and Analysis Methods

Petri Net Synthesis (Texts in Theoretical Computer Science. An EATCS Series)

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

Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)

Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)

System Verification: Proving the Design Solution Satisfies the Requirements

Reconfigurable System Design and Verification

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Systems Dependability Assessment: Benefits of Petri Net Models: 1 (Systems and Industrial Engineering)

Modeling, Simulation, And Control Of Flexible Manufacturing Systems: A Petri Net Approach (Series in Intelligent Control and Intelligent Automation): 6

Handbook of Process Algebra

Formal Methods in Computer Science (Textbooks in Mathematics)

Systems Engineering and Architecting: Creating Formal Requirements

Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-based Software Development): 2

The Unknown Component Problem: Theory and Applications

Systems Engineering and Architecting: Creating Formal Requirements

System Verification: Proving the Design Solution Satisfies the Requirements

Real-Time Systems: Scheduling, Analysis, and Verification

System Modeling and Control with Resource-Oriented Petri Nets: 35 (Automation and Control Engineering)

Software Design for Resilient Computer Systems