To jest stara wersja strony!
VARDA
Introduction
VARDA - the Visual ARD Rapid Development Alloy - is a rapid prototyping environment for ARD+, built with use of the SWI-Prolog environment for the knowledge base building, and Graphviz tool for an on-line design visualization.
These tools are combined by the Unix environment, where the ImageMagick tool provides an instant visualization of the prototype at any design stage.
Introduction
During the design process the ARD model grows. This growth is expressed by consecutive diagram levels, making the design more and more specific. This constitutes the hierarchical model.
The implementation of such hierarchical model is provided through storing the lowest available, most detailed diagram level at any time, and additional information needed to recreate all of the higher levels, the so-called Transformation Process History (TPH).
It captures information about changes made to properties at consecutive diagram levels. These changes are carried out through the transformations: split or finalization.
Prolog prototype
Prolog prototype
Figure 1: Prolog prototype architecture
Prolog prototype