Abstract
This paper investigates various object-based concepts in a process calculus framework. The principal motivation of this work lies in the need to formally analyze features exhibited by distributed object-based systems and languages. While the dimension of inheritance has been the focus of much attention lately, this paper focuses primarily on object-based features related to concurrency. A simple language is presented, together with its abstract syntax and semantics, that captures basic informal insights about the nature of object-based concurrency. Features analyzed in this paper comprise : object identity, object creation, object communication and object concurrency.
This work was supported in part by ESPRIT Project no2267 Integrated Systems Architecture (ISA).
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
P. America: “POOL-T — A parallel object-oriented language” in: [Yonezawa 87]
P. America, J.W. de Bakker: “Designing equivalent semantic models for process creation” — Theoretical Computer Science 60, 1988.
ESPRIT Project no2267 (Integrated Systems Architecture) — Advanced Network Systems Architecture Reference Manual — Architecture Project Management Cambridge, UK-March 1989.
H.E. Bal, J.G. Steiner, A.S. Tanenbaum: “Programming Languages for Distributed Computing Systems” — ACM Computing Surveys, Vol.21, No3, September 1989.
A. Black, N. Hutchinson, E. Jul, H. Levy, L. Carter: “Distribution and abstract types in Emerald” — IEEE Transactions on Software Engineering, SE 13 (1), January 1987.
G. Boudol: “Notes on Algebraic Calculi of Processes” — Advanced NATO School Series on Logics and Models for Verification and Specification of Concurrent Systems, Springer-Verlag 1985.
E. Cusack, S. Rudkin, C. Smith: “An Object-Oriented Interpretation of LOTOS” — in Proceedings FORTE 1989 — Vancouver, December 1989.
E. Cusack, M. Lai: ”Object-oriented Specification in LOTOS and Z or, My Cat Really Is Object-Oriented !” — Proceedings Workshop on the Foundations of Object-Oriented Languages, Noordwijkerhout, The Netherlands — 1990.
P. Dasgupta, R. Leblanc, W. Appelbe: “The Clouds distributed operating systems: functional description, implementation details and related work” — 8th International Conference on Distributed Computer Systems, San Jose, CA, USA. June 1988.
D. Duke, R. Duke: “Towards a Semantics for Object-Z” — Proceedings VDM '90 “VDM and Z” — Lecture Notes in Computer Science, Springer-Verlag 1990.
H. Ehrig, B. Mahr:”Fundamental of Algebraic Specification 1” — EATCS Monographs on Theoretical Computer Science — Springer-Verlag 1985.
U. Engberg, M. Nielsen: “A Calculus of Communicating Systems with Label Passing” — Report DAIMI PB 208 — Aarhus Denmark — May 1986.
J. Fiadeiro, T. Maibaum: “Describing, Structuring and Implementing Objects” — Proceedings Workshop on the Foundations of Object-Oriented Languages, Noordwijkerhout, The Netherlands — May 1990.
J.A. Goguen: “Sheaf Semantics for Concurrent Interacting Objects” — Proceedings Workshop on the Foundations of Object-Oriented Languages, Noordwijkerhout, The Netherlands — May 1990.
A. Hoare: “Communicating Sequential Processes” — Prentice Hall 1985.
International Standard 8807 — “LOTOS: A Formal Description Technique Based on the Temporal Ordering of Observational Behavior” — 1988
B. Liskov, R. Scheifler: “Guardians and actions: linguistic support for robust distributed programs” — ACM Transactions on Programming Languages and Systems. Vol 5 no3, July 1988.
T. Mayr: “Specifications of object-oriented systems in LOTOS” — In proceedings FORTE 1988.
B. Meyer: “Object-oriented Software Construction” — Prentice-Hall 1988.
R. Milner: “Communication and Concurrency” — Prentice-Hall 1989.
R. Milner, J. Parrow, D. Walker: “A Calculus of Mobile Processes — Part I” — LFCS Report 89-85. University of Edinburgh June 1989.
R. Milner, J. Parrow, D. Walker: “A Calculus of Mobile Processes — Part II” — LFCS Report 89-86. University of Edinburgh June 1989.
R. Milner: “Functions as Processes” — INRIA Research Report no 1124, February 1990 — INRIA, Rocquencourt, France.
R.K. Raj, E. Tempero, H.M. Levy, N.C. Hutchinson, P. Black: “The Emerald Approach to Programming” — Technical report 88-11-01 University of Washington, WA, USA — November 1988.
J.J.M.M. Rutten: “Semantic Correctness for a Parallel Object-oriented Language” — Report CS-R8843. Centrum voor Wiskunde en Informatica, Amsterdam. October 1988.
A. Sernadas, J. Fiadeiro, C. Sernadas, H.D. Ehrig: “Abstract Object Types: A Temporal Perspective” — in Nabieqbal, Baringer and Pnueli (eds) Temporal Logic in Specification — LNCS 398 — Springer Verlag 1989.
P. Wegner: “Dimensions of Object-Based Language Design” in Proceedings OOPSLA 1987.
A. Yonezawa, M. Tokoro, eds: “Object-Oriented Concurrent Systems” — MIT Press 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Najm, E., Stefani, JB. (1991). Object-based concurrency : A process calculus analysis. In: Abramsky, S., Maibaum, T.S.E. (eds) TAPSOFT '91. CAAP 1991. Lecture Notes in Computer Science, vol 493. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53982-4_20
Download citation
DOI: https://doi.org/10.1007/3-540-53982-4_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53982-7
Online ISBN: 978-3-540-46563-8
eBook Packages: Springer Book Archive