Abstract
In this paper we introduce a model of process communication and synchronisation, based on the concept of interaction objects. Interaction objects define an abstraction mechanism for concurrent access to data, based on a strict separation of process interaction and data access. Process interaction can be controlled by means of three basic interaction operators that operate on interaction objects. The interaction operators can be used to define various forms of communication and synchronisation including a general form of condition synchronisation. We define the concept of an interaction object and the interaction operators, and give examples of a number of interaction objects. Various aspects of interaction objects are discussed, such as the formal specification and implementation of interaction objects, and the verification of programs that use interaction objects.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Andrews, G.R.,Concurrent Programming, Benjamin/Cummings (1991).
Back, R.J.R., Kurki-Suonio, R., Distributed Cooperation with Action Systems, ACM Transactions on Programming Languages and Systems, Vol. 10,4 (1988), 513–554.
Brinch Hansen, P., Operating System Principles, Prentice-Hall (1973).
Buhr, P.A., Fortier, M., Coffn, M.H., Monitor Classification, ACM Computing Surveys 27,1 (1995), 63–107.
Bustard, D., Elder, J., Welsh, J., Concurrent Program Structures, Prentice Hall (1988).
CCITT Recommendation Z.100: Specification and Description Language SDL, Blue Book, Volume X.1-X.5, ITU (1988).
Chandy, K.M., Misra, J., Parallel Program Design, Addison Wesley (1988).
Feijs, L.M.G., Jonkers, H.B.M., History, Principles and Application of the SPRINT Method, Journal of Systems and Software 41 (1998), 199–219.
Gomaa, H., Software Design Methods for Concurrent and Real-Time Systems, Addison-Wesley (1993).
von Eicken, T., Culler, D., Goldstein, S.C., Schauser, K.E., Active Messages: a Mechanism for Integrated Communication and Computation, in: Proceedings of the 19th International Symposium on Computer Architecture (1992).
Henzinger, T.A., Manna, Z., Pnueli, A., Timed Transition Systems. In: Real-Time: Theory in Practice, Lecture Notes in Computer Science, Vol. 600, Springer-Verlag (1992), 226–251.
Hoare, C.A.R., Monitors: An Operating System Structuring Concept, Communications of the ACM, Vol. 17,10 (1974), 549–557.
Järvinen, H.-M., Kurki-Suonio, R., DisCo specification language: marriage of actions and objects. In: Proceedings of the 11th International Conference on Distributed Computing Systems, IEEE Computer Society Press (1991), 142–151.
Jonkers, H.B.M., Abstraction, Specification and Implementation Techniques, Mathematical Centre Tracts, Vol. 166, Mathematisch Centrum (1983).
Jonkers, H.B.M., An Overview of the SPRINT Method. In: Woodcock, J.C.P., Larsen, P.G. (Eds.), Industrial Strength Formal Methods, Lecture Notes in Computer Science, Vol. 670, Springer-Verlag (1993), 403–427.
Jonkers, H.B.M., Survey of CoCoNut 1.0, Technical Report RWB-506-ir-96022, Philips Research, Information and Software Technology (1996).
[17] Lamport, L., The Temporal Logic of Actions, ACM Transactions on Programming Languages and Systems, Vol. 16,3 (1994), 872–923.
Manna, Z., Pnueli, A., The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer-Verlag (1992).
Misra, J., An Object Model for Multiprogramming, Proc. 10th IPPS/SPDP 98 Workshops, Jose Rolim (ed.), Lecture Notes in Computer Science, Vol. 1388, Springer-Verlag (1998), 881–889.
Morgan, C., Programming from Specifications, Prentice Hall (1990).
Roe, P., Szyperski, C., Mianjin is Gardens Point: A Parallel Language Taming Asynchronous Communication. In: Fourth Australasian Conference on Parallel and Real-Time Systems (PART’97), Springer-Verlag (1997).
Schneider, F.B., On Concurrent Programming, Springer-Verlag (1997).
Shankar, A.U., An Introduction to Assertional Reasoning for Concurrent Systems, ACM Computing Surveys, Vol. 25,3 (1993), 225–262.
Spivey, J.M., The Z Notation: A Reference Manual, Second Edition, Prentice Hall (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jonkers, H.B.M. (1999). Communication and synchronisation using interaction objects. In: Wing, J.M., Woodcock, J., Davies, J. (eds) FM’99 — Formal Methods. FM 1999. Lecture Notes in Computer Science, vol 1709. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48118-4_20
Download citation
DOI: https://doi.org/10.1007/3-540-48118-4_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66588-5
Online ISBN: 978-3-540-48118-8
eBook Packages: Springer Book Archive