Property-preserving petri net process algebra in software engineering
Auteur :
Huang, Hejiao / Jiao, Li / Cheung, To-Yat / Mak, Wai Ming
Éditeur :
World Scientific Publishing Co Pte Ltd
ISBN :
9789814324281
Date de publication :
20 mars 2012
Langue :
Anglais
Pays d'origine :
Singapour
In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. This book offers a component-based methodology for the creation and verification of design specifications. The methodology is presented as an algebra called Property-Preserving Petri Net Process Algebra (PPPA).