Svend Frlund and Gul Agha. A language framework for multi-object coordination. In Proceedings of ECOOP 1993.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....to be speci ed. Synchronization constraints are not considered. In our proposal, synchronization constraints are speci ed using the same mechanism as time constraints. The concept of separating functional behavior and interaction policies for Actors was rst proposed by Fr lund and Agha in [13] and a detailed description, operational semantics and implementation can be found in [12] That work only considered constraints on the order of operations. Our work is a continuation of this line of research where we have extended it to apply to real time systems and provided a formal treatment ....

Svend Frlund and Gul Agha. A Language Framework for MultiObject Coordination. In O. Nierstrasz, editor, Proceedings of the European Conference on Object Oriented Programming (ECOOP) '93, LNCS 707, pages 346-360, Kaiserslautern, Germany, July 1993. Springer-Verlag.

....And we give a logical representation of this control using a constraint programming language. This model and its representation allow proofs. Keywords : Object, Concurrency, Reactive languages 1 Introduction For concurrent and distributed systems, coordination of activities is fundamental [FA93] This coordination has two aspects, turn into code some specification, and proof what have been done respect the specification. In order to have objects allowing concurrent executions of methods it is necessary to split object specification in two parts . behavior specification, object ....

.... using a body part in Pool [Ame89] or in Ei#el [Car93] Declarative formulation of behavior control in Rosette [TS89] Concurrency between methods in the same object in Guide [DKM 89] Hierarchical presentation of behavioral properties in PCM [BF92] Control of group of objects [FA93] Our contribution [Aug92, AB94] takes place in these family of works. As others, our model splits an object specification into two parts, a behavioral part and a structural part. The structural part describes how methods modify attributes. Our contribution is more on behavioral part, it consists ....

Svend FROLUND and G. AGHA. A language framework for multi-object coordination. In O. Nierstrasz, editor, Proc. of ECOOP'93, volume 707 of LNCS, pages 346--360. Springer Verlag, 1993.

....or user and that can be computed at fetch time. The same argument has also been made, either implicit or explicitly, for synchronization in concurrent and distributed object oriented applications. Works such as CEiffel [17] and Sina [3] along with the works presented by FrOElund and Agha [8] Lopes and Lieberherr [18] and Masuhara et al. 21] suggest that the programmers should be given the chance to define synchronization strategies, rather than being imposed with some default policy implemented by the system. The work on open implementations and metaobject protocols, by Kiczales ....

....be computed at fetch time. The same argument has also been made, either implicit or explicitly, for synchronization in concurrent and distributed object oriented applications. Works such as CEiffel [17] and Sina [3] along with the works presented by FrOElund and Agha [8] Lopes and Lieberherr [18] and Masuhara et al. 21] suggest that the programmers should be given the chance to define synchronization strategies, rather than being imposed with some default policy implemented by the system. The work on open implementations and metaobject protocols, by Kiczales [13] calls for frameworks ....

[Article contains additional citation context not shown here]

Svend FrOElund and Gul Agha. A language framework for multi-object coordination. In Oscar Nierstrasz, editor, Lecture Notes in Computer Science, pages 346--360. ECOOP'93, SpringerVerlag, July 1993.

....or user and that can be computed at fetch time. The same argument has also been made, either implicit or explicitly, for synchronization in concurrent and distributed object oriented applications. Works such as CEiffel [19] and Sina [3] along with the works presented by FrOElund and Agha [8] Lopes and Lieberherr [20] and Masuhara et al. 23] suggest that the programmers should be given the chance to define synchronization strategies, rather than being imposed with some default policy implemented by the system. The work on open implementations and metaobject protocols, by Kiczales ....

....6 we analyze some related work. Finally, section 7 summarizes and concludes this paper. 2 Basics In this section we describe the basics of GOOP, our graph language, without considering any aspects of distribution. The concepts described here are similar to the ones of the Demeter System C [28, 17, 16, 26] but with some important simplifications. GOOP uses a simplified version of the Demeter class graphs that follows roughly the design graphs of OMT [27] As for the class implementations, GOOP uses C methods. 2.1 Class Graphs The structural aspects of GOOP applications are ....

[Article contains additional citation context not shown here]

Svend FrOElund and Gul Agha. A language framework for multi-object coordination. In Oscar Nierstrasz, editor, Lecture Notes in Computer Science, pages 346--360. ECOOP'93, SpringerVerlag, July 1993.

....to ensure communication between abstraction and presentation in the pac model [Cou87, DF94] However, flo allows one to control any method, whereas rendezvous limits link definition to instance variable. Both approaches are valuable but we consider flo one enforces encapsulation. Frolund and Agha [FA93] propose synchronizers which allow the coordination of multi objects in a concurrent and distributed language. Synchronizers are, as links, expressed with interfaces of objects, strengthening modularity. There are two important differences between synchronizers and links: first, synchronizers ....

....related objects is changed (methods are controlled) Moreover it is possible to associate new behaviors to normal object behavior through a dependency. Therefore, behaviors of the related objects are enriched. As Agha said : the behaviors of objects depend on the context in which they exist [FA93] In flo, this context is given by the dependencies on objects. The language is based on the reification of dependencies, control of message passing, and a small open protocol [DF93] As dependencies are expressed in terms of the object interfaces, and as they can dynamically be added or removed ....

Svend Frlund and Gul Agha. A Language Framework for Multi-Object Coordination. In Oscar M. Nierstrasz, editor, Proceeding of ECOOP'93, volume 707 of Lecture Notes in Computer Science, pages 346--360, Kaiserslautern, July 1993. Springer Verlag.

....and several solutions have been proposed. However, most proposed solutions address this problem in isolation. More recent and less research has addressed the issue of coor 22 dinating the execution of a set of objects and of specifying and reusing coordination patterns separately from objects[1][13][14] Furthermore, few languages supporting the proposed features are widely available and relatively little experience has been gained from their use. In this paper we propose an active object model that aims at a more comprehensive approach in integrating concurrent programming and ....

....the implementation of individual objects. The benefits of such an approach being that it is possible to coordinate objects in ways that where not anticipated when the objects were implemented and to allow the reuse of the coordination patterns themselves. In most previous work in the area [1] 12][13] the approach taken to coordinate the execution of objects is by constraining the execution of method invocations. An essential difference with our proposal is that coordination may also be based on changes in the state of objects. This approach is more suitable for coordinating the execution of ....

[Article contains additional citation context not shown here]

Svend Frĝlund and Gul Agha, "A Language Framework for Multi-Object Coordination," Proceedings ECOOP'93, Lecture Notes in Computer Science, vol. 707, July 1993, pp. 346--360.

....or user and that can be computed at fetch time. The same argument has also been made, either implicit or explicitly, for synchronization in concurrent and distributed object oriented applications. Works such as CEiffel [19] and Sina [3] along with the works presented by FrOElund and Agha [8], Lopes and Lieberherr [20] and Masuhara et al. 23] suggest that the programmers should be given the chance to define synchronization strategies, rather than being imposed with some default policy implemented by the system. The work on open implementations and metaobject protocols, by Kiczales ....

Svend FrOElund and Gul Agha. A language framework for multi-object coordination. In Oscar Nierstrasz, editor, Lecture Notes in Computer Science, pages 346--360. ECOOP'93, Springer-Verlag, July 1993.

No context found.

Svend Frlund and Gul Agha. A language framework for multi-object coordination. In Proceedings of ECOOP 1993.

No context found.

Svend Frlund and Gul Agha. A language framework for multi-object coordination. In Proceedings of ECOOP 1993. Springer Verlag, 1993. LNCS 707.

No context found.

Svend Frolund and Gul Agha, A Language Framework for Multi-Object Coordination, Proc. ECOOP'93, pp. 346#360 (1993).

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