Property-preserving Petri Net Process Algebra in Software Engineering - Couverture rigide

Huang, Hejiao; Jiao, Li; Cheung, To-yat; Mak, Michael Wai Ming

 
9789814324281: Property-preserving Petri Net Process Algebra in Software Engineering
Couverture rigide
ISBN 10 : 9814324280 ISBN 13 : 9789814324281
Editeur : World Scientific Publishing Co Pte Ltd, 2012

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
World Scientific Publishing Co Pte Ltd
Date d'édition
2012
Langue
anglais
ISBN 10 
9814324280
ISBN 13 
9789814324281
Reliure
Relié
Nombre de pages
320
Coordonnées du fabricant
non disponible
Personne responsable
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Allemagne