Abstract
Communication between program modules is a topic of great interest in the design and production of well structured modular systems. Modutea may be thought of as logical components of the system, designed to carry out some tasks. To complete the description of a system we need to specify the connections between modules, “that are the assumptions which the modules make about each other” [1]. Systems in which the connections between modules contain little information are labeled wett atnuctuned and in fact this property is essential to facilitate the changeability of the system and to prove system correctness [2].
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
D.L. Parnas:“ Information Distribution Aspects of Design Methodology” IFIP, Proceedings - Ljubljana, Yugoslavia 1971.
D.L. Parnas:“ On the problem of producing well structured programs”. Computers Science Re4eanch Review 1971–72. Cannegie Mellon Univen4tity.
P. Ancilotti, R. Cavina, M. Fusani, F. Gramaglia, N. Lijtmaer, E. Martinelli, C. Thanos: “ Designing a Software Laboratory” Pnoceeding4 8th Yugoslav IntennatLonal Sympo4Lum on InbonmatLon Pnoce44Lvtg, Bled, Uctobet 1973.
J.B. Dennis: Coun4e Notes “Computation Stnuctune4” Department of Electrical Engineering, MIT 1967.
J.P. Linderman:“PnoductLvtity Ln Panallel Computation Schemata”,MIT Project MAC - TR - 111, December 1973.
P. Ancilotti, M. Fusani, N. Lijtmaer: “Intenpnoce44 Communication: Deadlock. Conditions IEI-CNR Internal Report (to be printed).
S.S. Patil: “Closure properties of interconnections of determinate systems” Recoud - Project MAC Conienence on Concunnent Systems and Panallel Computation. ACM,N.Y.1910
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ancilotti, P., Fusani, M., Lijtmaer, N., Thanos, C. (1975). Deadlock Conditions in Well Structured Modular Systems. In: Siefkes, D. (eds) GI-4.Jahrestagung. Lecture Notes in Computer Science, vol 26. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-40087-6_24
Download citation
DOI: https://doi.org/10.1007/978-3-662-40087-6_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-39104-4
Online ISBN: 978-3-662-40087-6
eBook Packages: Springer Book Archive