Modelling concurrent modules

  • Rainer Isle
  • Klaus-Peter Löhr
Colloquium On Software Engineering Views Of Concurrency
Part of the Lecture Notes in Computer Science book series (LNCS, volume 186)


The variety of module concepts for concurrent systems suggests looking for a unified model that would serve as a basis for specification techniques and languages. Starting from the client/server paradigm, a model for concurrent modules is developed that is able to cope with incomplete service execution due to blocking conditions. The model is shown to be applicable to different kinds of modules known from programming languages. It is generalized to support so-called implementation specification and interconnection of modules using different communication rules.


  1. [Ada 82]
    Reference Manual for the Ada Programming Language. ANSI/MIL-STD 1815A, Ada Joint Program Office, 1982Google Scholar
  2. [Andrews 81]
    G.R. Andrews: Synchronizing Recources. ACM TOPLAS 3.4, October 1981Google Scholar
  3. [Andrews/Schneider 83]
    G.R. Andrews/F.B. Schneider: Concepts and Notions for Concurrent Programming. ACM CS 15.1, March 1983Google Scholar
  4. [Cheheyl et al. 81]
    M.H. Cheheyl/M. Glasser/G.A. Huff/J.K. Millen: Verifying Security. ACM CS 13.3, September 1981.Google Scholar
  5. [Eggert 80]
    P.R. Eggert: Overview of the Ina Jo Specification Language. TR SP-4082, SDC Santa Monica, October 1980Google Scholar
  6. [Haddon 77]
    B.K. Haddon: Nested Monitor Calls. ACM Operating Systems Review 11.4, October 1977Google Scholar
  7. [Hailpern/Owicki 82]
    B. Hailpern/S. Owicki: Modular Verification of Concurrent Programs. Proc. 9. Ann. ACM Symp. on Principles of Programming Languages, Albuquerque 1982Google Scholar
  8. [Hoare 74]
    C.A.R. Hoare: Monitors: An Operating System Structuring Concept. CACM 17.10, October 1974Google Scholar
  9. [Keramidis/Mackert 79]
    S. Keramidis/L. Mackert: Specification and Implementation of Parallel Activities on Abstract Objects. Proc. 4. Int. Conf. on Software Engineering, München 1979Google Scholar
  10. [Lamport 83]
    L. Lamport: Specifying Concurrent Program Modules. ACM TOPLAS 5.2, April 1983Google Scholar
  11. [Laventhal 79]
    M.S. Laventhal: A Constructive Approach to Reliable Synchronization Code. Proc. 4. Int. Conf. on Software Engineering, München 1979Google Scholar
  12. [Manna/Pnueli 81]
    Z. Manna, A. Pnueli: Temporal Verification of Concurrent Programs. In: The Correctness Problem in Computer Science (R.S. Boyer, J.S. Moore, Eds.). Academic Press, London 1981.Google Scholar
  13. [Robinson et al. 79]
    L. Robinson/B.A. Silverberg/K.N. Levitt: The HDM Handbook. SRI International, Menlo Park 1979Google Scholar
  14. [Schwartz/Melliar-Smith 82]
    R.L. Schwartz/P.M. Melliar-Smith: From State Machines to Temporal Logic: Specification Methods for Protocol Standards. IEEE Trans. Comm. 30.12, December 1982Google Scholar
  15. [Ullman 80]
    J.D. Ullman: Principles of Data Base Systems. Computer Science Press 1980Google Scholar
  16. [Wegner/Smolka 83]
    P. Wegner/S.A. Smolka: Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives. IEEE-SE 9.4, July 1983Google Scholar
  17. [Wirth 82]
    N. Wirth: Programming in Modula-2. Springer-Verlag, Berlin 1982.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Rainer Isle
    • 1
  • Klaus-Peter Löhr
    • 1
  1. 1.Fachbereich Mathematik/InformatikUniversität BremenBremen 33

Personalised recommendations