東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Property-preserving petri net proces...

Huang, Hejiao.

Linked to FindBook

Google Book

Amazon

博客來

Property-preserving petri net process algebra in software engineering

Record Type:	Electronic resources : Monograph/item
Title/Author:	Property-preserving petri net process algebra in software engineering/ Hejiao Huang ... [et al.].
other author:	Huang, Hejiao.
Published:	Singapore :World Scientific, : ©2012.,
Description:	1 online resource (295 p.) :ill.
[NT 15003449]:	Preface; Contents; 1. Introduction; 1.1 This Book's Approach for Component-Based System Design; 1.2 Background Information and Main Features of PPPA; 1.3 Organization of This Book; 2. Fundamentals on PPPA and Related Work; 2.1 Preliminaries and Basic Properties of Petri Nets; 2.2 General Approaches for Verification; 2.2.1 Verification via reachability analysis; 2.2.2 Verification via characterizations or problem conversion; 2.2.3 Verification via property-preserving transformations; 2.3 Related Work and Discussion; 2.3.1 Reviews on property-preserving refinements for Petri nets.
Subject:	System design. -
Online resource:	http://www.worldscientific.com/worldscibooks/10.1142/7919#t=toc
ISBN:	9789814324298 (electronic bk.)

Property-preserving petri net process algebra in software engineering
Property-preserving petri net process algebra in software engineering[electronic resource] /Hejiao Huang ... [et al.]. - Singapore :World Scientific,©2012. - 1 online resource (295 p.) :ill.

Preface; Contents; 1. Introduction; 1.1 This Book's Approach for Component-Based System Design; 1.2 Background Information and Main Features of PPPA; 1.3 Organization of This Book; 2. Fundamentals on PPPA and Related Work; 2.1 Preliminaries and Basic Properties of Petri Nets; 2.2 General Approaches for Verification; 2.2.1 Verification via reachability analysis; 2.2.2 Verification via characterizations or problem conversion; 2.2.3 Verification via property-preserving transformations; 2.3 Related Work and Discussion; 2.3.1 Reviews on property-preserving refinements for Petri nets.

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.

ISBN: 9789814324298 (electronic bk.)Subjects--Topical Terms:

518843
System design.

LC Class. No.: QA76.9.S88 / P75 2012

Dewey Class. No.: 005.8

Property-preserving petri net process algebra in software engineering
LDR:02117cmm a2200277Ia 4500 001 1956090
003 OCoLC
005 20141031102032.0
006 m o d
007 cr mn|||||||||
008 150126s2012 si a o 000 0 eng d
020 $a 9789814324298 (electronic bk.)
020 $a 9814324299 (electronic bk.)
020 $a 9789814462945 (electronic bk.)
020 $z 9789814324281
020 $z 9814324280
035 $a (OCoLC)789546490
035 $a ocn789546490
040 $a HKP $b eng $e pn $c HKP $d EBLCP $d MHW $d YDXCP $d MERUC $d N $d OCLCQ $d OCLCF $d DEBSZ $d OCLCQ
050 4 $a QA76.9.S88 $b P75 2012
082 0 4 $a 005.8
245 0 0 $a Property-preserving petri net process algebra in software engineering $h [electronic resource] / $c Hejiao Huang ... [et al.].
260 $a Singapore : $b World Scientific, $c ©2012.
300 $a 1 online resource (295 p.) : $b ill.
505 0 $a Preface; Contents; 1. Introduction; 1.1 This Book's Approach for Component-Based System Design; 1.2 Background Information and Main Features of PPPA; 1.3 Organization of This Book; 2. Fundamentals on PPPA and Related Work; 2.1 Preliminaries and Basic Properties of Petri Nets; 2.2 General Approaches for Verification; 2.2.1 Verification via reachability analysis; 2.2.2 Verification via characterizations or problem conversion; 2.2.3 Verification via property-preserving transformations; 2.3 Related Work and Discussion; 2.3.1 Reviews on property-preserving refinements for Petri nets.
520 $a 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.
650 0 $a System design. $3 518843
650 0 $a Petri nets. $3 654110
700 1 $a Huang, Hejiao. $3 2089743
856 4 0 $u http://www.worldscientific.com/worldscibooks/10.1142/7919#t=toc