VENUS CODE
GENERATION TOOL
Introduction
Venus is an experimental Computer-Aided Software Engineering (CASE)
tool that supports automatic synthesis of complete, fully functional and
bug-free C++ code from Object-Oriented analysis/design models. Venus aims to
substantially automate the construction phase of Object-Oriented software
development lifecycle, which includes detail design, coding, debugging and testing.
It intends to significantly reduce the software construction effort and
cost, shorten the development cycle, and lower fault rates.
Venus adopts an Object-Oriented modeling notation based on the popular
Object-Oriented analysis/design methodology -- the Unified Modeling Language
(UML). Althouth UML is fairly comprehensive and precise in many aspects, it
leaves data types and the details of operations unspecified, or specified informally.
In order to accomplish substantial automation, it is necessary to augment
UML with complete and formal data and operation specifications.
The key difference between Venus and other Object-Oriented CASE tool that
support code generation, such as Rational RRose and Select-OMT, is the
significantly higher level and more extensive scope of automation provided
by Venus, which increases not only productivity but also reliability and
robustness of software systems being developed.
The key components of Venus include:
- An analyzer to perform extensive analysis on the Object-Oriented design
models;
- An animator to animate the Object-Oriented design models and demonstrate
the system behaviors;
- A code synthesizer to synthesize and optimize code from the Object-Orientesd
design models.
Documentation
The documentation for VENUS tool includes a tutorial and a white paper and a technical paper. All of them are available online as follows:
- A User's Guide for VENUS:
- The technical paper: A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development.
- A technical paper with the title: Code Synthesis Based on O-O Design Models
and Formal Specifications.
- The white paper: Venus, An Object-Oriented Development Tool.
These documents, soon, will be available in HTML format too.
Download site
The platforms supported are listed below. For each one of these, the complete set of files for VENUS tool, which includes examples, documentation files and precompiled executables can be downloaded by clicking one of the links: (NOTE: The software is not currently available, it will be very soon)
Please, when you download the tool, fill in the electronic registration form
and submit it, so you can receive automatically any information regarding
updates, bug fixes etc. The registration form can be found in Registration page.
Contact Info
For further information ot if you wish to contact us, please send an email to fm@saturn.cs.depaul.edu
Back to Group Page |
SE Home
webmaster@saturn.cs.depaul.edu
Updated on Feb 25, 1998