Author Li, Bing
Title Hybrid Parallel Execution Model For Logic-based Specification Languages
Imprint Singapore : World Scientific Publishing Company, 2001
©2001
book jacket
Descript 1 online resource (228 pages)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Series Series On Software Engineering And Knowledge Engineering ; v.10
Series On Software Engineering And Knowledge Engineering
Note Intro -- 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 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 System
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
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 Logic-Based Specification; Hybrid and-or Parallelism Implementation; Efficiency Considerations and Experimental Results; Mode Information Support for Automatic Transformation System; Describing Non-Functional Requirements in FRORL. Readership: Graduate students, engineers and researchers in computer science
Description based on publisher supplied metadata and other sources
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2020. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries
Link Print version: Li, Bing Hybrid Parallel Execution Model For Logic-based Specification Languages Singapore : World Scientific Publishing Company,c2001 9789810240967
Subject Computer hardware description languages.;System design
Electronic books
Alt Author Tsai, Jeffrey J P
Bing Li,