S. Dal-Zilio. Quiet and bouncing objects: Two migration abstractions in a simple distributed blue calculus. In H. Huttel and U. Nestmann, editors, Proceedings of the Worshop on Semantics of Objects as Proceedings (SOAP '98), pages 35-42, June 1998. 31  Home/Search   Document Not in Database   Summary   Related Articles   Check

....such promises can be rather hard to achieve. The design and the implementation of concurrent object oriented languages, e.g. 2, 23, 1, 4] has recently prompted the investigation of the theoretical foundations of concurrent objects. Several works provide encodings of objects in process calculi [22, 20, 12, 6] or, alternatively, supplement objects with concurrent primitives [16, 3, 11] Those works promote a uni ed framework for reasoning about objects and processes, but they do not address the composition of object de nitions or its typechecking. Microsoft Research, 1 Guildhall Street, Cambridge, ....

.... chemical typings modulo process reduction (i.e. taking 7 for ) 6 Related and future works There are many works on supplementing object calculi with concurrent primitives [16, 3, 11] or on supplementing process calculi with objects (usually by the mean of an encoding in the original calculus) [22, 20, 12, 6]. Our work follows the latter tradition. However, to our knowledge, it is the only one to address safe object composition in a process calculus. In [17] Odersky proposes an object oriented extension of a language based on the join calculus. His proposal amounts to adding some record 29 ....

S. Dal-Zilio. Quiet and bouncing objects: Two migration abstractions in a simple distributed blue calculus. In H. Huttel and U. Nestmann, editors, Proceedings of the Worshop on Semantics of Objects as Proceedings (SOAP '98), pages 35-42, June 1998. 31

....such promises can be rather hard to achieve. The design and the implementation of concurrent object oriented languages, e.g. 2, 22, 1, 4] has recently prompted the investigation of the theoretical foundations of concurrent objects. Several works provide encodings of objects in process calculi [21, 20, 13, 6] or, alternatively, supplement objects with concurrent primitives [17, 3, 12] Those works promote a uni ed framework for reasoning about objects and processes, but they do not address the composition of object de nitions or its typechecking. In this work, we model concurrent objects in a simple ....

....of access privileges for every message along the reduction. 11 5 Related and future works There are many works on supplementing object calculi with concurrent primitives [17, 3, 12] or on supplementing process calculi with objects (usually by the mean of an encoding in the original calculus) [21, 20, 13, 6]. Our work follows the latter tradition. However, to our knowledge, it is the only one to address safe object composition in a process calculus. In [18] Martin Odersky proposes an object oriented extension of a language based on the join calculus. His proposal amounts to adding some record ....

S. Dal-Zilio. Quiet and bouncing objects: Two migration abstractions in a simple distributed blue calculus. In H. Huttel and U. Nestmann, editors, Proceedings of the Worshop on Semantics of Objects as Proceedings (SOAP '98), pages 35-42, June 1998. 12

....more complex cases. Many authors observe that inheritance and synchronization then often conflict [14] In contrast, process calculi provide a simpler, finer grain parallelism, and this formal simplicity is appealing for a core calculus of objects. Several works encode objects in process calculi [20, 19, 12, 7] or, vice versa, supplement objects Microsoft Research y Dipartimento di Scienze dell Informazione, Universit a di Bologna, Mura Anteo Zamboni 7, 40127 Bologna, Italy z INRIA Rocquencourt, BP 105, 78153 Le Chesnay Cedex France. with concurrent primitives [15, 4, 11] In these works the ....

S. Dal-Zilio. Quiet and bouncing objects: Two migration abstractions in a simple distributed blue calculus. In H. Huttel and U. Nestmann, editors, Proceedings of the Worshop on Semantics of Objects as Proceedings (SOAP '98), pages 35--42, June 1998.

.... One consists on recasting some well established object calculus and enriching it with concurrent primitives (parallel composition and the operation of scope restriction) 9, 2, 6] The second attempts the other way around, trying to extend process calculi with objects by introducing record types [11, 4]. There is an apparent distance among these calculi and concurrent object languages which jeopardize their utility. The focus in the latters is on classes and inheritance of class definitions while the formers,being object based calculi, definitely overlook these issues. Regrettable, forgetting ....

Silvano Dal-Zilio. Quiet and bouncing objects: Two migration abstractions in a simple distributed blue calculus. In Hans Huttel and Uwe Nestmann, editors, Proceedings of the Worshop on Semantics of Objects as Proceedings (SOAP '98), pages 35--42, June 1998.

.... on recasting some well established object calculus and enriching it with concurrent primitives (parallel composition and the operation of scope restriction) BF96, GH98] The second attempts the other way around, trying to extend process calculi with objects by introducing record types [Vas94, DZ98] However, there is an apparent distance among these calculi and concurrent object oriented languages that jeopardizes their utility. The focus in the latters is on classes and inheritance of class definitions while the formers, being object based, largely overlook these issues. Regrettable, ....

S. Dal-Zilio. Quiet and bouncing objects: Two migration abstractions in a simple distributed blue calculus. In H. Huttel and U. Nestmann, editors, SOAP '98: Semantics of Objects as Processes, volume NS-98-5 of BRICS Notes Series, pages 35--42, 1998.

....with recursive types. Development of the work presented here are being conducted at the moment. For example, using result obtained on [10] we have defined a polymorphic type system a la ML for our object calculus. There is also ongoing work aiming at adding a notion of location to [11]. It would be interesting then to give an interpretation of distributed object oriented languages, such as OBLIQ [9] that lacks a formal definition and techniques to reason about program equivalences, in a distributed blue calculus. Another application is the modeling of Object Request Brokers, ....

Silvano Dal-Zilio. Quiet and bouncing objects: Two migration abstractions in a simple distributed blue calculus. In 1st International Workshop on Semantics of Objects as Processes. BRICS Notes Series, July 1998.

.... = x i )P i i2I ) in (clone(o) b obj o is (l i = x i )P i i2I ) in o obj o is (l i = x i )P i i2I ) in (P j Q) b (obj o is (l i = x i )P i i2I ) in P ) j (obj o is (l i = x i )P i i2I ) in Q) Another application of the replication theorem is found in the distributed calculus of [11], built on top of . In this calculus, we consider the rule ( def p = R in (P j Q) j (def p = R in P ) j (def p = R in Q) as primitive in the denition of the structural equivalence. Note that the isoundnessj of this system is implied by Lemma 6.1 (ii) The reason that motivates this ....

Silvano Dal-Zilio. Quiet and bouncing objects: Two migration abstractions in a simple distributed blue calculus. In Hans H#ttel and Uwe Nestmann, editors, Proc. of SOAP '98 1st International Workshop on Semantics of Objects as Processes, volume NS-98-5 of BRICS Notes Series, pages 3542. BRICS, July 1998.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC