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.<<ETX>>

[1]  Ian J. Hayes,et al.  Specification case studies , 1987 .

[2]  Giorgio Bruno,et al.  PROTOB: An object‐oriented case tool for modelling and prototyping distributed systems , 1991, Softw. Pract. Exp..

[3]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[4]  Richard M. Karp,et al.  Turing award lecture , 1985, ACM '85.

[5]  Charles Lakos,et al.  Modelling layered protocols in LOOPN , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[6]  Wolfgang Reisig,et al.  Petri Nets: Central Models and Their Properties , 1986, Lecture Notes in Computer Science.

[7]  Kurt Jensen Coloured Petri nets: A high level language for system design and analysis , 1989, Applications and Theory of Petri Nets.

[8]  Wanli Ma,et al.  Graphical assistance in parallel program development , 1994, Proceedings of 1994 IEEE Symposium on Visual Languages.

[9]  Rob Esser,et al.  A distributed simulator for high order Petri nets , 1989, Applications and Theory of Petri Nets.

[10]  Robin Milner,et al.  Elements of interaction: Turing award lecture , 1993, CACM.

[11]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[12]  Wolfgang Reisig Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[13]  Dirk Taubner,et al.  On the Implementation of Petri Nets , 1988, European Workshop on Applications and Theory of Petri Nets.