Stock Image

Property-Preserving Petri Net Process Algebra In Software Engineering

Hejiao Huang

0 ratings by Goodreads
ISBN 10: 9814324280 / ISBN 13: 9789814324281
Published by World Scientific Publishing Company
New Condition: New Hardcover
From BuySomeBooks (Las Vegas, NV, U.S.A.)

AbeBooks Seller Since May 21, 2012 Seller Rating 5-star rating

Quantity Available: > 20

Buy New
List Price: US$ 96.00
Price: US$ 121.21 Convert Currency
Shipping: Free Within U.S.A. Destination, rates & speeds
Add to basket

30 Day Return Policy

About this Item

320 pages. Dimensions: 9.0in. x 6.0in. x 1.1in.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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Bookseller Inventory # 9789814324281

Ask Seller a Question

Bibliographic Details

Title: Property-Preserving Petri Net Process ...

Publisher: World Scientific Publishing Company

Binding: Hardcover

Book Condition:New

Book Type: Hardcover

About this title

Synopsis:

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.

From the Inside Flap:

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.

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

Store Description

BuySomeBooks is great place to get your books online. With over eight million titles available we're sure to have what you're looking for. Despite having a large selection of new books available for immediate shipment and excellent customer service, people still tell us they prefer us because of our prices.

Visit Seller's Storefront

Terms of Sale:

We guarantee the condition of every book as it's described on the Abebooks web
sites. If you're dissatisfied with your purchase (Incorrect Book/Not as
Described/Damaged) or if the order hasn't arrived, you're eligible for a refund
within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

BuySomeBooks is operated by Drive-On-In, Inc., a Nevada co...

More Information
Shipping Terms:

Orders usually ship within 1-2 business days. Books are shipped from multiple locations so your order may arrive from Las Vegas,NV, Roseburg,OR, La Vergne,TN, Momence,IL, or Commerce,GA.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express