Hybrid Parallel Execution Model for Logic-based Specification Languages
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Overview of the New Approach
FRORL Requirements Specification Language and Its Decom
Rewriting and Data Dependency Control Flow Analysis of
Hybrid ANDOR Parallelism Implementation
Efficiency Considerations and Experimental Results
Mode Information Support for Automatic Transformation Syst
Describing NonFunctional Requirements in FRORL
Other editions - View all
activity frame algorithm AND-OR parallelism AND-OR tree AND-parallelism arguments backtracking bottom-up branches built-in predicates clause body clause head communication cost current approaches CurSlot data dependency analysis data dependency matrix data flow analysis decomposition deep jumping defined Degree of Paral delay-for-0.5-seconds Error Rate example EXEC set execution behavior execution sequence expanded fact clauses flow and dependency four-party-semisel-iddigit-call(A1 FRORL specification Horn-clause logic-based specification hybrid Image(F input Integer A1 literal logic program mode combinations mode information non-functional requirements non-monotonic inheritance Nondeterminism object frame operations OR-branches parallel execution model parameters partial evaluation party-line-type precond predicates Rate Change Rate Improvement Ratio of Locality Related Rate reverting-call reverting-call(A1 ringing(A1 ringing(X rule search tree Searched O 24 sequential simulator static data dependency Static Overhead synchronization data structure TEST RESULTS top-down trm1 Ttl Com Cost Ttl CPU Rounds Ttl Evalu Ttl Node Searched Ttl Wt wait-for-disconnect(A1 Wt Com Cst