Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Information and Computation
A Theory of Objects
A pi-Calculus Semantics for an Object-Based Design Notation
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Modelling Microsoft COM Using pi-Calculus
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
The Mobility Workbench - A Tool for the pi-Calculus
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
| Hi-index | 0.00 |
This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA object level. The higher object level known as Oompa abstracts away from the details of distribution (e.g. location and mobility), whereas the lower level, known as Loompa provides primitives for specifying these details. We present the syntax, and operational semantics, as well as two examples, a local invocation, and a remote one, to illustrate the features of the calculi. In the paper we also seek to justify our design decisions, both as to the nature of the calculi, and the need to develop same. A key strength of our approach is to maintain a close match between the level of object abstraction in Oompa/Loompa, and that found in conventional OO programming languages for CORBA systems.