SEGRAS(ID:5834/seg001)

Petri-net-based Language for writing formal specifications of concurrent and distributed systems (non-sequential)
Predicate-Event nets (PrE-nets), a class of Petri nets
part of the GRASPIN system
References:
  • Krämer, B.; Schmidt, H.W. "Der Entwurf nebenläufiger Systeme mit Handlungs-Entscheidungs-Netzen" pp460-471 view details
          in 11 GI-Jahrestagung, München, Informatik Fachberichte 50, Springer-Verlag, 1981 view details
  • Krämer, B.; Schmidt, H.W. "Interactive Software Development by Stepwise Formalisation" pp134-143 view details
          in Proceedings of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981 view details
  • Krämer, B.; Schmidt, H.W. "A High Level Net Language for Stepwise Modeling of Organizational Systems" In: Wedde, H.: Adequate Modeling of Systems: Proc. of the Int. Working Conf. on Model Realism, Bad Honnef, April 20--23, 1982, pages 156-170. Springer-Verlag, 1983. view details
          in Proceedings of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981 view details
  • Krämer, B. "Formal and Semi-Graphic Specification of Non-Sequential Systems" 2: ESPRIT Project 125 - GRASPIN; Technical Paper GMD 12. St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH, September 1984. view details
          in Proceedings of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981 view details
  • Krämer, B. "Stepwise Construction of Non-Sequential Software Systems Using a Net Based Specification Language" Gesellschaft für Math. und Datenverarbeitung mbH Bonn, GRASPIN Technical Papers GMD 17/1, September 1984. view details
          in Proceedings of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981 view details
  • Krämer, B. "Stepwise Construction of Non-Sequential Software Systems Using a Net Based Specification Language" in: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 188: Advances in Petri Nets 1984, pages 307-330. Springer-Verlag, 1985. view details
          in Proceedings of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981 view details
  • Krämer, B. "Interactive Graphical Specification in a Syntax-Directed Environment: The SEGRAS-lab-experience" Gesellschaft für Mathematik und Datenverarbeitung mbH, St. Augustin, Esprit Projekt 125, GRASPIN, Technical Paper No. GMD 25/2, 1985. view details
          in Proceedings of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981 view details
  • Krämer, B.; Schmidt, H.W. "The SEGRAS Specification Language: Conceptual Overview" Gesellschaft für Mathematik und Datenverarbeitung mbH, Bonn, Arbeitspapiere der GMD No. 191, November 1985. view details
          in Proceedings of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981 view details
  • Krämer, B.; Schmidt, H.W. "The SEGRAS Syntax" Gesellschaft für Mathematik und Datenverarbeitung mbH., St. Augustin, Arbeitspapiere der GMD No. 189, 1985. view details
          in Proceedings of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981 view details
  • Krämer, B. "Die Spezifikations- und Entwurfsprache SEGRAS" In: Handbuch der modernen Datenverarbeitung, Heft 130: Formale Methoden in der Systementwicklung, pages 107-116. Forkel-Verlag, July 1986 view details
          in Proceedings of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981 view details
  • Krämer, B. "Interactive Graphical Specification Using the Syntax-Directed SEGRAS Lab" Vol 2, pp420-429 view details
          in Proceedings of the Hawaii International Conference on System Sciences, January 1986 view details
  • Krämer, B. "SEGRAS: the GRASPIN Specification Language - Preliminary Reference Manual" 2: ESPRIT Project 125 - GRASPIN; Technical Paper GMD 26. St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH, July 1986. view details
          in Proceedings of the Hawaii International Conference on System Sciences, January 1986 view details
  • Krämer, B. "SEGRAS: A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types in the Specification of Distributed Systems" in: Proc. of the 9th Int. Conf. on Software Engineering, pages 116-125. Washington: IEEE Computer Society Press, 1987. view details
          in Proceedings of the Hawaii International Conference on System Sciences, January 1986 view details
  • Krämer, B.; Schmidt, H.W. "Types and Modules for Net Specifications" In: Voss, K.; Genrich, H.J.; Rozenberg, G.: Concurrency and Nets - Advances in Petri Nets, pages 269-286. Berlin: Springer-Verlag, 1987. view details
          in Proceedings of the Hawaii International Conference on System Sciences, January 1986 view details
  • Krämer, B. "Concepts, Syntax and Semantics of SEGRAS. A Specification Language for Distributed Systems" Berichte der Gesellschaft für Mathematik und Datenverarbeitung mbH (GMD) Nr. 179 München: Oldenbourg, 1989. view details 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.

          in Proceedings of the Hawaii International Conference on System Sciences, January 1986 view details
  • Krämer, B. "SEGRAS. The Specification Language of the GRASPIN Environment. Language Reference Manual" ESPRIT Project 125, GRASPIN, 1990. view details 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.
          in Proceedings of the Hawaii International Conference on System Sciences, January 1986 view details
  • Schmidt, Heinz W. "Analysis of Petri Nets in the GRASPIN Environment" ESPRIT Project 125 - GRASPIN; Technical Paper GMD 41/1 --- St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH Mar, 1990 view details Abstract: The specification language SEGRAS is centred on Predicat-Event nets (PrE nets), a class of Petri nets whose data and behavioural invariants are defined using algebraic specifications. The paper focuses on the analysis metods developed for these nets --- PrE nets inherit from the algebraic theory of abstract data types and from net theory. From the side of algebraic specification notions like the modular decomposition and completeness carry over to PrT nets; from the net-theoretic side theorems and methods for the analysis of behavioural properties are applicable to PrE nets. Here in particular the author considers net transformations and decomposition methods.
          in Proceedings of the Hawaii International Conference on System Sciences, January 1986 view details
  • Schmidt, Heinz W. "Prototyping and Analysis of Non-Sequential Systems Using Predicate-Event Nets" Technical Report 90--020 --- Berkeley, Calif., USA: International Computer Science Institute (ICSI) May, 1990 Journal of Systems and Software, Vol. 15, No. 1 Apr, 1991 Pp43-62 view details
          in Proceedings of the Hawaii International Conference on System Sciences, January 1986 view details
  • Krämer, Bernd "Introducing the GRASPIN Specification Language SEGRAS" In: The Journal of Systems and Software, Vol. 15, No. 1, pages 17-31. April 1991 view details 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.


          in Proceedings of the Hawaii International Conference on System Sciences, January 1986 view details