This project is an application software system providing a graphical interface to PAISLey. PAlSLey (Process Oriented. Applicative. Interpretable Specification Language) is an executable specification language developed at AT&T Bell Labs to model real-time systems. The interface provides the user with a tool to graphically depict a real-time system. The graphics package, called PyGraph, has been implemented on a Sun 3 in a multi-window environment. While developing a graphic, PyGraph generates a PAISLey specification template for the graphic image. The template is filled out by the user with assistance provided by PyGraph
