Hybrid Parallel Execution Model for Logic-based Specification Languages

Front Cover
World Scientific, 2001 - Computers - 228 pages
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.

Contents

Introduction
1
Current Approaches
7
Overview of the New Approach
13
FRORL Requirements Specification Language and Its Decom
21
Rewriting and Data Dependency Control Flow Analysis of
53
Hybrid ANDOR Parallelism Implementation
89
Efficiency Considerations and Experimental Results
107
Mode Information Support for Automatic Transformation Syst
161
Describing NonFunctional Requirements in FRORL
185
Summary
201
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information