Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Graph Grammars and Their Application to Computer Science

Graph Grammars 1978: Graph-Grammars and Their Application to Computer Science and Biology pp 456–463Cite as

Relationships between graph grammars and the design and analysis of concurrent software

  • List Of Contributions
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 73))

Abstract

Formal models of parallel computation provide a basis for several techniques employed in the design and analysis of concurrent software systems. We consider the relationships between these models and graph grammars, with particular emphasis upon the Dynamic Process Modelling Scheme (DPMS). This scheme, developed to study concurrent software systems in which both processes and interprocess communication channels may be created or destroyed during system operation, is shown to have an especially strong connection to graph grammars.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. Adams, D. A. A computation model with data-flow sequencing, Ph.D Thesis and Technical Report CS-117, Computer Science Department, Stanford University, Stanford, California, December 1968.

    Google Scholar 

  2. Arbib, M. A. Private communication, November 1978.

    Google Scholar 

  3. Bredt, T. H. A survey of models for parallel computing. Digital Systems Lab Technical Report 8, Stanford University, Stanford, California, August 1970.

    Google Scholar 

  4. Brinch Hansen, P. The nucleus of a multiprogramming system. Comm. ACM, 13, 4 (April 1970), 238–241, 250.

    Google Scholar 

  5. Bunke, H. Programmed graph grammars, (this volume).

    Google Scholar 

  6. Fennel, R. D. and Lesser, V. R. Parallelism in AI problem solving: A case study of HEARSAY-II. IEEE Trans. Comp., C-26, 2 (February 1977), 98–111.

    Google Scholar 

  7. Miller, R. E. A comparison of some theoretical models of parallel computation. IEEE Trans. Comp., C-22, 8 (August 1973), 710–717.

    Google Scholar 

  8. Peterson, J. L. Modelling of parallel systems. Ph.D. Thesis, Department of Electrical Engineering, Stanford University, Stanford, California, 1974.

    Google Scholar 

  9. Peterson, J. L. and Bredt, T. H. A comparison of models of parallel computation. Proc. IFIP Cong. 74, North-Holland Publishing Company, Amsterdam, 1974, pp. 446–470.

    Google Scholar 

  10. Petri, C. A. Kommunikation mit automatin, U. Bonn, Bonn, Germany, 1962.

    Google Scholar 

  11. Riddle, W. E. et al. Behavior modelling during software design. IEEE Trans. Soft. Eng., SE-4, 4 (July 1978), 283–292.

    Google Scholar 

  12. Riddle, W. E. et al. DREAM—A software design aid system. Information Technology, (JCIT3), North Holland Publishing Company, Amsterdam, 1978, pp. 373–380.

    Google Scholar 

  13. Riddle, W. E. and Wileden, J. C. Languages for representing software specifications and designs. Software Engineering Notes, 3, 4 (October 1978), 7–11.

    Google Scholar 

  14. Wileden, J. C. Modelling parallel systems with dynamic structure. Ph.D. Thesis, Dept. of Computer and Comm. Science, University of Michigan, Ann Arbor, Michigan, January 1978.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Information Science, University of Massachusetts, 01003, Amherst, Massachusetts

    Jack C. Wileden

Authors
  1. Jack C. Wileden
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Volker Claus Hartmut Ehrig Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1979 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wileden, J.C. (1979). Relationships between graph grammars and the design and analysis of concurrent software. In: Claus, V., Ehrig, H., Rozenberg, G. (eds) Graph-Grammars and Their Application to Computer Science and Biology. Graph Grammars 1978. Lecture Notes in Computer Science, vol 73. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0025741

Download citation

  • DOI: https://doi.org/10.1007/BFb0025741

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-09525-5

  • Online ISBN: 978-3-540-35091-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation