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