Hybrid parallel execution model for logic-based specification languages /
Parallel processing is a very important technique for improving the performance of various software development and maintenance activities. The purpose of this book is to introduce important techniques for parallel executation of high-level specifications of software systems. These techniques are ve...
Saved in:
Main Authors: | |
---|---|
Corporate Authors: | |
Group Author: | |
Published: |
World Scientific Pub. Co.,
|
Publisher Address: | Singapore : |
Publication Dates: | 2001. |
Literature type: | eBook |
Language: | English |
Series: |
Series on software engineering and knowledge engineering ; v. 10 |
Subjects: | |
Online Access: |
http://www.worldscientific.com/worldscibooks/10.1142/4242#t=toc |
Summary: |
Parallel processing is a very important technique for improving the performance of various software development and maintenance activities. The purpose of this book is to introduce important techniques for parallel executation of high-level specifications of software systems. These techniques are very useful for the construction, analysis, and transformation of reliable large-scale and complex software systems. |
Carrier Form: | 1 online resource (xii,214pages) : illustrations. |
Bibliography: | Includes bibliographical references (pages 203-212) and index. |
ISBN: | 9789812797964 |
CLC: | TP303 |
Contents: | 1. Introduction -- 2. Current approaches. 2.1. Data dependency analysis. 2.2. OR-parallelism. 2.3. AND-parallelism. 2.4. Backtracking -- 3. Overview of the new approach. 3.1. Non-monotonic inheritance expansion. 3.2. Static data dependency analysis. 3.3. Automatic transformation. 3.4. Hybrid AND-OR parallel execution. 3.5. Simplified OR-parallel model. 3.6. Backtracking elimination -- 4. FRORL requirements specification language and its decomposition. 4.1. Knowledge representation through object-oriented model. 4.2. The modeling primitives of FRORL. 4.3. Decomposition of a FRORL requirements specification -- 5. Rewriting and data dependency, control flow analysis of a logic-based specification. 5.1. Rewriting of a logic-based specification. 5.2. Data dependency and control flow analysis -- 6. Hybrid AND-OR parallelism implementation. 6.1. The usage of mode information in the parallel model. 6.2. AND-OR parallel execution. 6.3. Synchronization in OR-Parallel execution model. 6.4. Calculation of the currently executable predicate set. 6.5. Hybrid execution algorithm. 6.6. Comparison with the conventional BFS and DFS. 6.7. Advantages of the new approach. 6.8. Analysis of non-functional requirements in the new parallel execution model -- 7. Efficiency considerations and experimental results. 7.1. Execution evaluation. 7.2. Communication evaluation. 7.3. Criteria for simulation and evaluation. 7.4. A simulator for parallel logic-based specification evaluation. 7.5. Experimental results and comparison -- 8. Mode information support for automatic transformation system. 8.1. Architecture of a logic-based specification transformation system. 8.2. Determination of control sequence. 8.3. Data type generation and procedural function formation. 8.4. -- 9. Describing non-functional requirements in FRORL. 9.1. Functional requirements vs. non-functional requirements. 9.2. Issues in non-functional requirements. 9.3. Non-functional requirements modeling in FRORL. 9.4. Adjusting non-functional requirements -- 10. Summary. |