大葉大學圖書館 |

登入

回首頁

Property-preserving petri net proces...

Huang, Hejiao.

Property-preserving petri net process algebra in software engineering[electronic resource] /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	005.8
書名/作者:	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.
標題:	Petri nets.
ISBN:	9789814324298 (electronic bk.)
ISBN:	9814324299 (electronic bk.)
ISBN:	9789814462945 (electronic bk.)
內容註:	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.
電子資源:	http://www.worldscientific.com/worldscibooks/10.1142/7919#t=toc

Property-preserving petri net process algebra in software engineering[electronic resource] /
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:

172186
System design.

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

Dewey Class. No.: 005.8

Property-preserving petri net process algebra in software engineering[electronic resource] /
LDR:02117cam a2200277Ia 4500 001 415575
003 OCoLC
005 20141031102032.0
006 m o d
007 cr mn|||||||||
008 150203s2012 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 172186
650 0 $a Petri nets. $3 481777
700 1 $a Huang, Hejiao. $3 586646
856 4 0 $u http://www.worldscientific.com/worldscibooks/10.1142/7919#t=toc

筆 0 讀者評論

多媒體

多媒體檔案
http://www.worldscientific.com/worldscibooks/10.1142/7919#t=toc

評論

新增評論分享你的心得

Export

取書館別