Property-preserving petri net process algebra in software engineering / Hejiao Huang ... [et al.].

Format:

Book

Author/Creator:

Huang, Hejiao.

Contributor:

Huang, Hejiao.

Language:

English

Subjects (All):

Petri nets.

Software engineering.

Algebra.

Physical Description:

1 online resource (319 p.)

Edition:

1st ed.

Place of Publication:

Singapore : World Scientific Pub. Co., 2012.

Language Note:

English

Summary:

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

Contents:

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

4.4 The Operator PARALLEL4.5 The Operator DISABLE; 4.6 The Operator DISABLE-RESUME; 5. Property-Preserving Refinements; 5.1 A Property-Preserving Refinement for Transitions; 5.2 A Property-Preserving Refinement for Places; 5.3 An Example for Transformation TR; 6. Property-Preserving Reductions; 6.1 Reducing a Transition-Bordered Path to a Transition; 6.2 Reducing a Place-Bordered Path to a Place; 6.3 Reducing a Place-Bordered Subnet to a Place; 6.4 Application Examples; 7. Place-Merging Operators for Resource Sharing; 7.1 Merging Arbitrary Sets of Places

7.2 Merging Sets of Non-Neighboring Places7.3 Composition via Merging Multiple Pairs of Places; 7.4 Composition via Merging Two Single Places; 7.5 Application; 8. Application of PPPA to Component-Based Design of Manufacturing Systems; 8.1 Background and Motivation; 8.2 Summary of Applying PPPA to Component-Based Approach; 8.3 Application of PPPA to Manufacturing System Design; 8.3.1 Creating the primitive modules; 8.3.2 Creating the system model; 8.3.3 Verifying the system model; 9. Application of PPPA to Multi-Agent System Design; 9.1 Background and Motivation

9.2 PPPA-Based Methodology for Designing Multi-Agent Systems9.2.1 Summary of our methodology for designing MAS; 9.2.2 Specifying the modules as Petri net processes (Substep 1.1 in Section 9.2.1); 9.2.3 Integrating the modules of the CLINIC (Substep 1.2 in Section 9.2.1); 9.2.4 Specification of the entire MAS (Step 2 described in Section 9.2.1); 9.3 Verifying the MAS (Step 3 Described in Section 9.2.1); 9.4 Remarks; 10. Application of PPPA to Job-Shop Scheduling Systems; 10.1 Background and Motivation; 10.2 JSS System Design and Makespan Calculation

10.3 JSS Design and Optimization A Case Study

Notes:

Description based upon print version of record.

Includes bibliographical references.

ISBN:

9786613646200

9781280669279

1280669276

9789814324298

9814324299

OCLC:

789546490