H ? « ‹ ← → › »

Language peer sets for SEGRAS:
Germany↑
Germany/1985↑
Designed 1985 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

SEGRAS(ID:5834/seg001)

alternate simple view
Country: Germany
Designed 1985

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. (1981) Krämer, B.; Schmidt, H.W. "Der Entwurf nebenläufiger Systeme mit Handlungs-Entscheidungs-Netzen" pp460-471
          in (1981) 11 GI-Jahrestagung, München, Informatik Fachberichte 50, Springer-Verlag, 1981
  • Krämer, B.; Schmidt, H.W. (1981) Krämer, B.; Schmidt, H.W. "Interactive Software Development by Stepwise Formalisation" pp134-143
          in [ACM] (1981) Proceedings of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981
  • Krämer, B.; Schmidt, H.W. (1982) 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.
          in [ACM] (1981) Proceedings of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981
  • Krämer, B. (1984) 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.
          in [ACM] (1981) Proceedings of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981
  • Krämer, B. (1984) 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.
          in [ACM] (1981) Proceedings of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981
  • Krämer, B. (1984) 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.
          in [ACM] (1981) Proceedings of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981
  • Krämer, B. (1985) 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.
          in [ACM] (1981) Proceedings of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981
  • Krämer, B.; Schmidt, H.W. (1985) 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.
          in [ACM] (1981) Proceedings of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981
  • Krämer, B.; Schmidt, H.W. (1985) Krämer, B.; Schmidt, H.W. "The SEGRAS Syntax" Gesellschaft für Mathematik und Datenverarbeitung mbH., St. Augustin, Arbeitspapiere der GMD No. 189, 1985.
          in [ACM] (1981) Proceedings of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981
  • Krämer, B. (1986) 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
          in [ACM] (1981) Proceedings of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981
  • Krämer, B. (1986) Krämer, B. "Interactive Graphical Specification Using the Syntax-Directed SEGRAS Lab" Vol 2, pp420-429
          in [Proceedings] (1986) Proceedings of the Hawaii International Conference on System Sciences, January 1986
  • Krämer, B. (1986) 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.
          in [Proceedings] (1986) Proceedings of the Hawaii International Conference on System Sciences, January 1986
  • Krämer, B. (1987) 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.
          in [Proceedings] (1986) Proceedings of the Hawaii International Conference on System Sciences, January 1986
  • Krämer, B.; Schmidt, H.W. (1987) 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.
          in [Proceedings] (1986) Proceedings of the Hawaii International Conference on System Sciences, January 1986
  • Krämer, B. (1989) 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. Abstract
          in [Proceedings] (1986) Proceedings of the Hawaii International Conference on System Sciences, January 1986
  • Krämer, B. (1990) Krämer, B. "SEGRAS. The Specification Language of the GRASPIN Environment. Language Reference Manual" ESPRIT Project 125, GRASPIN, 1990. Abstract
          in [Proceedings] (1986) Proceedings of the Hawaii International Conference on System Sciences, January 1986
  • Schmidt, Heinz W. (1990) 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 Abstract
          in [Proceedings] (1986) Proceedings of the Hawaii International Conference on System Sciences, January 1986
  • Schmidt, Heinz W. (1990) 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
          in [Proceedings] (1986) Proceedings of the Hawaii International Conference on System Sciences, January 1986
  • Krämer, Bernd (1991) 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 Abstract
          in [Proceedings] (1986) Proceedings of the Hawaii International Conference on System Sciences, January 1986
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder