“Non notationes, sed notiones” (Not Notations, but Notions)
            - Carl Friedrich Gauss                                              

P R O J E C T

This project aims to implement the "PSpec" language and tools to enable automation of checking the performance properties of a complex system.

B A C K G R O U N D

This project's theory comes from the doctoral thesis of Dr.Sharon Perl.

The original paper was slightly improved at 1992 version Then the author went on to work at DEC SRC to generate the following report with a colleague 1993 Joint Version The notion of continous monitoring came in its final polished form at 1998 CMon Version Any of these papers is a treat to understand the concepts we are trying to implement in this project.

P U R P O S E

  It is easier to write specifications than programs. Programs will not necessarily be understood by anyone but their implementors.

  Ad hoc log processing programs tend to get out of date with respect to the system and cannot be used throughout the lifetime of the system.

  Specifcations written in a special-purpose language will be easier to read.

C O M M E N T S

 Please mail me pganti@users.sourceforge.net for any questions