Property preserving Petri Net Process Algebra In Software Engineering is popular PDF and ePub book, written by Hejiao Huang in 2012-03-14, it is a fantastic choice for those who relish reading online the Computers genre. Let's immerse ourselves in this engaging Computers book by exploring the summary and details provided below. Remember, Property preserving Petri Net Process Algebra In Software Engineering can be Read Online from any device for your convenience.
Property preserving Petri Net Process Algebra In Software Engineering Book PDF Summary
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.
Detail Book of Property preserving Petri Net Process Algebra In Software Engineering PDF
- Author : Hejiao Huang
- Release : 14 March 2012
- Publisher : World Scientific
- ISBN : 9789814462945
- Genre : Computers
- Total Page : 319 pages
- Language : English
- PDF File Size : 18,9 Mb
If you're still pondering over how to secure a PDF or EPUB version of the book Property preserving Petri Net Process Algebra In Software Engineering by Hejiao Huang, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.