Advertisement

Object-based concurrency : A process calculus analysis

  • Elie Najm
  • Jean-Bernard Stefani
CAAP Colloquium On Trees In Algebra And Programming
Part of the Lecture Notes in Computer Science book series (LNCS, volume 493)

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.

Keywords

Label Transition System Mobile Process Object Identifier Derivation Rule FIFO Queue 
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

  1. [America 87]
    P. America: “POOL-T — A parallel object-oriented language” in: [Yonezawa 87]Google Scholar
  2. [America 88]
    P. America, J.W. de Bakker: “Designing equivalent semantic models for process creation” — Theoretical Computer Science 60, 1988.Google Scholar
  3. [ANSA 89]
    ESPRIT Project no2267 (Integrated Systems Architecture) — Advanced Network Systems Architecture Reference Manual — Architecture Project Management Cambridge, UK-March 1989.Google Scholar
  4. [Bal 89]
    H.E. Bal, J.G. Steiner, A.S. Tanenbaum: “Programming Languages for Distributed Computing Systems” — ACM Computing Surveys, Vol.21, No3, September 1989.Google Scholar
  5. [Black 87]
    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.Google Scholar
  6. [Boudol 85]
    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.Google Scholar
  7. [Cusack 89]
    E. Cusack, S. Rudkin, C. Smith: “An Object-Oriented Interpretation of LOTOS” — in Proceedings FORTE 1989 — Vancouver, December 1989.Google Scholar
  8. [Cusack 90]
    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.Google Scholar
  9. [Dasgupta 88]
    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.Google Scholar
  10. [Duke 90]
    D. Duke, R. Duke: “Towards a Semantics for Object-Z” — Proceedings VDM '90 “VDM and Z” — Lecture Notes in Computer Science, Springer-Verlag 1990.Google Scholar
  11. [Ehrig 85]
    H. Ehrig, B. Mahr:”Fundamental of Algebraic Specification 1” — EATCS Monographs on Theoretical Computer Science — Springer-Verlag 1985.Google Scholar
  12. [Engberg 86]
    U. Engberg, M. Nielsen: “A Calculus of Communicating Systems with Label Passing” — Report DAIMI PB 208 — Aarhus Denmark — May 1986.Google Scholar
  13. [Fiadeiro 90]
    J. Fiadeiro, T. Maibaum: “Describing, Structuring and Implementing Objects” — Proceedings Workshop on the Foundations of Object-Oriented Languages, Noordwijkerhout, The Netherlands — May 1990.Google Scholar
  14. [Goguen 90]
    J.A. Goguen: “Sheaf Semantics for Concurrent Interacting Objects” — Proceedings Workshop on the Foundations of Object-Oriented Languages, Noordwijkerhout, The Netherlands — May 1990.Google Scholar
  15. [Hoare 1985]
    A. Hoare: “Communicating Sequential Processes” — Prentice Hall 1985.Google Scholar
  16. [ISO 88]
    International Standard 8807 — “LOTOS: A Formal Description Technique Based on the Temporal Ordering of Observational Behavior” — 1988Google Scholar
  17. [Liskov 88]
    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.Google Scholar
  18. [Mayr 88]
    T. Mayr: “Specifications of object-oriented systems in LOTOS” — In proceedings FORTE 1988.Google Scholar
  19. [Meyer 88]
    B. Meyer: “Object-oriented Software Construction” — Prentice-Hall 1988.Google Scholar
  20. [Milner 89]
    R. Milner: “Communication and Concurrency” — Prentice-Hall 1989.Google Scholar
  21. [Milner 89a]
    R. Milner, J. Parrow, D. Walker: “A Calculus of Mobile Processes — Part I” — LFCS Report 89-85. University of Edinburgh June 1989.Google Scholar
  22. [Milner 89b]
    R. Milner, J. Parrow, D. Walker: “A Calculus of Mobile Processes — Part II” — LFCS Report 89-86. University of Edinburgh June 1989.Google Scholar
  23. [Milner 90]
    R. Milner: “Functions as Processes” — INRIA Research Report no 1124, February 1990 — INRIA, Rocquencourt, France.Google Scholar
  24. [Raj 88]
    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.Google Scholar
  25. [Rutten 88]
    J.J.M.M. Rutten: “Semantic Correctness for a Parallel Object-oriented Language” — Report CS-R8843. Centrum voor Wiskunde en Informatica, Amsterdam. October 1988.Google Scholar
  26. [Sernadas 89]
    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.Google Scholar
  27. [Wegner 87]
    P. Wegner: “Dimensions of Object-Based Language Design” in Proceedings OOPSLA 1987.Google Scholar
  28. [Yonezawa 87]
    A. Yonezawa, M. Tokoro, eds: “Object-Oriented Concurrent Systems” — MIT Press 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Elie Najm
    • 1
  • Jean-Bernard Stefani
    • 2
  1. 1.Institut National de Recherche en Informatique et Automatique (INRIA)Domaine de Voluceau RocquencourtLe Chesnay CedexFrance
  2. 2.Centre National d'Etudes des Télécommunications (CNET)Issy-les-MoulineauxFrance

Personalised recommendations