Property-preserving Petri Net Process Algebra In Software Engineering (PDF)
(Sprache: Englisch)
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...
Leider schon ausverkauft
eBook
144.99 €
72 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Property-preserving Petri Net Process Algebra In Software Engineering (PDF)“
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.
Bibliographische Angaben
- Autoren: Hejiao Huang , Li Jiao , To-yat Cheung
- 2012, 320 Seiten, Englisch
- Verlag: World Scientific Publishing Company
- ISBN-10: 9814324299
- ISBN-13: 9789814324298
- Erscheinungsdatum: 14.03.2012
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 3.74 MB
- Mit Kopierschutz
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Property-preserving Petri Net Process Algebra In Software Engineering"
0 Gebrauchte Artikel zu „Property-preserving Petri Net Process Algebra In Software Engineering“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Property-preserving Petri Net Process Algebra In Software Engineering".
Kommentar verfassen