In this section we illustrate the usefulness of our visual feedback strategy and the power of the modeling language. The examples will include the use of logical time, and integrated query facilites and the incremental dynamic attribute calculation. We describe four sample debugging session with Ave/Ariadne prototype.