PROMPT
PROMPT is a tool for implementation of protocols and other applications from a high-level Petri Net language into C-code.
- Environment:
- SUN Workstation (with Unix + SunView or X-Windows), VAX/VMS (with Curses), MS-DOS
- Origin:
- Telecom Research Laboratories and Unico Computer Systems Pty Ltd, Victoria, Australia
- Kind of Nets supported:
- High-Level Petri Nets
- Functionalities:
- PROMPT provides the following components:
- a compiler which translates nets which have been expressed in XNL (eXtended Net Language), into C-code
- XDB, a full screen symbolic debugger, which allows debugging to be performed on the protocol specification (expressed in XNL)
- SCI (System Control Interface), an interface for studying and controlling net execution (SIMULATION)
- LFA (Log File Analyzer), a stand-alone utility for reading and formatting log files created during SCI runs
- a set of libraries which provide non-net functions as submodules
- facilities for the user to incorporate his own C-code, to debug nets and to analyze running efficiency
- a collection of benchmark nets which exercise the system to allow quantitative comparisons
- Availability:
- POLICY: price negotiable on application, research license available to universities
- CONTACT Michael Palmer or Ken Parker
- References:
- Unico Computer Systems: PROMPT System User Manual [ucs91]
- K. R. Parker: The PROMPT automatic implementation tool - Initial impressions [par90]
- Notes:
- PROMPT has been evolved from the PROTEAN tool and is a component of FORSEE
