Property-Preserving Petri Net Process Algebra in Software Engineering Hardcover - 2012 - 1st Edition
by Hejiao Huang; Li Jiao; To-Yat Cheung
From the jacket 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.
Details
- Title Property-Preserving Petri Net Process Algebra in Software Engineering
- Author Hejiao Huang; Li Jiao; To-Yat Cheung
- Binding Hardcover
- Edition number 1st
- Edition 1
- Pages 320
- Volumes 1
- Language ENG
- Publisher World Scientific Publishing Company
- Date 2012-09-30
- Illustrated Yes
- Features Bibliography, Dust Cover, Illustrated, Index, Table of Contents
- ISBN 9789814324281 / 9814324280
- Weight 1.3 lbs (0.59 kg)
- Dimensions 9.1 x 5.9 x 1.1 in (23.11 x 14.99 x 2.79 cm)
- Dewey Decimal Code 005.8
More Copies for Sale
Property-Preserving Petri Net Process Algebra in Software Engineering
by Huang, Hejiao
- Used
- Condition
- UsedVeryGood
- ISBN 10 / ISBN 13
- 9789814324281 / 9814324280
- Quantity Available
- 6
- Seller
-
Center Moriches, New York, United States
- Item Price
-
SGD 32.61SGD 4.09 shipping to USA
Show Details
Property-Preserving Petri Net Process Algebra In Software Engineering
by Hejiao Huang, Li Jiao, To-Yat Cheung, Wai Ming Mak
- Used
- Good
- Hardcover
- Condition
- Used - Good
- Edition
- 1
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9789814324281 / 9814324280
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
SGD 47.36FREE shipping to USA
Show Details
PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING
by Huang Hejiao Et Al,
- New
- Hardcover
- first
- Condition
- New
- Edition
- 1st
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9789814324281 / 9814324280
- Quantity Available
- 2
- Seller
-
New Delhi, India
- Item Price
-
SGD 94.10SGD 13.64 shipping to USA
Show Details
PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING
by Huang, Hejiao
- Used
- Good
- Hardcover
- Condition
- Used - Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9789814324281 / 9814324280
- Quantity Available
- 1
- Seller
-
Newport Coast, California, United States
- Item Price
-
SGD 120.72FREE shipping to USA
Show Details
Property-preserving Petri Net Process Algebra In Software Engineering
by Hejiao Huang
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9789814324281 / 9814324280
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
SGD 176.35SGD 17.23 shipping to USA
Show Details
Property-Preserving Petri Net Process Algebra in Software Engineering
by Hejiao Huang
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9789814324281 / 9814324280
- Quantity Available
- 283
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
SGD 194.86SGD 13.83 shipping to USA
Show Details
Property-preserving Petri Net Process Algebra in Software Engineering
by Huang, Hejiao/ Jiao, Li
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9789814324281 / 9814324280
- Quantity Available
- 2
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
SGD 204.82SGD 17.32 shipping to USA
Show Details
Property-Preserving Petri Net Process Algebra In Software Engineering
by Huang Hejiao Et Al
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9789814324281 / 9814324280
- Quantity Available
- 1
- Seller
-
New Delhi, India
- Item Price
-
SGD 164.43SGD 6.82 shipping to USA
Show Details
Property-Preserving Petri Net Process Algebra In Software Engineering
by Huang Hejiao Et Al
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9789814324281 / 9814324280
- Quantity Available
- 5
- Seller
-
NEW DELHI, India
- Item Price
-
SGD 178.73SGD 4.09 shipping to USA
Show Details
Property-Preserving Petri Net Process Algebra in Software Engineering
by Hejiao Huang Wai Ming Mak To-Yat Cheung Li Jiao
- Used
- Hardcover
- Condition
- Used
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9789814324281 / 9814324280
- Quantity Available
- 1
- Seller
-
Woodside, New York, United States
- Item Price
-
SGD 194.72SGD 5.44 shipping to USA