| Document Type
|
:
|
BL
|
| Record Number
|
:
|
1005287
|
| Doc. No
|
:
|
b759657
|
| Main Entry
|
:
|
Tsai, Jeffrey J.-P.
|
| Title & Author
|
:
|
Hybrid parallel execution model for logic-based specification languages /\ Jeffrey J.P. Tsai, Bing Li.
|
| Publication Statement
|
:
|
Singapore ;New Jersey :: World Scientific,, ©2001.
|
| Series Statement
|
:
|
Series on software engineering and knowledge engineering ;; v. 10
|
| Page. NO
|
:
|
1 online resource (xii, 214 pages) :: illustrations
|
| ISBN
|
:
|
9789812797964
|
|
|
:
|
: 9812797963
|
|
|
:
|
9789810240967
|
|
|
:
|
9810240961
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index.
|
| 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 Specification5.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 Model7 Efficiency Considerations and Experimental Results; 7.1 Execution Evaluation; 7.2 Communication Evaluation; 7.3 Criteria for Simulation and Ealuation; 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 Intelligent Backtracking for Transformation System9 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
|
| Abstract
|
:
|
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. Contents: Current Approaches; Overview of the New Approach; FRORL Requirements Specification Language and Its Decomposition; Rewriting and Data Dependency, Control Flow Analysis of a Lo.
|
| Subject
|
:
|
Computer hardware description languages.
|
| Subject
|
:
|
System design.
|
| Subject
|
:
|
Computer hardware description languages.
|
| Subject
|
:
|
COMPUTERS-- Computer Engineering.
|
| Subject
|
:
|
COMPUTERS-- Hardware-- General.
|
| Subject
|
:
|
COMPUTERS-- Machine Theory.
|
| Subject
|
:
|
System design.
|
| Dewey Classification
|
:
|
621.39/2
|
| LC Classification
|
:
|
TK7885.7.T73 2001eb
|
| Added Entry
|
:
|
Li, Bing,1960-
|