Berichte der Gesellschaft für Mathematik und Datenverarbeitung mbH (GMD) Nr. 179, pages 1-185 pp.. München: Oldenbourg, 1989. In German.
Abstract: A new language for writing, testing, and analyzing formal specifications of distributed software systems is presented. The language, called SEGRAS, 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. To support the construction of new system specifications from given ones, the algebraic concept of combination is extended by a construction on behavior components. It allows the behaviors of constituent subsystems to be synchronized or composed to new alternative courses of behavior.
Keywords: SEGRAS specification language; distributed systems; algebraic specification; abstract data type; high level net.