ESPRIT Project 125, GRASPIN, 41 pp. pages, 1990.
Abstract: SEGRAS is a new specification language for writing, testing, and analyzing formal specifications of nonsequential and distributed software systems. The language treats data abstractions with states and state-dependent operations that can dynamically create new data objects and concurrently modify their properties. The language was developed at GMD and is based on a well-engineered integration of algebraic specifications and Petri nets. The data objects on which a system operates concurrently are specified as partial abstract data types, while dynamic behavior is specified graphically by means of high-level Petri nets. This report is a reference manual for Version 1 of the SEGRAS language.
Keywords: SEGRAS specification language; SEGRAS reference manual; specification language (of the) GRASPIN environment; abstract data type; high level net.