LEADER 04618nam 2200637Ia 450 001 9910453552703321 005 20200520144314.0 010 $a981-279-796-3 035 $a(CKB)1000000000538120 035 $a(EBL)1679598 035 $a(SSID)ssj0000175456 035 $a(PQKBManifestationID)11177645 035 $a(PQKBTitleCode)TC0000175456 035 $a(PQKBWorkID)10190292 035 $a(PQKB)11088534 035 $a(MiAaPQ)EBC1679598 035 $a(WSP)00004242 035 $a(Au-PeEL)EBL1679598 035 $a(CaPaEBR)ebr10255649 035 $a(CaONFJC)MIL505472 035 $a(OCoLC)879023835 035 $a(EXLCZ)991000000000538120 100 $a20011101d2001 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aHybrid parallel execution model for logic-based specification languages$b[electronic resource] /$fJeffrey J.P. Tsai, Bing Li 210 $aSingapore ;$aNew Jersey $cWorld Scientific$dc2001 215 $a1 online resource (228 p.) 225 1 $aSeries on software engineering and knowledge engineering ;$vv. 10 300 $aDescription based upon print version of record. 311 $a981-02-4096-1 320 $aIncludes bibliographical references and index. 327 $aContents; 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 327 $a5 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 327 $a6.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 327 $a8.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 330 $aParallel 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 410 0$aSeries on software engineering and knowledge engineering ;$vv. 10. 606 $aComputer hardware description languages 606 $aSystem design 608 $aElectronic books. 615 0$aComputer hardware description languages. 615 0$aSystem design. 676 $a004.35 700 $aTsai$b Jeffrey J.-P$0864106 701 $aLi$b Bing$f1960-$0982087 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910453552703321 996 $aHybrid parallel execution model for logic-based specification languages$92241360 997 $aUNINA