國立虎尾科技大學 |

Property-preserving petri net process algebra in software engineering

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Property-preserving petri net process algebra in software engineering/ Hejiao Huang ... [et al.].
其他作者:	Huang, Hejiao.
出版者:	Singapore :World Scientific, : ©2012.,
面頁冊數:	1 online resource (295 p.) :ill. :
標題:	System design. -
電子資源:	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:

560330
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:02117cam a2200277Ia 4500 001 793843
003 OCoLC
005 20141031102032.0
006 m o d
007 cr mn|||||||||
008 150316s2012 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 560330
650 0 $a Petri nets. $3 636309
700 1 $a Huang, Hejiao. $3 996766
856 4 0 $u http://www.worldscientific.com/worldscibooks/10.1142/7919#t=toc