A graphical tool for the design and prototyping of distributed systems-Reference-Cited by-同舟云学术

A graphical tool for the design and prototyping of distributed systems

Published:1987-07 Issue:3 Volume:12 Page:25-36
ISSN:0163-5948
Container-title:ACM SIGSOFT Software Engineering Notes
language:en
Short-container-title:SIGSOFT Softw. Eng. Notes

Author:

Dähler J.¹,Gerber P.¹,Gisiger H.-P.¹,Kündig A.¹

Affiliation:

1. Institut fur Elektronik, Fachgruppe Systemtechnik, Federal Institute of Technology, ETH, ZUrich (Switzerland)

Abstract

This paper presents an approach of using modem graphical user interface techniques in the design and specification of complex distributed systems. A window-oriented and menu-driven net-editor and an integrated simulator with animation support have been implemented. This toolset is based on high-level Petri Nets, extended with an object-oriented paradigm and a hierarchical structuring facility. The flexibility and high level of abstraction support Rapid Prototyping.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/29934.29938

Reference17 articles.

1. Lecture Notes in Computer Science;PSI,1984

2. Notations and Terminology on Patri Net Theory;Best E.;Petri Net Newsletter,1986

3. [ 3 ] Meta Software: Design. User's manual 1986. [3] Meta Software: Design. User's manual 1986.

4. Tools for Petri Nets;Feldbrugge F.;Petri Net Newsletter,1985

5. [ 5 ] H. Genrich K. Lautenbach: System Modelling with High-Level Petri Nets. Theoretical Computer Science 13 (1981) North-Holland. [5] H. Genrich K. Lautenbach: System Modelling with High-Level Petri Nets. Theoretical Computer Science 13 (1981) North-Holland.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Addressing the state explosion problem when visualizing off-nominal behaviors in a set of reactive requirements;Requirements Engineering;2017-09-14

2. Structured Petri Nets - An Approach for Specifying Complex Real-time Systems;IFAC Proceedings Volumes;1993-07

3. Graphical animation as a form of prototyping real-time software systems;Real-Time Systems;1993-05

4. Software Development for Parallel Processing;Software for Parallel Computation;1993

5. DDRAW: An Object-Oriented Design Tool;Computer Science;1992