國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Property-preserving petri net proces...

Huang, Hejiao.

Property-preserving petri net process algebra in software engineering

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Property-preserving petri net process algebra in software engineeringHejiao 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:

182170
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 442940
003 OCoLC
005 20141031102032.0
006 m o d
007 cr mn|||||||||
008 150128s2012 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 182170
650 0 $a Petri nets. $3 278494
700 1 $a Huang, Hejiao. $3 697640
856 4 0 $u http://www.worldscientific.com/worldscibooks/10.1142/7919#t=toc