ViBBA: A Toolbox for Automatic Model Driven Animation

Animation of critical system behaviors is useful at the very earlystages of systems development to better understand models and requirements,to gain confidence that specifications capture informal requirements,and to detect faults. Automatic model driven animation consists ina automatically deriving scenarios corresponding to criticalsystem behaviors from requirements specifications, and (b) animatingthose scenarios through a graphical interface. In this paper, we present ViBBA (Visual Bean Based Animator), a toolboxfor visually building graphical animator and animate scenarios. ViBBAis integrated with the ATGT tool to automatically generate scenariousfrom specifications.