Re-Vision: a methodology and tool for parallel computations

Describes Re-Vision, a software engineering methodology and a supporting computer environment for parallel computations based on the behaviour-oriented formalism. A key feature provided by the environment is support for multiple views of the problem. Two levels of data transformation are supported: metamodeling and modeling. At the metamodeling level, methods used to construct different views of a given problem are specified. At the modeling level, tools to build different models for a given problem are introduced. In the Re-Vision environment, a set of computerized tools support data transformations from methods to metamodels and models. The Re-Vision environment thus provides a complexity reduction of the data transformation and user interfaces between different tools for the design and analysis of parallel computations. >