LEADER 00000nam a22004813i 4500
001 EBC1679598
003 MiAaPQ
005 20200713055302.0
006 m o d |
007 cr cnu||||||||
008 200713s2001 xx o ||||0 eng d
020 9789812797964|q(electronic bk.)
020 |z9789810240967
035 (MiAaPQ)EBC1679598
035 (Au-PeEL)EBL1679598
035 (CaPaEBR)ebr10255649
035 (CaONFJC)MIL505472
035 (OCoLC)879023835
040 MiAaPQ|beng|erda|epn|cMiAaPQ|dMiAaPQ
050 4 TK7885.7.T73 2001
082 0 621.39
100 1 Li, Bing
245 10 Hybrid Parallel Execution Model For Logic-based
Specification Languages
264 1 Singapore :|bWorld Scientific Publishing Company,|c2001
264 4 |c©2001
300 1 online resource (228 pages)
336 text|btxt|2rdacontent
337 computer|bc|2rdamedia
338 online resource|bcr|2rdacarrier
490 1 Series On Software Engineering And Knowledge Engineering ;
|vv.10
505 0 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
505 8 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
520 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
588 Description based on publisher supplied metadata and other
sources
590 Electronic reproduction. Ann Arbor, Michigan : ProQuest
Ebook Central, 2020. Available via World Wide Web. Access
may be limited to ProQuest Ebook Central affiliated
libraries
650 0 Computer hardware description languages.;System design
655 4 Electronic books
700 1 Tsai, Jeffrey J P
700 1 Bing Li,
776 08 |iPrint version:|aLi, Bing|tHybrid Parallel Execution
Model For Logic-based Specification Languages|dSingapore :
World Scientific Publishing Company,c2001|z9789810240967
830 0 Series On Software Engineering And Knowledge Engineering
856 40 |uhttps://ebookcentral.proquest.com/lib/sinciatw/
detail.action?docID=1679598|zClick to View
