Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Architecture and functionality of a specification environment for distributed software

 
: Krämer, B.; Schmidt, H.-W.

:

Knafl, G.J. ; IEEE Computer Society:
COMPSAC 90, the Fourteenth Annual International Computer Software & Applications Conference 1990. Proceedings : Chicago, Illinois, October 31 - November 2, 1990
Los Alamitos, Calif.: IEEE Computer Society Press, 1990
ISBN: 0-8186-2054-4
ISBN: 0-8186-6054-6
ISBN: 0-8186-9054-2
pp.617-622
International Computer Software and Applications Conference (COMPSAC) <14, 1990, Chicago/Ill.>
English
Conference Paper
Fraunhofer GMD
formal specification; abstract data type; petri net

Abstract
A description is given of Graspin, a workstation-based prototype environment that aids in the incremental construction, verification, and prototyping of specifications for concurrent and distributed software systems. It includes a Petri net-based specification formalism, an editor generator with graphical capabilities, and tools for static semantics checking, automated verification of static and dynamic properties of specifications, and specification-based prototyping. The Graspin architecture and kernel environment have shown their flexibility in the development of a prototype environment supporting the formal specification language SEGRAS. It was necessary to extend the kernel by semantic tools such as type checker and net simulator and to integrate separately developed tools such as the rewrite rule subsystem into a coherent environment. New Graspin features include a graphical refinement method and a multi-level net animation technique.

: http://publica.fraunhofer.de/documents/N-40320.html