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.
Library of Congress Subject Headings
Software engineering; Computer graphics--Computer programs; Computer interfaces
Department, Program, or Center
Computer Science (GCCIS)
Willison, Richard, "PyGraph: a graphic front-end for the PAISLey executable specification language" (1987). Thesis. Rochester Institute of Technology. Accessed from
RIT – Main Campus