An environment for specifying an executing hierarchical Petri nets
ICSE '90 Proceedings of the 12th international conference on Software engineering
A general explanation component for conceptual modeling in CASE environments
ACM Transactions on Information Systems (TOIS)
Hi-index | 0.00 |
This paper describes a prototype system, Teamwork/ES™, that executes a real-time structured analysis specification in an interactive, intuitive, and graphical manner. The approach has been to integrate the work as an extension of an accepted real-time analysis environment. This integrated, graphical system is different from previous textual or tool-kit systems, and offers a natural way of simulating system specifications. The system can also perform dynamic reachability tests and deadlock detection. Additionally, the execution is run orthogonally to the viewing and editing of analysis objects.