Abstract
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.
Chapter PDF
Similar content being viewed by others
References
Reference Manual for the Ada Programming Language. ANSI/MIL-STD 1815A, Ada Joint Program Office, 1982
G.R. Andrews: Synchronizing Recources. ACM TOPLAS 3.4, October 1981
G.R. Andrews/F.B. Schneider: Concepts and Notions for Concurrent Programming. ACM CS 15.1, March 1983
M.H. Cheheyl/M. Glasser/G.A. Huff/J.K. Millen: Verifying Security. ACM CS 13.3, September 1981.
P.R. Eggert: Overview of the Ina Jo Specification Language. TR SP-4082, SDC Santa Monica, October 1980
B.K. Haddon: Nested Monitor Calls. ACM Operating Systems Review 11.4, October 1977
B. Hailpern/S. Owicki: Modular Verification of Concurrent Programs. Proc. 9. Ann. ACM Symp. on Principles of Programming Languages, Albuquerque 1982
C.A.R. Hoare: Monitors: An Operating System Structuring Concept. CACM 17.10, October 1974
S. Keramidis/L. Mackert: Specification and Implementation of Parallel Activities on Abstract Objects. Proc. 4. Int. Conf. on Software Engineering, München 1979
L. Lamport: Specifying Concurrent Program Modules. ACM TOPLAS 5.2, April 1983
M.S. Laventhal: A Constructive Approach to Reliable Synchronization Code. Proc. 4. Int. Conf. on Software Engineering, München 1979
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.
L. Robinson/B.A. Silverberg/K.N. Levitt: The HDM Handbook. SRI International, Menlo Park 1979
R.L. Schwartz/P.M. Melliar-Smith: From State Machines to Temporal Logic: Specification Methods for Protocol Standards. IEEE Trans. Comm. 30.12, December 1982
J.D. Ullman: Principles of Data Base Systems. Computer Science Press 1980
P. Wegner/S.A. Smolka: Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives. IEEE-SE 9.4, July 1983
N. Wirth: Programming in Modula-2. Springer-Verlag, Berlin 1982.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Isle, R., Löhr, KP. (1985). Modelling concurrent modules. In: Ehrig, H., Floyd, C., Nivat, M., Thatcher, J. (eds) Formal Methods and Software Development. TAPSOFT 1985. Lecture Notes in Computer Science, vol 186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15199-0_20
Download citation
DOI: https://doi.org/10.1007/3-540-15199-0_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15199-9
Online ISBN: 978-3-540-39307-8
eBook Packages: Springer Book Archive