new@udel.edu (Darren New) (01/09/90)
Archive-name: grope/release
Original-posting-by: new@udel.edu (Darren New)
Original-subject: Graphical Representation of Protocols in Estelle
Archive-site: louie.udel.edu [128.175.1.3]
Archive-directory: pub
Archive-files: Grope.tar.Z
Reposted-by: emv@math.lsa.umich.edu (Edward Vielmetti)
University of Delaware is pleased to announce the availability of
GROPE - Graphical Representations of Protocols in Estelle
GROPE (Graphical representation of protocols in Estelle) is a tool for
graphically animating the dynamic execution of an Estelle formal specification.
Developed in Smalltalk-80 and based on a SUN 3/110 workstation, GROPE is a
window-based system that pictorially represents a protocol's architecture,
animates transitions firing and the exchange of interactions between modules,
graphically displays a module's extended finite state machine and the
changing of states, and so on.
It is expected that the GROPE tool will assist the original protocol specifier
in the design and debugging process, promote faster understanding of a
protocol by those using it for the first time, and facilitate the development
of effective test scenarios.
This message is being sent to all participants of Forte '89 with
an EMail address in the participants listing. Please feel free
to distribute this message, as well as GROPE itself, to any interested
parties.
GROPE runs on Sun-3s, Sun-4s, Macintoshes, IBM PCs, and others (tm's).
It requires ParcPlace Smalltalk-80(tm) and works best with NIST's WISE
interpreter. Full details of system requirements may be found in
the Grope-Readme file.
GROPE is available from anonymous FTP at louie.udel.edu in the pub directory
in the file Grope.tar.Z. This is a tar file which has been compressed with
the UNIX(tm) compress utility.
That is,
% ftp louie.udel.edu (or ftp 128.175.1.3)
login: anonymous
ftp> binary
ftp> cd pub
ftp> get Grope.tar.Z
ftp> bye
% uncompress Grope.tar.Z
% tar xvf Grope.tar
% more Grope-Readme
If you have any comments, questions, problems, or suggestions for improvement,
please feel free to contact us at GROPE@UDEL.EDU or USA phone number
(302) 451-8013 (Darren New) or (302) 451-1944 (Paul Amer, CIS dept).
GROPE can also be obtained by those without FTP access: contact us.
Our mailing address is
Paul Amer
c/o Department of Computer and Information Science
103 Smith Hall
University of Delaware
Newark, DE 19716
FAX: 302-451-8000
A complete description of GROPE is scheduled to appear in
Information Software and Technology
tentatively scheduled for April of 1990 under the title
"Adding Graphics and Animation to Estelle"
This paper can also be made available to those who request it.
Thank you for your time. -- Darren New (new@udel.edu)