Object-Based Concurrency: A Process Calculus Analysis

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.

[1]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[2]  Larry Carter,et al.  Distrbution and Abstract Types in Emerald , 1987, IEEE Transactions on Software Engineering.

[3]  Robin Milner.  Functions as Processes , 1990, ICALP.

[4]  David J. Duke,et al.  Towards a Semantics for Object-Z , 1990, VDM Europe.

[5]  José Luiz Fiadeiro,et al.  Describing, Structuring and Implementing Objects , 1990, REX Workshop.

[6]  Henri E. Bal,et al.  Programming languages for distributed computing systems , 1989, CSUR.

[7]  Joseph A. Goguen,et al.  Sheaf semantics for concurrent interacting objects , 1992, Mathematical Structures in Computer Science.

[8]  Pierre America,et al.  Pool-T: a parallel object-oriented language , 1987 .

[9]  G. Boudol,et al.  Notes on Algebraic Calculi of Processes , 1989, Logics and Models of Concurrent Systems.

[10]  Peter Wegner.  Dimensions of object-based language design , 1987, OOPSLA 1987.

[11]  J. J. M. M. Rutten.  Semantic Correctness for a Parallel Object-Oriented Language , 1990, SIAM J. Comput..

[12]  Chris Smith,et al.  An Object Oriented Interpretation of LOTOS , 1989, FORTE.

[13]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[14]  Grzegorz Rozenberg,et al.  Foundations of Object-Oriented Languages: Rex School Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 Proceedings , 1991 .

[15]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[16]  Elspeth Cusack,et al.  Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented! , 1990, REX Workshop.

[17]  José Luiz Fiadeiro,et al.  Abstract Object Types: A Temporal Perspective , 1987, Temporal Logic in Specification.

[18]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[19]  Thomas Mayr,et al.  Specification of Object-Oriented Systems in LOTOS , 1988, Formal Techniques for (Networked and) Distributed Systems.

[20]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[21]  C. A. R. Hoare,et al.  Notes on Communicating Sequential Systems , 1986 .

[22]  Pierre America,et al.  Designing Equivalent Semantic Models for Process Creation , 1988, Theor. Comput. Sci..

[23]  Barbara Liskov,et al.  Guardians and Actions: Linguistic Support for Robust, Distributed Programs , 1983, TOPL.