Property-preserving Petri Net Process Algebra In Software Engineering
Regular price
€112.99
14 days return policy
Shipping & Delivery
A01=Hejiao Huang
A01=Li Jiao
A01=Michael Wai Ming Mak
A01=To-yat Cheung
Author_Hejiao Huang
Author_Li Jiao
Author_Michael Wai Ming Mak
Author_To-yat Cheung
Category=PBF
Category=UMZ
eq_bestseller
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
Formal Specification and Verification
Petri Net
Software Engineering
System Design
Product details
- ISBN 9789814324281
- Publication Date: 20 Mar 2012
- Publisher: World Scientific Publishing Co Pte Ltd
- Publication City/Country: SG
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
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.
