Title: PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING
Publisher: World Scientific Pub Co Inc
Publication Date: 2012
Language: English
ISBN 10: 9814324280
ISBN 13: 9789814324281
Binding: Hardcover
Edition: 1st Edition
Condition: New
Dimensions: 2.54 centimeters width by 16.51 centimeters height by 23.5 centimeters depth
Weight: 590 grams

About this title

Synopsis

In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. Usually, the constituent components are supposed to be correct, i.e., possessing the desirable properties and being 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. This indeed involves 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). Briefly, PPPA includes five classes of operators. The authors show that every operator of PPPA can preserve a large number of basic system properties. Hence, if the initial set of primitive components satisfies some of these properties, the created components will also “automatically” satisfy them without the need of further verification. This greatly saves the efforts spent in verification.

From the Back Cover

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). Briefly, PPPA includes five classes of operators. The authors show that every operator of PPPA can preserve a large number of basic system properties. Hence, if the initial set of primitive components satisfies some of these properties, the created components will also "automatically" satisfy them without the need of further verification. This greatly saves the efforts spent in verification.

"About this title" may belong to another edition of this title.

Store Description

Selling books: medical, engineering, law: ZWe have been selling books for over 22 years from Phoenix AZ USA.

Visit Seller's Storefront

Seller's business information

BOOKWEST
AZ, U.S.A.

Sale & Shipping Terms

Terms of Sale

Welcome.
contact info:

Vasant Abhyanker
4211 E Wilshire Dr
Phoenix
AZ 85008

Phone: 602-957-0956

Shipping Terms

Hardcoer or Bubblepack packaging.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 6 business days
First item	US$ 4.99	US$ 9.99

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.