SULJE VALIKKO

avaa valikko

Michael Wai Ming Mak | Akateeminen Kirjakauppa

PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING

Property-preserving Petri Net Process Algebra In Software Engineering
Hejiao Huang; Li Jiao; To-yat Cheung; Michael Wai Ming Mak
World Scientific Publishing Co Pte Ltd (2012)
Kovakantinen kirja
134,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Property-preserving Petri Net Process Algebra In Software Engineering
134,90 €
World Scientific Publishing Co Pte Ltd
Sivumäärä: 320 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2012, 20.03.2012 (lisätietoa)
Kieli: Englanti
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tuote on tilapäisesti loppunut ja sen saatavuus on epävarma. Seuraa saatavuutta.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Property-preserving Petri Net Process Algebra In Software Engineeringzoom
Näytä kaikki tuotetiedot
ISBN:
9789814324281
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste