Advertisement

Concrete control phases in languages for programming complex systems

  • J. A. Barnden
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 83)

Abstract

A new style of language is proposed for the programming of systems exhibiting complex concurrent or non-determinate behaviour. One working hypothesis proposed is that the fundamental objects defined by a program should correspond to the control phases that systems components are conceived of as passing through; further, that the enablement of the main program actions should depend primarily on the presence or absence of these phase objects. Another hypothesis is that phase objects should also constitute the (dynamically changing) hierarchy of system components. Some problems and benefits are discussed.

Key phrases

concurrency nondeterminacy complex systems non-sequential processes parallelism control synchronization 

References

  1. Birtwistle, G.M., Dahl, O-J., Myrhaug, B. and Nygaard, K. Simula begin. Auerbach: Philadelphia, 1973.Google Scholar
  2. Dijkstra, E.W. ‘Hierarchical Ordering of Sequential Processes', Acta Informatica 1, 115–138 (1971).Google Scholar
  3. Dijkstra, E.W. ‘Guarded commands, Nondeterminacy and Formal Derivation of Programs', Comm. ACM 18, 8 (Aug. 1975), 453–7.Google Scholar
  4. Dijkstra, E.W. A Discipline of Programming. Prentice-Hall: Englewood Cliffs, N.J. 1976.Google Scholar
  5. Hoare, C.A.R. ‘Monitors: An Operating System Structuring Concept', Comm. ACM 17, 10 (Oct. 1974), 549–57.Google Scholar
  6. Hoare, C.A.R. ‘Communicating Sequential Processes', Comm. ACM 21, 8 (Aug. 1978), 666–77.Google Scholar
  7. Holt, A.W. and Commoner, F. ‘Events and Conditions', Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, ACM 1970, 3–52.Google Scholar
  8. Jensen, K., Kyng, M. and Madsen, O.L. ‘A Petri Net Definition of a System Description Language', Procs. Int. Symp. on Semantics of Concurrent Computation, Lecture Notes in Computer Science 70, Springer-Verlag 1979.Google Scholar
  9. Lauer, P.E. and Campbell, R.H. ‘Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes', Acta Informatica 5, 297–332 (1975).Google Scholar
  10. Peterson, J.L. ‘Petri Nets', Comp. Surv. 9, 3 (Sep. 1977), 223–55.Google Scholar
  11. Petri, C.A. ‘Concepts of Net Theory', Procs. Symp. Summer School on Mathematical Foundations of Computer Science, Math. Inst. of the Slovak Academy of Science, 1973, 137–146.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • J. A. Barnden
    • 1
  1. 1.Department of Computer ScienceUniversity of Reading, WhiteknightsReadingEngland

Personalised recommendations