Generating an algorithm for executing graphical models

  • Jawahar Malhotra
  • Robert M. Shapiro
Part of the Lecture Notes in Computer Science book series (LNCS, volume 693)


Executable graphical models based on an underlying mathematical framework are very useful in the specification and design of complex systems. The major contribution of this paper is to show how such a general graphical modeling language can be “compiled” and executed. The paper takes a pragmatic approach by presenting, in reasonable detail, how such a model can be translated into a series of functions and then describes the execution as a sequence of function applications. The ideas are then extented to work for hierarchical graphical models.


Pattern Match Binding Process Function Application Binding Function Input Place 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    K. Jensen. Coloured Petri Nets. In Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part I, W. Brauer, W. Reisig and G. Rozenberg (eds.), Lecture Notes in Computer Science, vol. 254, 248–299, Springer Verlag, 1987.Google Scholar
  2. 2.
    F. Commoner, A. W. Holt, S. Even, and A. Pnueli. Marked Directed Graphs. Computer and System Sc. 5, 511–523, 1971.Google Scholar
  3. 3.
    D. A. Marca and C. L. McGowan. SADT. McGraw-Hill, New York, 1988.Google Scholar
  4. 4.
    Design/IDEF User's Manual, Version 1.5. Meta Software Corporation, Cambridge, Massachusetts, USA, 1989.Google Scholar
  5. 5.
    P. Huber, K. Jensen, and R. Shapiro. Hierarchies in Coloured Petri Nets. Meta Software Corporation, Cambridge Massachusetts, USA, 1989. Presented at the 10th International Conference on Application and Theory of Petri Nets, Bonn, June 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Jawahar Malhotra
    • 1
  • Robert M. Shapiro
    • 1
  1. 1.Meta Software CorporationCambridgeUSA

Personalised recommendations