In: The Journal of Systems and Software, Vol. 15, No. 1, pages 17-31. April 1991.
Abstract: SEGRAS is a language for writing formal specifications of concurrent and distributed systems. It integrates algebraic specifications, high-level Petri net specifications, and a sort of parametric polymorphism. Interactive construction and formal analysis of SEGRAS specifications is supported by a collection of tools integrated in the GRASPIN environment. This article illustrates some salient features of the language through examples and discusses methodological issues concerned with constructing, analyzing, and executing SEGRAS specifications with the aid of the GRASPIN environment.
Keywords: GRASPIN specification language SEGRAS; concurrent, distributed systems; algebraic specification (of) abstract data type; high-level net; parametric polymorphism; specification tool.