Property-preserving Petri Net Process Algebra In Software Engineering (Hardcover)

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.

General

Imprint:	World Scientific Publishing Co Pte Ltd
Country of origin:	Singapore
Release date:	March 2012
First published:	September 2012
Authors:	Hejiao Huang • Li Jiao • To-yat Cheung • Michael Wai Ming Mak
Dimensions:	234 x 159 x 23mm (L x W x T)
Format:	Hardcover
Pages:	320
ISBN-13:	978-981-4324-28-1
Categories:	Books > Computing & IT > Computer programming > Software engineering Books > Science & Mathematics > Mathematics > Algebra > General
LSN:	981-4324-28-0
Barcode:	9789814324281

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!